source: src/SynTree/Declaration.h @ 7baed7d

aaron-thesisarm-ehcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since 7baed7d was 7baed7d, checked in by Rob Schluntz <rschlunt@…>, 6 years ago

generalize notion of a GCC attribute

  • Property mode set to 100644
File size: 10.0 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 : Fri May 06 16:26:12 2016
13// Update Count     : 33
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, const std::list< Attribute * > attributes = std::list< Attribute * >() );
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        std::list< Attribute * >& get_attributes() { return attributes; }
131
132        virtual FunctionDecl *clone() const { return new FunctionDecl( *this ); }
133        virtual void accept( Visitor &v ) { v.visit( this ); }
134        virtual DeclarationWithType *acceptMutator( Mutator &m ) { return m.mutate( this ); }
135        virtual void print( std::ostream &os, int indent = 0 ) const;
136        virtual void printShort( std::ostream &os, int indent = 0 ) const;
137  private:
138        FunctionType *type;
139        CompoundStmt *statements;
140        std::list< std::string > oldIdents;
141        std::list< Declaration* > oldDecls;
142        std::list< Attribute * > attributes;
143};
144
145class NamedTypeDecl : public Declaration {
146        typedef Declaration Parent;
147  public:
148        NamedTypeDecl( const std::string &name, DeclarationNode::StorageClass sc, Type *type );
149        NamedTypeDecl( const TypeDecl &other );
150        virtual ~NamedTypeDecl();
151
152        Type *get_base() const { return base; }
153        void set_base( Type *newValue ) { base = newValue; }
154        std::list< TypeDecl* >& get_parameters() { return parameters; }
155        std::list< DeclarationWithType* >& get_assertions() { return assertions; }
156
157        virtual NamedTypeDecl *clone() const = 0;
158        virtual void print( std::ostream &os, int indent = 0 ) const;
159        virtual void printShort( std::ostream &os, int indent = 0 ) const;
160  protected:
161        virtual std::string typeString() const = 0;
162  private:
163        Type *base;
164        std::list< TypeDecl* > parameters;
165        std::list< DeclarationWithType* > assertions;
166};
167
168class TypeDecl : public NamedTypeDecl {
169        typedef NamedTypeDecl Parent;
170  public:
171        enum Kind { Any, Dtype, Ftype };
172
173        TypeDecl( const std::string &name, DeclarationNode::StorageClass sc, Type *type, Kind kind );
174        TypeDecl( const TypeDecl &other );
175
176        Kind get_kind() const { return kind; }
177
178        virtual TypeDecl *clone() const { return new TypeDecl( *this ); }
179        virtual void accept( Visitor &v ) { v.visit( this ); }
180        virtual TypeDecl *acceptMutator( Mutator &m ) { return m.mutate( this ); }
181  private:
182        virtual std::string typeString() const;
183        Kind kind;
184};
185
186class TypedefDecl : public NamedTypeDecl {
187        typedef NamedTypeDecl Parent;
188  public:
189        TypedefDecl( const std::string &name, DeclarationNode::StorageClass sc, Type *type ) : Parent( name, sc, type ) {}
190        TypedefDecl( const TypedefDecl &other ) : Parent( other ) {}
191
192        virtual TypedefDecl *clone() const { return new TypedefDecl( *this ); }
193        virtual void accept( Visitor &v ) { v.visit( this ); }
194        virtual Declaration *acceptMutator( Mutator &m ) { return m.mutate( this ); }
195  private:
196        virtual std::string typeString() const;
197};
198
199class AggregateDecl : public Declaration {
200        typedef Declaration Parent;
201  public:
202        AggregateDecl( const std::string &name );
203        AggregateDecl( const AggregateDecl &other );
204        virtual ~AggregateDecl();
205
206        std::list<Declaration*>& get_members() { return members; }
207        std::list<TypeDecl*>& get_parameters() { return parameters; }
208
209        virtual void print( std::ostream &os, int indent = 0 ) const;
210        virtual void printShort( std::ostream &os, int indent = 0 ) const;
211  protected:
212        virtual std::string typeString() const = 0;
213
214  private:
215        std::list<Declaration*> members;
216        std::list<TypeDecl*> parameters;
217};
218
219class StructDecl : public AggregateDecl {
220        typedef AggregateDecl Parent;
221  public:
222        StructDecl( const std::string &name ) : Parent( name ) {}
223        StructDecl( const StructDecl &other ) : Parent( other ) {}
224
225        virtual StructDecl *clone() const { return new StructDecl( *this ); }
226        virtual void accept( Visitor &v ) { v.visit( this ); }
227        virtual Declaration *acceptMutator( Mutator &m ) { return m.mutate( this ); }
228
229  private:
230        virtual std::string typeString() const;
231};
232
233class UnionDecl : public AggregateDecl {
234        typedef AggregateDecl Parent;
235  public:
236        UnionDecl( const std::string &name ) : Parent( name ) {}
237        UnionDecl( const UnionDecl &other ) : Parent( other ) {}
238
239        virtual UnionDecl *clone() const { return new UnionDecl( *this ); }
240        virtual void accept( Visitor &v ) { v.visit( this ); }
241        virtual Declaration *acceptMutator( Mutator &m ) { return m.mutate( this ); }
242  private:
243        virtual std::string typeString() const;
244};
245
246class EnumDecl : public AggregateDecl {
247        typedef AggregateDecl Parent;
248  public:
249        EnumDecl( const std::string &name ) : Parent( name ) {}
250        EnumDecl( const EnumDecl &other ) : Parent( other ) {}
251
252        virtual EnumDecl *clone() const { return new EnumDecl( *this ); }
253        virtual void accept( Visitor &v ) { v.visit( this ); }
254        virtual Declaration *acceptMutator( Mutator &m ) { return m.mutate( this ); }
255  private:
256        virtual std::string typeString() const;
257};
258
259class TraitDecl : public AggregateDecl {
260        typedef AggregateDecl Parent;
261  public:
262        TraitDecl( const std::string &name ) : Parent( name ) {}
263        TraitDecl( const TraitDecl &other ) : Parent( other ) {}
264
265        virtual TraitDecl *clone() const { return new TraitDecl( *this ); }
266        virtual void accept( Visitor &v ) { v.visit( this ); }
267        virtual Declaration *acceptMutator( Mutator &m ) { return m.mutate( this ); }
268  private:
269        virtual std::string typeString() const;
270};
271
272std::ostream & operator<<( std::ostream & out, Declaration * decl );
273
274#endif // DECLARATION_H
275
276// Local Variables: //
277// tab-width: 4 //
278// mode: c++ //
279// compile-command: "make install" //
280// End: //
Note: See TracBrowser for help on using the repository browser.