source: src/SynTree/Declaration.h @ f326f99

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since f326f99 was f326f99, checked in by Rob Schluntz <rschlunt@…>, 8 years ago

add integer suffix to mangled names so that shadowed variables are accessable (needed for destructors to work correctly)

  • Property mode set to 100644
File size: 9.9 KB
Line 
1//
2// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
7// Declaration.h --
8//
9// Author           : Richard C. Bilson
10// Created On       : Mon May 18 07:44:20 2015
11// Last Modified By : Rob Schluntz
12// Last Modified On : Mon Apr 11 16:55:12 2016
13// Update Count     : 36
14//
15
16#ifndef DECLARATION_H
17#define DECLARATION_H
18
19#include "SynTree.h"
20#include "Visitor.h"
21#include "Mutator.h"
22#include "Parser/LinkageSpec.h"
23#include "Parser/ParseNode.h"
24#include <string>
25
26class Declaration {
27  public:
28        Declaration( const std::string &name, DeclarationNode::StorageClass sc, LinkageSpec::Type linkage );
29        Declaration( const Declaration &other );
30        virtual ~Declaration();
31
32        const std::string &get_name() const { return name; }
33        void set_name( std::string newValue ) { name = newValue; }
34        DeclarationNode::StorageClass get_storageClass() const { return storageClass; }
35        void set_storageClass( DeclarationNode::StorageClass newValue ) { storageClass = newValue; }
36        LinkageSpec::Type get_linkage() const { return linkage; }
37        void set_linkage( LinkageSpec::Type newValue ) { linkage = newValue; }
38        bool get_isInline() const { return isInline; }
39        void set_isInline( bool newValue ) { isInline = newValue; }
40        bool get_isNoreturn() const { return isNoreturn; }
41        void set_isNoreturn( bool newValue ) { isNoreturn = newValue; }
42        UniqueId get_uniqueId() const { return uniqueId; }
43
44        void fixUniqueId( void );
45        virtual Declaration *clone() const = 0;
46        virtual void accept( Visitor &v ) = 0;
47        virtual Declaration *acceptMutator( Mutator &m ) = 0;
48        virtual void print( std::ostream &os, int indent = 0 ) const = 0;
49        virtual void printShort( std::ostream &os, int indent = 0 ) const = 0;
50
51        static void dumpIds( std::ostream &os );
52        static Declaration *declFromId( UniqueId id );
53  private:
54        std::string name;
55        DeclarationNode::StorageClass storageClass;
56        LinkageSpec::Type linkage;
57        bool isInline, isNoreturn;
58        UniqueId uniqueId;
59};
60
61class DeclarationWithType : public Declaration {
62  public:
63        DeclarationWithType( const std::string &name, DeclarationNode::StorageClass sc, LinkageSpec::Type linkage );
64        DeclarationWithType( const DeclarationWithType &other );
65        virtual ~DeclarationWithType();
66
67        std::string get_mangleName() const { return mangleName; }
68        void set_mangleName( std::string newValue ) { mangleName = newValue; }
69
70        std::string get_scopedMangleName() const { return mangleName + "_" + std::to_string(scopeLevel); }
71
72        int get_scopeLevel() const { return scopeLevel; }
73        void set_scopeLevel( int newValue ) { scopeLevel = newValue; }
74
75        virtual DeclarationWithType *clone() const = 0;
76        virtual DeclarationWithType *acceptMutator( Mutator &m ) = 0;
77
78        virtual Type *get_type() const = 0;
79        virtual void set_type(Type *) = 0;
80  private:
81        // this represents the type with all types and typedefs expanded it is generated by SymTab::Validate::Pass2
82        std::string mangleName;
83        // need to remember the scope level at which the variable was declared, so that
84        // shadowed identifiers can be accessed
85        int scopeLevel = 0;
86};
87
88class ObjectDecl : public DeclarationWithType {
89        typedef DeclarationWithType Parent;
90  public:
91        ObjectDecl( const std::string &name, DeclarationNode::StorageClass sc, LinkageSpec::Type linkage, Expression *bitfieldWidth, Type *type, Initializer *init, bool isInline = false, bool isNoreturn = false );
92        ObjectDecl( const ObjectDecl &other );
93        virtual ~ObjectDecl();
94
95        virtual Type *get_type() const { return type; }
96        virtual void set_type(Type *newType) { type = newType; }
97
98        Initializer *get_init() const { return init; }
99        void set_init( Initializer *newValue ) { init = newValue; }
100        Expression *get_bitfieldWidth() const { return bitfieldWidth; }
101        void set_bitfieldWidth( Expression *newValue ) { bitfieldWidth = newValue; }
102
103        virtual ObjectDecl *clone() const { return new ObjectDecl( *this ); }
104        virtual void accept( Visitor &v ) { v.visit( this ); }
105        virtual DeclarationWithType *acceptMutator( Mutator &m ) { return m.mutate( this ); }
106        virtual void print( std::ostream &os, int indent = 0 ) const;
107        virtual void printShort( std::ostream &os, int indent = 0 ) const;
108  private:
109        Type *type;
110        Initializer *init;
111        Expression *bitfieldWidth;
112};
113
114class FunctionDecl : public DeclarationWithType {
115        typedef DeclarationWithType Parent;
116  public:
117        FunctionDecl( const std::string &name, DeclarationNode::StorageClass sc, LinkageSpec::Type linkage, FunctionType *type, CompoundStmt *statements, bool isInline, bool isNoreturn );
118        FunctionDecl( const FunctionDecl &other );
119        virtual ~FunctionDecl();
120
121        Type *get_type() const;
122        virtual void set_type(Type *);
123
124        FunctionType *get_functionType() const { return type; }
125        void set_functionType( FunctionType *newValue ) { type = newValue; }
126        CompoundStmt *get_statements() const { return statements; }
127        void set_statements( CompoundStmt *newValue ) { statements = newValue; }
128        std::list< std::string >& get_oldIdents() { return oldIdents; }
129        std::list< Declaration* >& get_oldDecls() { return oldDecls; }
130
131        virtual FunctionDecl *clone() const { return new FunctionDecl( *this ); }
132        virtual void accept( Visitor &v ) { v.visit( this ); }
133        virtual DeclarationWithType *acceptMutator( Mutator &m ) { return m.mutate( this ); }
134        virtual void print( std::ostream &os, int indent = 0 ) const;
135        virtual void printShort( std::ostream &os, int indent = 0 ) const;
136  private:
137        FunctionType *type;
138        CompoundStmt *statements;
139        std::list< std::string > oldIdents;
140        std::list< Declaration* > oldDecls;
141};
142
143class NamedTypeDecl : public Declaration {
144        typedef Declaration Parent;
145  public:
146        NamedTypeDecl( const std::string &name, DeclarationNode::StorageClass sc, Type *type );
147        NamedTypeDecl( const TypeDecl &other );
148        virtual ~NamedTypeDecl();
149
150        Type *get_base() const { return base; }
151        void set_base( Type *newValue ) { base = newValue; }
152        std::list< TypeDecl* >& get_parameters() { return parameters; }
153        std::list< DeclarationWithType* >& get_assertions() { return assertions; }
154
155        virtual NamedTypeDecl *clone() const = 0;
156        virtual void print( std::ostream &os, int indent = 0 ) const;
157        virtual void printShort( std::ostream &os, int indent = 0 ) const;
158  protected:
159        virtual std::string typeString() const = 0;
160  private:
161        Type *base;
162        std::list< TypeDecl* > parameters;
163        std::list< DeclarationWithType* > assertions;
164};
165
166class TypeDecl : public NamedTypeDecl {
167        typedef NamedTypeDecl Parent;
168  public:
169        enum Kind { Any, Dtype, Ftype };
170
171        TypeDecl( const std::string &name, DeclarationNode::StorageClass sc, Type *type, Kind kind );
172        TypeDecl( const TypeDecl &other );
173
174        Kind get_kind() const { return kind; }
175
176        virtual TypeDecl *clone() const { return new TypeDecl( *this ); }
177        virtual void accept( Visitor &v ) { v.visit( this ); }
178        virtual TypeDecl *acceptMutator( Mutator &m ) { return m.mutate( this ); }
179  private:
180        virtual std::string typeString() const;
181        Kind kind;
182};
183
184class TypedefDecl : public NamedTypeDecl {
185        typedef NamedTypeDecl Parent;
186  public:
187        TypedefDecl( const std::string &name, DeclarationNode::StorageClass sc, Type *type ) : Parent( name, sc, type ) {}
188        TypedefDecl( const TypedefDecl &other ) : Parent( other ) {}
189
190        virtual TypedefDecl *clone() const { return new TypedefDecl( *this ); }
191        virtual void accept( Visitor &v ) { v.visit( this ); }
192        virtual Declaration *acceptMutator( Mutator &m ) { return m.mutate( this ); }
193  private:
194        virtual std::string typeString() const;
195};
196
197class AggregateDecl : public Declaration {
198        typedef Declaration Parent;
199  public:
200        AggregateDecl( const std::string &name );
201        AggregateDecl( const AggregateDecl &other );
202        virtual ~AggregateDecl();
203
204        std::list<Declaration*>& get_members() { return members; }
205        std::list<TypeDecl*>& get_parameters() { return parameters; }
206
207        virtual void print( std::ostream &os, int indent = 0 ) const;
208        virtual void printShort( std::ostream &os, int indent = 0 ) const;
209  protected:
210        virtual std::string typeString() const = 0;
211
212  private:
213        std::list<Declaration*> members;
214        std::list<TypeDecl*> parameters;
215};
216
217class StructDecl : public AggregateDecl {
218        typedef AggregateDecl Parent;
219  public:
220        StructDecl( const std::string &name ) : Parent( name ) {}
221        StructDecl( const StructDecl &other ) : Parent( other ) {}
222
223        virtual StructDecl *clone() const { return new StructDecl( *this ); }
224        virtual void accept( Visitor &v ) { v.visit( this ); }
225        virtual Declaration *acceptMutator( Mutator &m ) { return m.mutate( this ); }
226
227  private:
228        virtual std::string typeString() const;
229};
230
231class UnionDecl : public AggregateDecl {
232        typedef AggregateDecl Parent;
233  public:
234        UnionDecl( const std::string &name ) : Parent( name ) {}
235        UnionDecl( const UnionDecl &other ) : Parent( other ) {}
236
237        virtual UnionDecl *clone() const { return new UnionDecl( *this ); }
238        virtual void accept( Visitor &v ) { v.visit( this ); }
239        virtual Declaration *acceptMutator( Mutator &m ) { return m.mutate( this ); }
240  private:
241        virtual std::string typeString() const;
242};
243
244class EnumDecl : public AggregateDecl {
245        typedef AggregateDecl Parent;
246  public:
247        EnumDecl( const std::string &name ) : Parent( name ) {}
248        EnumDecl( const EnumDecl &other ) : Parent( other ) {}
249
250        virtual EnumDecl *clone() const { return new EnumDecl( *this ); }
251        virtual void accept( Visitor &v ) { v.visit( this ); }
252        virtual Declaration *acceptMutator( Mutator &m ) { return m.mutate( this ); }
253  private:
254        virtual std::string typeString() const;
255};
256
257class TraitDecl : public AggregateDecl {
258        typedef AggregateDecl Parent;
259  public:
260        TraitDecl( const std::string &name ) : Parent( name ) {}
261        TraitDecl( const TraitDecl &other ) : Parent( other ) {}
262
263        virtual TraitDecl *clone() const { return new TraitDecl( *this ); }
264        virtual void accept( Visitor &v ) { v.visit( this ); }
265        virtual Declaration *acceptMutator( Mutator &m ) { return m.mutate( this ); }
266  private:
267        virtual std::string typeString() const;
268};
269
270std::ostream & operator<<( std::ostream & out, Declaration * decl );
271
272#endif // DECLARATION_H
273
274// Local Variables: //
275// tab-width: 4 //
276// mode: c++ //
277// compile-command: "make install" //
278// End: //
Note: See TracBrowser for help on using the repository browser.