source: src/Parser/ParseNode.h@ 5447e09

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors ctor deferred_resn demangler enum forall-pointer-decay gc_noraii jacob/cs343-translation jenkins-sandbox memory new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum resolv-new string with_gc
Last change on this file since 5447e09 was 4040425, checked in by Peter A. Buhr <pabuhr@…>, 10 years ago

change keyword type to otype and context to trait
  • Property mode set to 100644
File size: 19.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// ParseNode.h --
8//
9// Author : Rodolfo G. Esteves
10// Created On : Sat May 16 13:28:16 2015
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Wed Mar 2 17:26:35 2016
13// Update Count : 190
14//
15
16#ifndef PARSENODE_H
17#define PARSENODE_H
18
19#include <string>
20#include <list>
21#include <iterator>
22
23#include "Common/utility.h"
24#include "Parser/LinkageSpec.h"
25#include "SynTree/Type.h"
26//#include "SynTree/Declaration.h"
27#include "Common/UniqueName.h"
28
29class ExpressionNode;
30class CompositeExprNode;
31class CommaExprNode;
32class StatementNode;
33class CompoundStmtNode;
34class DeclarationNode;
35class InitializerNode;
36
37// Builder
38class ParseNode {
39 public:
40 ParseNode();
41 ParseNode( const std::string * );
42 ParseNode( const std::string & ); // for copy constructing subclasses
43 virtual ~ParseNode();
44
45 ParseNode *get_link() const;
46 ParseNode *get_last();
47 ParseNode *set_link( ParseNode * );
48 void set_next( ParseNode *newlink ) { next = newlink; }
49
50 virtual ParseNode *clone() const { return 0; };
51
52 const std::string &get_name() const { return name; }
53 void set_name( const std::string &newValue ) { name = newValue; }
54
55 virtual void print( std::ostream &, int indent = 0 ) const;
56 virtual void printList( std::ostream &, int indent = 0 ) const;
57
58 ParseNode &operator,( ParseNode &);
59 protected:
60 std::string name;
61 ParseNode *next;
62 static int indent_by;
63};
64
65ParseNode *mkList( ParseNode & );
66
67class ExpressionNode : public ParseNode {
68 public:
69 ExpressionNode();
70 ExpressionNode( const std::string * );
71 ExpressionNode( const ExpressionNode &other );
72 virtual ~ExpressionNode() { delete argName; } // cannot delete argName because it might be referenced elsewhere
73
74 virtual ExpressionNode *clone() const = 0;
75
76 virtual CommaExprNode *add_to_list( ExpressionNode * );
77
78 ExpressionNode *get_argName() const { return argName; }
79 ExpressionNode *set_argName( const std::string *aName );
80 ExpressionNode *set_argName( ExpressionNode *aDesignator );
81
82 virtual void print( std::ostream &, int indent = 0) const = 0;
83 virtual void printOneLine( std::ostream &, int indent = 0) const = 0;
84
85 virtual Expression *build() const = 0;
86 protected:
87 void printDesignation ( std::ostream &, int indent = 0) const;
88 private:
89 ExpressionNode *argName;
90};
91
92// NullExprNode is used in tuples as a place-holder where a tuple component is omitted e.g., [ 2, , 3 ]
93class NullExprNode : public ExpressionNode {
94 public:
95 NullExprNode();
96
97 virtual NullExprNode *clone() const;
98
99 virtual void print( std::ostream &, int indent = 0) const;
100 virtual void printOneLine( std::ostream &, int indent = 0) const;
101
102 virtual Expression *build() const;
103};
104
105class ConstantNode : public ExpressionNode {
106 public:
107 enum Type { Integer, Float, Character, String };
108
109 ConstantNode( Type, std::string * );
110 ConstantNode( const ConstantNode &other ) : value( *new std::string( other.value ) ) {};
111 ~ConstantNode() { delete &value; }
112
113 virtual ConstantNode *clone() const { return new ConstantNode( *this ); }
114 Type get_type( void ) const { return type; }
115 virtual void print( std::ostream &, int indent = 0) const;
116 virtual void printOneLine( std::ostream &, int indent = 0) const;
117
118 const std::string &get_value() const { return value; }
119 ConstantNode *appendstr( const std::string *newValue );
120
121 Expression *build() const;
122 private:
123 Type type;
124 BasicType::Kind btype;
125 std::string &value;
126};
127
128class VarRefNode : public ExpressionNode {
129 public:
130 VarRefNode();
131 VarRefNode( const std::string *, bool isLabel = false );
132 VarRefNode( const VarRefNode &other );
133
134 virtual Expression *build() const ;
135
136 virtual VarRefNode *clone() const { return new VarRefNode( *this ); }
137
138 virtual void print( std::ostream &, int indent = 0 ) const;
139 virtual void printOneLine( std::ostream &, int indent = 0 ) const;
140 private:
141 bool isLabel;
142};
143
144class DesignatorNode : public ExpressionNode {
145 public:
146 DesignatorNode( ExpressionNode *expr, bool isArrayIndex = false );
147 DesignatorNode( const DesignatorNode &other );
148
149 virtual Expression *build() const ;
150 virtual DesignatorNode *clone() const { return new DesignatorNode( *this ); }
151
152 virtual void print( std::ostream &, int indent = 0 ) const;
153 virtual void printOneLine( std::ostream &, int indent = 0 ) const;
154 private:
155 bool isArrayIndex;
156};
157
158class TypeValueNode : public ExpressionNode {
159 public:
160 TypeValueNode( DeclarationNode * );
161 TypeValueNode( const TypeValueNode &other );
162
163 DeclarationNode *get_decl() const { return decl; }
164
165 virtual Expression *build() const ;
166
167 virtual TypeValueNode *clone() const { return new TypeValueNode( *this ); }
168
169 virtual void print( std::ostream &, int indent = 0) const;
170 virtual void printOneLine( std::ostream &, int indent = 0) const;
171 private:
172 DeclarationNode *decl;
173};
174
175class OperatorNode : public ExpressionNode {
176 public:
177 enum Type { TupleC, Comma, TupleFieldSel, // n-adic
178 // triadic
179 Cond, NCond,
180 // diadic
181 SizeOf, AlignOf, OffsetOf, Attr, CompLit, Plus, Minus, Mul, Div, Mod, Or, And,
182 BitOr, BitAnd, Xor, Cast, LShift, RShift, LThan, GThan, LEThan, GEThan, Eq, Neq,
183 Assign, MulAssn, DivAssn, ModAssn, PlusAssn, MinusAssn, LSAssn, RSAssn, AndAssn, ERAssn, OrAssn,
184 Index, FieldSel, PFieldSel, Range,
185 // monadic
186 UnPlus, UnMinus, AddressOf, PointTo, Neg, BitNeg, Incr, IncrPost, Decr, DecrPost, LabelAddress,
187 };
188
189 OperatorNode( Type t );
190 OperatorNode( const OperatorNode &other );
191 virtual ~OperatorNode();
192
193 virtual OperatorNode *clone() const { return new OperatorNode( *this ); }
194
195 Type get_type() const;
196 const char *get_typename() const;
197
198 virtual void print( std::ostream &, int indent = 0) const;
199 virtual void printOneLine( std::ostream &, int indent = 0) const;
200
201 virtual Expression *build() const { return 0; }
202 private:
203 Type type;
204};
205
206class CompositeExprNode : public ExpressionNode {
207 public:
208 CompositeExprNode();
209 CompositeExprNode( const std::string * );
210 CompositeExprNode( ExpressionNode *f, ExpressionNode *args = 0 );
211 CompositeExprNode( ExpressionNode *f, ExpressionNode *arg1, ExpressionNode *arg2 );
212 CompositeExprNode( const CompositeExprNode &other );
213 virtual ~CompositeExprNode();
214
215 virtual CompositeExprNode *clone() const { return new CompositeExprNode( *this ); }
216 virtual Expression *build() const;
217
218 virtual void print( std::ostream &, int indent = 0) const;
219 virtual void printOneLine( std::ostream &, int indent = 0) const;
220
221 void set_function( ExpressionNode * );
222 void set_args( ExpressionNode * );
223
224 void add_arg( ExpressionNode * );
225
226 ExpressionNode *get_function() const;
227 ExpressionNode *get_args() const;
228 private:
229 ExpressionNode *function;
230 ExpressionNode *arguments;
231};
232
233class AsmExprNode : public ExpressionNode {
234 public:
235 AsmExprNode();
236 AsmExprNode( ExpressionNode *inout, ConstantNode *constraint, ExpressionNode *operand ) : inout( inout ), constraint( constraint ), operand( operand ) {}
237 virtual ~AsmExprNode() { delete inout; delete constraint; delete operand; }
238
239 virtual AsmExprNode *clone() const { return new AsmExprNode( *this ); }
240 virtual Expression *build() const;
241
242 virtual void print( std::ostream &, int indent = 0) const;
243 virtual void printOneLine( std::ostream &, int indent = 0) const;
244
245 ExpressionNode *get_inout() const { return inout; };
246 void set_inout( ExpressionNode *newValue ) { inout = newValue; }
247
248 ConstantNode *get_constraint() const { return constraint; };
249 void set_constraint( ConstantNode *newValue ) { constraint = newValue; }
250
251 ExpressionNode *get_operand() const { return operand; };
252 void set_operand( ExpressionNode *newValue ) { operand = newValue; }
253 private:
254 ExpressionNode *inout;
255 ConstantNode *constraint;
256 ExpressionNode *operand;
257};
258
259class LabelNode : public ExpressionNode {
260 public:
261 virtual Expression *build() const { return NULL; }
262 virtual LabelNode *clone() const { return new LabelNode( *this ); }
263
264 virtual void print( std::ostream &, int indent = 0) const;
265 virtual void printOneLine( std::ostream &, int indent = 0) const;
266
267 const std::list< std::string > &get_labels() const { return labels; };
268 void append_label( std::string *label ) { labels.push_back( *label ); delete label; }
269 private:
270 std::list< std::string > labels;
271};
272
273class CommaExprNode : public CompositeExprNode {
274 public:
275 CommaExprNode();
276 CommaExprNode( ExpressionNode * );
277 CommaExprNode( ExpressionNode *, ExpressionNode * );
278 CommaExprNode( const CommaExprNode &other );
279
280 virtual CommaExprNode *add_to_list( ExpressionNode * );
281 virtual CommaExprNode *clone() const { return new CommaExprNode( *this ); }
282};
283
284class ForCtlExprNode : public ExpressionNode {
285 public:
286 ForCtlExprNode( ParseNode *, ExpressionNode *, ExpressionNode * ) throw ( SemanticError );
287 ForCtlExprNode( const ForCtlExprNode &other );
288 ~ForCtlExprNode();
289
290 StatementNode *get_init() const { return init; }
291 ExpressionNode *get_condition() const { return condition; }
292 ExpressionNode *get_change() const { return change; }
293
294 virtual ForCtlExprNode *clone() const { return new ForCtlExprNode( *this ); }
295 virtual Expression *build() const;
296
297 virtual void print( std::ostream &, int indent = 0 ) const;
298 virtual void printOneLine( std::ostream &, int indent = 0 ) const;
299 private:
300 StatementNode *init;
301 ExpressionNode *condition;
302 ExpressionNode *change;
303};
304
305class ValofExprNode : public ExpressionNode {
306 public:
307 ValofExprNode();
308 ValofExprNode( StatementNode *s = 0 );
309 ValofExprNode( const ValofExprNode &other );
310 ~ValofExprNode();
311
312 virtual ValofExprNode *clone() const { return new ValofExprNode( *this ); }
313
314 StatementNode *get_body() const { return body; }
315 void print( std::ostream &, int indent = 0 ) const;
316 void printOneLine( std::ostream &, int indent = 0 ) const;
317 Expression *build() const;
318
319 private:
320 StatementNode *body;
321};
322
323class TypeData;
324
325class DeclarationNode : public ParseNode {
326 public:
327 enum Qualifier { Const, Restrict, Volatile, Lvalue, Atomic };
328 enum StorageClass { Extern, Static, Auto, Register, Inline, Fortran, Noreturn, Threadlocal, NoStorageClass, };
329 enum BasicType { Char, Int, Float, Double, Void, Bool, Complex, Imaginary };
330 enum Modifier { Signed, Unsigned, Short, Long };
331 enum Aggregate { Struct, Union, Trait };
332 enum TypeClass { Type, Dtype, Ftype };
333 enum BuiltinType { Valist };
334
335 static const char *storageName[];
336 static const char *qualifierName[];
337 static const char *basicTypeName[];
338 static const char *modifierName[];
339 static const char *aggregateName[];
340 static const char *typeClassName[];
341 static const char *builtinTypeName[];
342
343 static DeclarationNode *newFunction( std::string *name, DeclarationNode *ret, DeclarationNode *param, StatementNode *body, bool newStyle = false );
344 static DeclarationNode *newQualifier( Qualifier );
345 static DeclarationNode *newStorageClass( StorageClass );
346 static DeclarationNode *newBasicType( BasicType );
347 static DeclarationNode *newModifier( Modifier );
348 static DeclarationNode *newForall( DeclarationNode *);
349 static DeclarationNode *newFromTypedef( std::string *);
350 static DeclarationNode *newAggregate( Aggregate kind, const std::string *name, ExpressionNode *actuals, DeclarationNode *fields );
351 static DeclarationNode *newEnum( std::string *name, DeclarationNode *constants );
352 static DeclarationNode *newEnumConstant( std::string *name, ExpressionNode *constant );
353 static DeclarationNode *newName( std::string *);
354 static DeclarationNode *newFromTypeGen( std::string *, ExpressionNode *params );
355 static DeclarationNode *newTypeParam( TypeClass, std::string *);
356 static DeclarationNode *newTrait( std::string *name, DeclarationNode *params, DeclarationNode *asserts );
357 static DeclarationNode *newTraitUse( std::string *name, ExpressionNode *params );
358 static DeclarationNode *newTypeDecl( std::string *name, DeclarationNode *typeParams );
359 static DeclarationNode *newPointer( DeclarationNode *qualifiers );
360 static DeclarationNode *newArray( ExpressionNode *size, DeclarationNode *qualifiers, bool isStatic );
361 static DeclarationNode *newVarArray( DeclarationNode *qualifiers );
362 static DeclarationNode *newBitfield( ExpressionNode *size );
363 static DeclarationNode *newTuple( DeclarationNode *members );
364 static DeclarationNode *newTypeof( ExpressionNode *expr );
365 static DeclarationNode *newAttr( std::string *, ExpressionNode *expr );
366 static DeclarationNode *newAttr( std::string *, DeclarationNode *type );
367 static DeclarationNode *newBuiltinType( BuiltinType );
368
369 DeclarationNode *addQualifiers( DeclarationNode *);
370 DeclarationNode *copyStorageClasses( DeclarationNode *);
371 DeclarationNode *addType( DeclarationNode *);
372 DeclarationNode *addTypedef();
373 DeclarationNode *addAssertions( DeclarationNode *);
374 DeclarationNode *addName( std::string *);
375 DeclarationNode *addBitfield( ExpressionNode *size );
376 DeclarationNode *addVarArgs();
377 DeclarationNode *addFunctionBody( StatementNode *body );
378 DeclarationNode *addOldDeclList( DeclarationNode *list );
379 DeclarationNode *addPointer( DeclarationNode *qualifiers );
380 DeclarationNode *addArray( DeclarationNode *array );
381 DeclarationNode *addNewPointer( DeclarationNode *pointer );
382 DeclarationNode *addNewArray( DeclarationNode *array );
383 DeclarationNode *addParamList( DeclarationNode *list );
384 DeclarationNode *addIdList( DeclarationNode *list ); // old-style functions
385 DeclarationNode *addInitializer( InitializerNode *init );
386
387 DeclarationNode *cloneType( std::string *newName );
388 DeclarationNode *cloneType( DeclarationNode *existing );
389 DeclarationNode *cloneType( int ) { return cloneType( ( std::string *)0 ); }
390 DeclarationNode *cloneBaseType( std::string *newName );
391 DeclarationNode *cloneBaseType( DeclarationNode *newdecl );
392
393 DeclarationNode *appendList( DeclarationNode * );
394
395 DeclarationNode *clone() const;
396 void print( std::ostream &, int indent = 0 ) const;
397 void printList( std::ostream &, int indent = 0 ) const;
398
399 Declaration *build() const;
400 ::Type *buildType() const;
401
402 bool get_hasEllipsis() const;
403 const std::string &get_name() const { return name; }
404 LinkageSpec::Type get_linkage() const { return linkage; }
405 DeclarationNode *extractAggregate() const;
406 ExpressionNode *get_enumeratorValue() const { return enumeratorValue; }
407
408 DeclarationNode();
409 ~DeclarationNode();
410 private:
411 StorageClass buildStorageClass() const;
412 bool buildFuncSpecifier( StorageClass key ) const;
413
414 TypeData *type;
415 std::string name;
416 std::list< StorageClass > storageClasses;
417 std::list< std::string > attributes;
418 ExpressionNode *bitfieldWidth;
419 ExpressionNode *enumeratorValue;
420 InitializerNode *initializer;
421 bool hasEllipsis;
422 LinkageSpec::Type linkage;
423
424 static UniqueName anonymous;
425}; // DeclarationNode
426
427class StatementNode : public ParseNode {
428 public:
429 enum Type { Exp, If, Switch, Case, Default, Choose, Fallthru,
430 While, Do, For,
431 Goto, Continue, Break, Return, Throw,
432 Try, Catch, Finally, Asm,
433 Decl
434 };
435
436 StatementNode();
437 StatementNode( const std::string *name );
438 StatementNode( Type t, ExpressionNode *control = 0, StatementNode *block = 0 );
439 StatementNode( Type t, std::string *target );
440 StatementNode( DeclarationNode *decl );
441
442 ~StatementNode();
443
444 static StatementNode *newCatchStmt( DeclarationNode *d = 0, StatementNode *s = 0, bool catchRestP = false );
445
446 StatementNode *set_block( StatementNode *b ) { block = b; return this; }
447 StatementNode *get_block() const { return block; }
448
449 void set_control( ExpressionNode *c ) { control = c; }
450 ExpressionNode *get_control() const { return control; }
451
452 StatementNode::Type get_type() const { return type; }
453
454 StatementNode *add_label( const std::string * );
455 const std::list<std::string> &get_labels() const { return labels; }
456
457 void addDeclaration( DeclarationNode *newDecl ) { decl = newDecl; }
458 void setCatchRest( bool newVal ) { isCatchRest = newVal; }
459
460 std::string get_target() const;
461
462 StatementNode *add_controlexp( ExpressionNode * );
463 StatementNode *append_block( StatementNode * );
464 StatementNode *append_last_case( StatementNode * );
465
466 void print( std::ostream &, int indent = 0) const;
467 virtual StatementNode *clone() const;
468 virtual Statement *build() const;
469 private:
470 static const char *StType[];
471 Type type;
472 ExpressionNode *control;
473 StatementNode *block;
474 std::list<std::string> labels;
475 std::string *target; // target label for jump statements
476 DeclarationNode *decl;
477 bool isCatchRest;
478}; // StatementNode
479
480class CompoundStmtNode : public StatementNode {
481 public:
482 CompoundStmtNode();
483 CompoundStmtNode( const std::string * );
484 CompoundStmtNode( StatementNode * );
485 ~CompoundStmtNode();
486
487 void add_statement( StatementNode * );
488
489 void print( std::ostream &, int indent = 0 ) const;
490 virtual Statement *build() const;
491 private:
492 StatementNode *first, *last;
493};
494
495class AsmStmtNode : public StatementNode {
496 public:
497 AsmStmtNode( Type, bool voltile, ConstantNode *instruction, ExpressionNode *output = 0, ExpressionNode *input = 0, ConstantNode *clobber = 0, LabelNode *gotolabels = 0 );
498 ~AsmStmtNode();
499
500 void print( std::ostream &, int indent = 0 ) const;
501 Statement *build() const;
502 private:
503 bool voltile;
504 ConstantNode *instruction;
505 ExpressionNode *output, *input;
506 ConstantNode *clobber;
507 std::list<std::string> gotolabels;
508};
509
510class NullStmtNode : public CompoundStmtNode {
511 public:
512 Statement *build() const;
513 void print( std::ostream &, int indent = 0 ) const;
514};
515
516class InitializerNode : public ParseNode {
517 public:
518 InitializerNode( ExpressionNode *, bool aggrp = false, ExpressionNode *des = 0 );
519 InitializerNode( InitializerNode *, bool aggrp = false, ExpressionNode *des = 0 );
520 ~InitializerNode();
521
522 ExpressionNode *get_expression() const { return expr; }
523
524 InitializerNode *set_designators( ExpressionNode *des ) { designator = des; return this; }
525 ExpressionNode *get_designators() const { return designator; }
526
527 InitializerNode *next_init() const { return kids; }
528
529 void print( std::ostream &, int indent = 0 ) const;
530 void printOneLine( std::ostream & ) const;
531
532 virtual Initializer *build() const;
533 private:
534 ExpressionNode *expr;
535 bool aggregate;
536 ExpressionNode *designator; // may be list
537 InitializerNode *kids;
538};
539
540template< typename SynTreeType, typename NodeType >
541void buildList( const NodeType *firstNode, std::list< SynTreeType *> &outputList ) {
542 SemanticError errors;
543 std::back_insert_iterator< std::list< SynTreeType *> > out( outputList );
544 const NodeType *cur = firstNode;
545
546 while ( cur ) {
547 try {
548 SynTreeType *result = dynamic_cast< SynTreeType *>( cur->build() );
549 if ( result ) {
550 *out++ = result;
551 } else {
552 } // if
553 } catch( SemanticError &e ) {
554 errors.append( e );
555 } // try
556 cur = dynamic_cast< NodeType *>( cur->get_link() );
557 } // while
558 if ( ! errors.isEmpty() ) {
559 throw errors;
560 } // if
561}
562
563// in DeclarationNode.cc
564void buildList( const DeclarationNode *firstNode, std::list< Declaration * > &outputList );
565void buildList( const DeclarationNode *firstNode, std::list< DeclarationWithType *> &outputList );
566void buildTypeList( const DeclarationNode *firstNode, std::list< Type * > &outputList );
567
568// in ExpressionNode.cc
569ExpressionNode *flattenCommas( ExpressionNode *list );
570ExpressionNode *tupleContents( ExpressionNode *tuple );
571
572#endif // PARSENODE_H
573
574// Local Variables: //
575// tab-width: 4 //
576// mode: c++ //
577// compile-command: "make install" //
578// End: //
Note: See TracBrowser for help on using the repository browser.