Changes in src/SynTree/Declaration.h [07de76b:e67991f]
- File:
-
- 1 edited
-
src/SynTree/Declaration.h (modified) (23 diffs)
Legend:
- Unmodified
- Added
- Removed
-
src/SynTree/Declaration.h
r07de76b re67991f 9 9 // Author : Richard C. Bilson 10 10 // Created On : Mon May 18 07:44:20 2015 11 // Last Modified By : Peter A. Buhr12 // Last Modified On : Fri Dec 13 23:11:22201913 // Update Count : 1 5711 // Last Modified By : Andrew Beach 12 // Last Modified On : Thr May 2 10:47:00 2019 13 // Update Count : 135 14 14 // 15 15 … … 24 24 #include "BaseSyntaxNode.h" // for BaseSyntaxNode 25 25 #include "Mutator.h" // for Mutator 26 #include "LinkageSpec.h" // for Spec, Cforall 26 #include "Parser/LinkageSpec.h" // for Spec, Cforall 27 #include "Parser/ParseNode.h" // for DeclarationNode, DeclarationNode::Ag... 27 28 #include "SynTree.h" // for UniqueId 28 29 #include "SynTree/Type.h" // for Type, Type::StorageClasses, Type::Fu... … … 43 44 bool extension = false; 44 45 45 Declaration( const std::string & 46 Declaration( const Declaration & 46 Declaration( const std::string &name, Type::StorageClasses scs, LinkageSpec::Spec linkage ); 47 Declaration( const Declaration &other ); 47 48 virtual ~Declaration(); 48 49 49 const std::string & 50 const std::string &get_name() const { return name; } 50 51 void set_name( std::string newValue ) { name = newValue; } 51 52 … … 58 59 59 60 bool get_extension() const { return extension; } 60 Declaration * 61 Declaration *set_extension( bool exten ) { extension = exten; return this; } 61 62 62 63 void fixUniqueId( void ); 63 virtual Declaration * 64 virtual Declaration *clone() const override = 0; 64 65 virtual void accept( Visitor & v ) override = 0; 65 66 virtual void accept( Visitor & v ) const override = 0; 66 virtual Declaration * acceptMutator( Mutator &m ) override = 0;67 virtual void print( std::ostream & 68 virtual void printShort( std::ostream & 67 virtual Declaration *acceptMutator( Mutator &m ) override = 0; 68 virtual void print( std::ostream &os, Indenter indent = {} ) const override = 0; 69 virtual void printShort( std::ostream &os, Indenter indent = {} ) const = 0; 69 70 70 71 UniqueId uniqueId; … … 80 81 int scopeLevel = 0; 81 82 82 Expression * 83 Expression *asmName; 83 84 std::list< Attribute * > attributes; 84 85 bool isDeleted = false; 85 86 86 DeclarationWithType( const std::string & 87 DeclarationWithType( const DeclarationWithType & 87 DeclarationWithType( const std::string &name, Type::StorageClasses scs, LinkageSpec::Spec linkage, const std::list< Attribute * > & attributes, Type::FuncSpecifiers fs ); 88 DeclarationWithType( const DeclarationWithType &other ); 88 89 virtual ~DeclarationWithType(); 89 90 … … 96 97 DeclarationWithType * set_scopeLevel( int newValue ) { scopeLevel = newValue; return this; } 97 98 98 Expression * 99 DeclarationWithType * set_asmName( Expression * 99 Expression *get_asmName() const { return asmName; } 100 DeclarationWithType * set_asmName( Expression *newValue ) { asmName = newValue; return this; } 100 101 101 102 std::list< Attribute * >& get_attributes() { return attributes; } … … 105 106 //void set_functionSpecifiers( Type::FuncSpecifiers newValue ) { fs = newValue; } 106 107 107 virtual DeclarationWithType * 108 virtual DeclarationWithType * acceptMutator( Mutator &m ) override = 0;108 virtual DeclarationWithType *clone() const override = 0; 109 virtual DeclarationWithType *acceptMutator( Mutator &m ) override = 0; 109 110 110 111 virtual Type * get_type() const = 0; … … 118 119 typedef DeclarationWithType Parent; 119 120 public: 120 Type * 121 Initializer * 122 Expression * 123 124 ObjectDecl( const std::string & name, Type::StorageClasses scs, LinkageSpec::Spec linkage, Expression * bitfieldWidth, Type * type, Initializer *init,121 Type *type; 122 Initializer *init; 123 Expression *bitfieldWidth; 124 125 ObjectDecl( const std::string &name, Type::StorageClasses scs, LinkageSpec::Spec linkage, Expression *bitfieldWidth, Type *type, Initializer *init, 125 126 const std::list< Attribute * > attributes = std::list< Attribute * >(), Type::FuncSpecifiers fs = Type::FuncSpecifiers() ); 126 ObjectDecl( const ObjectDecl & 127 ObjectDecl( const ObjectDecl &other ); 127 128 virtual ~ObjectDecl(); 128 129 129 130 virtual Type * get_type() const override { return type; } 130 virtual void set_type(Type * 131 132 Initializer * 133 void set_init( Initializer * 134 135 Expression * 136 void set_bitfieldWidth( Expression * 131 virtual void set_type(Type *newType) override { type = newType; } 132 133 Initializer *get_init() const { return init; } 134 void set_init( Initializer *newValue ) { init = newValue; } 135 136 Expression *get_bitfieldWidth() const { return bitfieldWidth; } 137 void set_bitfieldWidth( Expression *newValue ) { bitfieldWidth = newValue; } 137 138 138 139 static ObjectDecl * newObject( const std::string & name, Type * type, Initializer * init ); 139 140 140 virtual ObjectDecl * 141 virtual void accept( Visitor & v ) override { v.visit( this ); } 142 virtual void accept( Visitor & v ) const override { v.visit( this ); } 143 virtual DeclarationWithType * acceptMutator( Mutator &m ) override { return m.mutate( this ); }144 virtual void print( std::ostream & 145 virtual void printShort( std::ostream & 141 virtual ObjectDecl *clone() const override { return new ObjectDecl( *this ); } 142 virtual void accept( Visitor & v ) override { v.visit( this ); } 143 virtual void accept( Visitor & v ) const override { v.visit( this ); } 144 virtual DeclarationWithType *acceptMutator( Mutator &m ) override { return m.mutate( this ); } 145 virtual void print( std::ostream &os, Indenter indent = {} ) const override; 146 virtual void printShort( std::ostream &os, Indenter indent = {} ) const override; 146 147 }; 147 148 … … 149 150 typedef DeclarationWithType Parent; 150 151 public: 151 FunctionType * 152 CompoundStmt * 152 FunctionType *type; 153 CompoundStmt *statements; 153 154 std::list< Expression * > withExprs; 154 155 155 FunctionDecl( const std::string & name, Type::StorageClasses scs, LinkageSpec::Spec linkage, FunctionType * type, CompoundStmt *statements,156 FunctionDecl( const std::string &name, Type::StorageClasses scs, LinkageSpec::Spec linkage, FunctionType *type, CompoundStmt *statements, 156 157 const std::list< Attribute * > attributes = std::list< Attribute * >(), Type::FuncSpecifiers fs = Type::FuncSpecifiers() ); 157 FunctionDecl( const FunctionDecl & 158 FunctionDecl( const FunctionDecl &other ); 158 159 virtual ~FunctionDecl(); 159 160 … … 162 163 163 164 FunctionType * get_functionType() const { return type; } 164 void set_functionType( FunctionType * 165 CompoundStmt * 166 void set_statements( CompoundStmt * 165 void set_functionType( FunctionType *newValue ) { type = newValue; } 166 CompoundStmt *get_statements() const { return statements; } 167 void set_statements( CompoundStmt *newValue ) { statements = newValue; } 167 168 bool has_body() const { return NULL != statements; } 168 169 169 170 static FunctionDecl * newFunction( const std::string & name, FunctionType * type, CompoundStmt * statements ); 170 171 171 virtual FunctionDecl * 172 virtual void accept( Visitor & v ) override { v.visit( this ); } 173 virtual void accept( Visitor & v ) const override { v.visit( this ); } 174 virtual DeclarationWithType * acceptMutator( Mutator &m ) override { return m.mutate( this ); }175 virtual void print( std::ostream & 176 virtual void printShort( std::ostream & 172 virtual FunctionDecl *clone() const override { return new FunctionDecl( *this ); } 173 virtual void accept( Visitor & v ) override { v.visit( this ); } 174 virtual void accept( Visitor & v ) const override { v.visit( this ); } 175 virtual DeclarationWithType *acceptMutator( Mutator &m ) override { return m.mutate( this ); } 176 virtual void print( std::ostream &os, Indenter indent = {} ) const override; 177 virtual void printShort( std::ostream &os, Indenter indent = {} ) const override; 177 178 }; 178 179 … … 180 181 typedef Declaration Parent; 181 182 public: 182 Type * 183 std::list< TypeDecl 184 std::list< DeclarationWithType 185 186 NamedTypeDecl( const std::string & name, Type::StorageClasses scs, Type *type );187 NamedTypeDecl( const NamedTypeDecl & 183 Type *base; 184 std::list< TypeDecl* > parameters; 185 std::list< DeclarationWithType* > assertions; 186 187 NamedTypeDecl( const std::string &name, Type::StorageClasses scs, Type *type ); 188 NamedTypeDecl( const NamedTypeDecl &other ); 188 189 virtual ~NamedTypeDecl(); 189 190 190 Type * 191 void set_base( Type * 192 std::list< TypeDecl* > 193 std::list< DeclarationWithType 194 195 virtual const char *typeString() const = 0;196 197 virtual NamedTypeDecl * 198 virtual void print( std::ostream & 199 virtual void printShort( std::ostream & 191 Type *get_base() const { return base; } 192 void set_base( Type *newValue ) { base = newValue; } 193 std::list< TypeDecl* >& get_parameters() { return parameters; } 194 std::list< DeclarationWithType* >& get_assertions() { return assertions; } 195 196 virtual std::string typeString() const = 0; 197 198 virtual NamedTypeDecl *clone() const override = 0; 199 virtual void print( std::ostream &os, Indenter indent = {} ) const override; 200 virtual void printShort( std::ostream &os, Indenter indent = {} ) const override; 200 201 }; 201 202 … … 203 204 typedef NamedTypeDecl Parent; 204 205 public: 205 enum Kind { Dtype, Otype,Ftype, Ttype, NUMBER_OF_KINDS };206 207 Kind kind;206 enum Kind { Dtype, Ftype, Ttype, NUMBER_OF_KINDS }; 207 208 Type * init; 208 209 bool sized; 209 Type * init;210 210 211 211 /// Data extracted from a type decl 212 212 struct Data { 213 Kind kind;213 TypeDecl::Kind kind; 214 214 bool isComplete; 215 215 216 Data() : kind( NUMBER_OF_KINDS), isComplete( false ) {}217 Data( constTypeDecl * typeDecl ) : Data( typeDecl->get_kind(), typeDecl->isComplete() ) {}216 Data() : kind( (TypeDecl::Kind)-1 ), isComplete( false ) {} 217 Data( TypeDecl * typeDecl ) : Data( typeDecl->get_kind(), typeDecl->isComplete() ) {} 218 218 Data( Kind kind, bool isComplete ) : kind( kind ), isComplete( isComplete ) {} 219 Data( const Data & d1, const Data& d2 )220 : kind( d1.kind ), isComplete( d1.isComplete || d2.isComplete ) {}221 222 bool operator==( const Data & other) const { return kind == other.kind && isComplete == other.isComplete; }223 bool operator!=( const Data & other) const { return !(*this == other);}219 Data( const Data& d1, const Data& d2 ) 220 : kind( d1.kind ), isComplete ( d1.isComplete || d2.isComplete ) {} 221 222 bool operator==(const Data & other) const { return kind == other.kind && isComplete == other.isComplete; } 223 bool operator!=(const Data & other) const { return !(*this == other);} 224 224 }; 225 225 226 TypeDecl( const std::string & name, Type::StorageClasses scs, Type *type, Kind kind, bool sized, Type * init = nullptr );227 TypeDecl( const TypeDecl & 226 TypeDecl( const std::string &name, Type::StorageClasses scs, Type *type, Kind kind, bool sized, Type * init = nullptr ); 227 TypeDecl( const TypeDecl &other ); 228 228 virtual ~TypeDecl(); 229 229 … … 237 237 TypeDecl * set_sized( bool newValue ) { sized = newValue; return this; } 238 238 239 virtual const char * typeString() const override; 240 virtual const char * genTypeString() const; 241 242 virtual TypeDecl * clone() const override { return new TypeDecl( *this ); } 243 virtual void accept( Visitor & v ) override { v.visit( this ); } 244 virtual void accept( Visitor & v ) const override { v.visit( this ); } 245 virtual Declaration * acceptMutator( Mutator & m ) override { return m.mutate( this ); } 246 virtual void print( std::ostream & os, Indenter indent = {} ) const override; 239 virtual std::string typeString() const override; 240 virtual std::string genTypeString() const; 241 242 virtual TypeDecl *clone() const override { return new TypeDecl( *this ); } 243 virtual void accept( Visitor & v ) override { v.visit( this ); } 244 virtual void accept( Visitor & v ) const override { v.visit( this ); } 245 virtual Declaration *acceptMutator( Mutator &m ) override { return m.mutate( this ); } 246 virtual void print( std::ostream &os, Indenter indent = {} ) const override; 247 248 Kind kind; 247 249 }; 248 250 … … 250 252 typedef NamedTypeDecl Parent; 251 253 public: 252 TypedefDecl( const std::string & name, CodeLocation location, Type::StorageClasses scs, Type *type, LinkageSpec::Spec spec = LinkageSpec::Cforall )254 TypedefDecl( const std::string &name, CodeLocation location, Type::StorageClasses scs, Type *type, LinkageSpec::Spec spec = LinkageSpec::Cforall ) 253 255 : Parent( name, scs, type ) { set_linkage( spec ); this->location = location; } 254 256 255 TypedefDecl( const TypedefDecl & 256 257 virtual const char *typeString() const override;258 259 virtual TypedefDecl * 260 virtual void accept( Visitor & v ) override { v.visit( this ); } 261 virtual void accept( Visitor & v ) const override { v.visit( this ); } 262 virtual Declaration * acceptMutator( Mutator &m ) override { return m.mutate( this ); }257 TypedefDecl( const TypedefDecl &other ) : Parent( other ) {} 258 259 virtual std::string typeString() const override; 260 261 virtual TypedefDecl *clone() const override { return new TypedefDecl( *this ); } 262 virtual void accept( Visitor & v ) override { v.visit( this ); } 263 virtual void accept( Visitor & v ) const override { v.visit( this ); } 264 virtual Declaration *acceptMutator( Mutator &m ) override { return m.mutate( this ); } 263 265 private: 264 266 }; … … 267 269 typedef Declaration Parent; 268 270 public: 269 enum Aggregate { Struct, Union, Enum, Exception, Trait, Generator, Coroutine, Monitor, Thread, NoAggregate };270 static const char * aggrString( Aggregate aggr );271 272 271 std::list<Declaration*> members; 273 272 std::list<TypeDecl*> parameters; … … 276 275 AggregateDecl * parent = nullptr; 277 276 278 AggregateDecl( const std::string & 279 AggregateDecl( const AggregateDecl & 277 AggregateDecl( const std::string &name, const std::list< Attribute * > & attributes = std::list< class Attribute * >(), LinkageSpec::Spec linkage = LinkageSpec::Cforall ); 278 AggregateDecl( const AggregateDecl &other ); 280 279 virtual ~AggregateDecl(); 281 280 … … 289 288 AggregateDecl * set_body( bool body ) { AggregateDecl::body = body; return this; } 290 289 291 virtual void print( std::ostream & 292 virtual void printShort( std::ostream & 290 virtual void print( std::ostream &os, Indenter indent = {} ) const override final; 291 virtual void printShort( std::ostream &os, Indenter indent = {} ) const override; 293 292 protected: 294 virtual const char *typeString() const = 0;293 virtual std::string typeString() const = 0; 295 294 }; 296 295 … … 298 297 typedef AggregateDecl Parent; 299 298 public: 300 StructDecl( const std::string & name, Aggregate kind =Struct, const std::list< Attribute * > & attributes = std::list< class Attribute * >(), LinkageSpec::Spec linkage = LinkageSpec::Cforall ) : Parent( name, attributes, linkage ), kind( kind ) {}301 StructDecl( const StructDecl & 302 303 bool is_coroutine() { return kind == Coroutine; }304 bool is_monitor() { return kind == Monitor; }305 bool is_thread() { return kind == Thread; }306 307 virtual StructDecl * 308 virtual void accept( Visitor & v ) override { v.visit( this ); } 309 virtual void accept( Visitor & v ) const override { v.visit( this ); } 310 virtual Declaration * acceptMutator( Mutator &m ) override { return m.mutate( this ); }311 Aggregate kind;312 private: 313 virtual const char *typeString() const override;299 StructDecl( const std::string &name, DeclarationNode::Aggregate kind = DeclarationNode::Struct, const std::list< Attribute * > & attributes = std::list< class Attribute * >(), LinkageSpec::Spec linkage = LinkageSpec::Cforall ) : Parent( name, attributes, linkage ), kind( kind ) {} 300 StructDecl( const StructDecl &other ) : Parent( other ), kind( other.kind ) {} 301 302 bool is_coroutine() { return kind == DeclarationNode::Coroutine; } 303 bool is_monitor() { return kind == DeclarationNode::Monitor; } 304 bool is_thread() { return kind == DeclarationNode::Thread; } 305 306 virtual StructDecl *clone() const override { return new StructDecl( *this ); } 307 virtual void accept( Visitor & v ) override { v.visit( this ); } 308 virtual void accept( Visitor & v ) const override { v.visit( this ); } 309 virtual Declaration *acceptMutator( Mutator &m ) override { return m.mutate( this ); } 310 DeclarationNode::Aggregate kind; 311 private: 312 virtual std::string typeString() const override; 314 313 }; 315 314 … … 317 316 typedef AggregateDecl Parent; 318 317 public: 319 UnionDecl( const std::string & 320 UnionDecl( const UnionDecl & 321 322 virtual UnionDecl * 323 virtual void accept( Visitor & v ) override { v.visit( this ); } 324 virtual void accept( Visitor & v ) const override { v.visit( this ); } 325 virtual Declaration * acceptMutator( Mutator &m ) override { return m.mutate( this ); }326 private: 327 virtual const char *typeString() const override;318 UnionDecl( const std::string &name, const std::list< Attribute * > & attributes = std::list< class Attribute * >(), LinkageSpec::Spec linkage = LinkageSpec::Cforall ) : Parent( name, attributes, linkage ) {} 319 UnionDecl( const UnionDecl &other ) : Parent( other ) {} 320 321 virtual UnionDecl *clone() const override { return new UnionDecl( *this ); } 322 virtual void accept( Visitor & v ) override { v.visit( this ); } 323 virtual void accept( Visitor & v ) const override { v.visit( this ); } 324 virtual Declaration *acceptMutator( Mutator &m ) override { return m.mutate( this ); } 325 private: 326 virtual std::string typeString() const override; 328 327 }; 329 328 … … 331 330 typedef AggregateDecl Parent; 332 331 public: 333 EnumDecl( const std::string & 334 EnumDecl( const EnumDecl & 332 EnumDecl( const std::string &name, const std::list< Attribute * > & attributes = std::list< class Attribute * >(), LinkageSpec::Spec linkage = LinkageSpec::Cforall ) : Parent( name, attributes, linkage ) {} 333 EnumDecl( const EnumDecl &other ) : Parent( other ) {} 335 334 336 335 bool valueOf( Declaration * enumerator, long long int & value ); 337 336 338 virtual EnumDecl * 339 virtual void accept( Visitor & v ) override { v.visit( this ); } 340 virtual void accept( Visitor & v ) const override { v.visit( this ); } 341 virtual Declaration * acceptMutator( Mutator &m ) override { return m.mutate( this ); }337 virtual EnumDecl *clone() const override { return new EnumDecl( *this ); } 338 virtual void accept( Visitor & v ) override { v.visit( this ); } 339 virtual void accept( Visitor & v ) const override { v.visit( this ); } 340 virtual Declaration *acceptMutator( Mutator &m ) override { return m.mutate( this ); } 342 341 private: 343 342 std::unordered_map< std::string, long long int > enumValues; 344 virtual const char *typeString() const override;343 virtual std::string typeString() const override; 345 344 }; 346 345 … … 348 347 typedef AggregateDecl Parent; 349 348 public: 350 TraitDecl( const std::string & 349 TraitDecl( const std::string &name, const std::list< Attribute * > & attributes, LinkageSpec::Spec linkage ) : Parent( name, attributes, linkage ) { 351 350 assertf( attributes.empty(), "attribute unsupported for traits" ); 352 351 } 353 TraitDecl( const TraitDecl & 354 355 virtual TraitDecl * 356 virtual void accept( Visitor & v ) override { v.visit( this ); } 357 virtual void accept( Visitor & v ) const override { v.visit( this ); } 358 virtual Declaration * acceptMutator( Mutator &m ) override { return m.mutate( this ); }359 private: 360 virtual const char *typeString() const override;352 TraitDecl( const TraitDecl &other ) : Parent( other ) {} 353 354 virtual TraitDecl *clone() const override { return new TraitDecl( *this ); } 355 virtual void accept( Visitor & v ) override { v.visit( this ); } 356 virtual void accept( Visitor & v ) const override { v.visit( this ); } 357 virtual Declaration *acceptMutator( Mutator &m ) override { return m.mutate( this ); } 358 private: 359 virtual std::string typeString() const override; 361 360 }; 362 361 … … 380 379 class AsmDecl : public Declaration { 381 380 public: 382 AsmStmt * 383 384 AsmDecl( AsmStmt * 385 AsmDecl( const AsmDecl & 381 AsmStmt *stmt; 382 383 AsmDecl( AsmStmt *stmt ); 384 AsmDecl( const AsmDecl &other ); 386 385 virtual ~AsmDecl(); 387 386 388 AsmStmt * 389 void set_stmt( AsmStmt * 390 391 virtual AsmDecl * 392 virtual void accept( Visitor & v ) override { v.visit( this ); } 393 virtual void accept( Visitor & v ) const override { v.visit( this ); } 394 virtual AsmDecl * acceptMutator( Mutator &m ) override { return m.mutate( this ); }395 virtual void print( std::ostream & 396 virtual void printShort( std::ostream & 387 AsmStmt *get_stmt() { return stmt; } 388 void set_stmt( AsmStmt *newValue ) { stmt = newValue; } 389 390 virtual AsmDecl *clone() const override { return new AsmDecl( *this ); } 391 virtual void accept( Visitor & v ) override { v.visit( this ); } 392 virtual void accept( Visitor & v ) const override { v.visit( this ); } 393 virtual AsmDecl *acceptMutator( Mutator &m ) override { return m.mutate( this ); } 394 virtual void print( std::ostream &os, Indenter indent = {} ) const override; 395 virtual void printShort( std::ostream &os, Indenter indent = {} ) const override; 397 396 }; 398 397 … … 409 408 virtual void accept( Visitor & v ) override { v.visit( this ); } 410 409 virtual void accept( Visitor & v ) const override { v.visit( this ); } 411 virtual StaticAssertDecl * acceptMutator( Mutator & 412 virtual void print( std::ostream & 413 virtual void printShort( std::ostream & 410 virtual StaticAssertDecl * acceptMutator( Mutator &m ) override { return m.mutate( this ); } 411 virtual void print( std::ostream &os, Indenter indent = {} ) const override; 412 virtual void printShort( std::ostream &os, Indenter indent = {} ) const override; 414 413 }; 415 414
Note:
See TracChangeset
for help on using the changeset viewer.
