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 : Andrew Beach
|
---|
12 | // Last Modified On : Mon Apr 3 17:55:00 2023
|
---|
13 | // Update Count : 942
|
---|
14 | //
|
---|
15 |
|
---|
16 | #pragma once
|
---|
17 |
|
---|
18 | #include <algorithm> // for move
|
---|
19 | #include <cassert> // for assert, assertf
|
---|
20 | #include <iosfwd> // for ostream
|
---|
21 | #include <iterator> // for back_insert_iterator
|
---|
22 | #include <list> // for list
|
---|
23 | #include <memory> // for unique_ptr, pointer_traits
|
---|
24 | #include <string> // for string
|
---|
25 |
|
---|
26 | #include "AST/Expr.hpp" // for Expr, NameExpr LogicalFlag
|
---|
27 | #include "AST/Fwd.hpp" // for ptr, Decl, DeclWithType,
|
---|
28 | #include "AST/Stmt.hpp" // for Stmt
|
---|
29 | #include "Common/CodeLocation.h" // for CodeLocation
|
---|
30 | #include "Common/SemanticError.h" // for SemanticError
|
---|
31 | #include "Common/UniqueName.h" // for UniqueName
|
---|
32 | #include "Common/utility.h" // for maybeClone
|
---|
33 | #include "Parser/parserutility.h" // for maybeBuild, maybeCopy
|
---|
34 |
|
---|
35 | class Attribute;
|
---|
36 | class Declaration;
|
---|
37 | struct DeclarationNode;
|
---|
38 | class DeclarationWithType;
|
---|
39 | class Initializer;
|
---|
40 | class ExpressionNode;
|
---|
41 | struct StatementNode;
|
---|
42 |
|
---|
43 | //##############################################################################
|
---|
44 |
|
---|
45 | typedef CodeLocation YYLTYPE;
|
---|
46 | #define YYLTYPE_IS_DECLARED 1 /* alert the parser that we have our own definition */
|
---|
47 |
|
---|
48 | extern YYLTYPE yylloc;
|
---|
49 |
|
---|
50 | class ParseNode {
|
---|
51 | public:
|
---|
52 | ParseNode() {};
|
---|
53 | virtual ~ParseNode() { delete next; delete name; };
|
---|
54 | virtual ParseNode * clone() const = 0;
|
---|
55 |
|
---|
56 | ParseNode * get_next() const { return next; }
|
---|
57 | ParseNode * set_next( ParseNode * newlink ) { next = newlink; return this; }
|
---|
58 |
|
---|
59 | ParseNode * get_last() {
|
---|
60 | ParseNode * current;
|
---|
61 | for ( current = this; current->get_next() != nullptr; current = current->get_next() );
|
---|
62 | return current;
|
---|
63 | }
|
---|
64 | ParseNode * set_last( ParseNode * newlast ) {
|
---|
65 | if ( newlast != nullptr ) get_last()->set_next( newlast );
|
---|
66 | return this;
|
---|
67 | }
|
---|
68 |
|
---|
69 | virtual void print( __attribute__((unused)) std::ostream & os, __attribute__((unused)) int indent = 0 ) const {}
|
---|
70 | virtual void printList( std::ostream & os, int indent = 0 ) const {
|
---|
71 | print( os, indent );
|
---|
72 | if ( next ) next->print( os, indent );
|
---|
73 | }
|
---|
74 |
|
---|
75 | static int indent_by;
|
---|
76 |
|
---|
77 | ParseNode * next = nullptr;
|
---|
78 | const std::string * name = nullptr;
|
---|
79 | CodeLocation location = yylloc;
|
---|
80 | }; // ParseNode
|
---|
81 |
|
---|
82 | //##############################################################################
|
---|
83 |
|
---|
84 | class InitializerNode : public ParseNode {
|
---|
85 | public:
|
---|
86 | InitializerNode( ExpressionNode *, bool aggrp = false, ExpressionNode * des = nullptr );
|
---|
87 | InitializerNode( InitializerNode *, bool aggrp = false, ExpressionNode * des = nullptr );
|
---|
88 | InitializerNode( bool isDelete );
|
---|
89 | ~InitializerNode();
|
---|
90 | virtual InitializerNode * clone() const { assert( false ); return nullptr; }
|
---|
91 |
|
---|
92 | ExpressionNode * get_expression() const { return expr; }
|
---|
93 |
|
---|
94 | InitializerNode * set_designators( ExpressionNode * des ) { designator = des; return this; }
|
---|
95 | ExpressionNode * get_designators() const { return designator; }
|
---|
96 |
|
---|
97 | InitializerNode * set_maybeConstructed( bool value ) { maybeConstructed = value; return this; }
|
---|
98 | bool get_maybeConstructed() const { return maybeConstructed; }
|
---|
99 |
|
---|
100 | bool get_isDelete() const { return isDelete; }
|
---|
101 |
|
---|
102 | InitializerNode * next_init() const { return kids; }
|
---|
103 |
|
---|
104 | void print( std::ostream & os, int indent = 0 ) const;
|
---|
105 | void printOneLine( std::ostream & ) const;
|
---|
106 |
|
---|
107 | virtual ast::Init * build() const;
|
---|
108 | private:
|
---|
109 | ExpressionNode * expr;
|
---|
110 | bool aggregate;
|
---|
111 | ExpressionNode * designator; // may be list
|
---|
112 | InitializerNode * kids;
|
---|
113 | bool maybeConstructed;
|
---|
114 | bool isDelete;
|
---|
115 | }; // InitializerNode
|
---|
116 |
|
---|
117 | //##############################################################################
|
---|
118 |
|
---|
119 | class ExpressionNode final : public ParseNode {
|
---|
120 | public:
|
---|
121 | ExpressionNode( ast::Expr * expr = nullptr ) : expr( expr ) {}
|
---|
122 | virtual ~ExpressionNode() {}
|
---|
123 | virtual ExpressionNode * clone() const override {
|
---|
124 | if ( nullptr == expr ) return nullptr;
|
---|
125 | return static_cast<ExpressionNode*>(
|
---|
126 | (new ExpressionNode( ast::shallowCopy( expr.get() ) ))->set_next( maybeCopy( get_next() ) ));
|
---|
127 | }
|
---|
128 |
|
---|
129 | bool get_extension() const { return extension; }
|
---|
130 | ExpressionNode * set_extension( bool exten ) { extension = exten; return this; }
|
---|
131 |
|
---|
132 | virtual void print( std::ostream & os, __attribute__((unused)) int indent = 0 ) const override {
|
---|
133 | os << expr.get();
|
---|
134 | }
|
---|
135 | void printOneLine( __attribute__((unused)) std::ostream & os, __attribute__((unused)) int indent = 0 ) const {}
|
---|
136 |
|
---|
137 | template<typename T>
|
---|
138 | bool isExpressionType() const { return nullptr != dynamic_cast<T>(expr.get()); }
|
---|
139 |
|
---|
140 | ast::Expr * build() const {
|
---|
141 | ast::Expr * node = const_cast<ExpressionNode *>(this)->expr.release();
|
---|
142 | node->set_extension( this->get_extension() );
|
---|
143 | node->location = this->location;
|
---|
144 | return node;
|
---|
145 | }
|
---|
146 |
|
---|
147 | // Public because of lifetime implications (what lifetime implications?)
|
---|
148 | std::unique_ptr<ast::Expr> expr;
|
---|
149 | private:
|
---|
150 | bool extension = false;
|
---|
151 | }; // ExpressionNode
|
---|
152 |
|
---|
153 | // Must harmonize with OperName.
|
---|
154 | enum class OperKinds {
|
---|
155 | // diadic
|
---|
156 | SizeOf, AlignOf, OffsetOf, Plus, Minus, Exp, Mul, Div, Mod, Or, And,
|
---|
157 | BitOr, BitAnd, Xor, Cast, LShift, RShift, LThan, GThan, LEThan, GEThan, Eq, Neq,
|
---|
158 | Assign, AtAssn, ExpAssn, MulAssn, DivAssn, ModAssn, PlusAssn, MinusAssn, LSAssn, RSAssn, AndAssn, ERAssn, OrAssn,
|
---|
159 | Index, Range,
|
---|
160 | // monadic
|
---|
161 | UnPlus, UnMinus, AddressOf, PointTo, Neg, BitNeg, Incr, IncrPost, Decr, DecrPost,
|
---|
162 | Ctor, Dtor,
|
---|
163 | }; // OperKinds
|
---|
164 |
|
---|
165 | enum class EnumHiding { Visible, Hide };
|
---|
166 |
|
---|
167 | struct LabelNode {
|
---|
168 | std::vector<ast::Label> labels;
|
---|
169 | };
|
---|
170 |
|
---|
171 | // These 4 routines modify the string:
|
---|
172 | ast::Expr * build_constantInteger( const CodeLocation &, std::string & );
|
---|
173 | ast::Expr * build_constantFloat( const CodeLocation &, std::string & );
|
---|
174 | ast::Expr * build_constantChar( const CodeLocation &, std::string & );
|
---|
175 | ast::Expr * build_constantStr( const CodeLocation &, std::string & );
|
---|
176 | ast::Expr * build_field_name_FLOATING_FRACTIONconstant( const CodeLocation &, const std::string & str );
|
---|
177 | ast::Expr * build_field_name_FLOATING_DECIMALconstant( const CodeLocation &, const std::string & str );
|
---|
178 | ast::Expr * build_field_name_FLOATINGconstant( const CodeLocation &, const std::string & str );
|
---|
179 | ast::Expr * build_field_name_fraction_constants( const CodeLocation &, ast::Expr * fieldName, ExpressionNode * fracts );
|
---|
180 |
|
---|
181 | ast::NameExpr * build_varref( const CodeLocation &, const std::string * name );
|
---|
182 | ast::QualifiedNameExpr * build_qualified_expr( const CodeLocation &, const DeclarationNode * decl_node, const ast::NameExpr * name );
|
---|
183 | ast::QualifiedNameExpr * build_qualified_expr( const CodeLocation &, const ast::EnumDecl * decl, const ast::NameExpr * name );
|
---|
184 | ast::DimensionExpr * build_dimensionref( const CodeLocation &, const std::string * name );
|
---|
185 |
|
---|
186 | ast::Expr * build_cast( const CodeLocation &, DeclarationNode * decl_node, ExpressionNode * expr_node );
|
---|
187 | ast::Expr * build_keyword_cast( const CodeLocation &, ast::AggregateDecl::Aggregate target, ExpressionNode * expr_node );
|
---|
188 | ast::Expr * build_virtual_cast( const CodeLocation &, DeclarationNode * decl_node, ExpressionNode * expr_node );
|
---|
189 | ast::Expr * build_fieldSel( const CodeLocation &, ExpressionNode * expr_node, ast::Expr * member );
|
---|
190 | ast::Expr * build_pfieldSel( const CodeLocation &, ExpressionNode * expr_node, ast::Expr * member );
|
---|
191 | ast::Expr * build_offsetOf( const CodeLocation &, DeclarationNode * decl_node, ast::NameExpr * member );
|
---|
192 | ast::Expr * build_and( const CodeLocation &, ExpressionNode * expr_node1, ExpressionNode * expr_node2 );
|
---|
193 | ast::Expr * build_and_or( const CodeLocation &, ExpressionNode * expr_node1, ExpressionNode * expr_node2, ast::LogicalFlag flag );
|
---|
194 | ast::Expr * build_unary_val( const CodeLocation &, OperKinds op, ExpressionNode * expr_node );
|
---|
195 | ast::Expr * build_binary_val( const CodeLocation &, OperKinds op, ExpressionNode * expr_node1, ExpressionNode * expr_node2 );
|
---|
196 | ast::Expr * build_binary_ptr( const CodeLocation &, OperKinds op, ExpressionNode * expr_node1, ExpressionNode * expr_node2 );
|
---|
197 | ast::Expr * build_cond( const CodeLocation &, ExpressionNode * expr_node1, ExpressionNode * expr_node2, ExpressionNode * expr_node3 );
|
---|
198 | ast::Expr * build_tuple( const CodeLocation &, ExpressionNode * expr_node = nullptr );
|
---|
199 | ast::Expr * build_func( const CodeLocation &, ExpressionNode * function, ExpressionNode * expr_node );
|
---|
200 | ast::Expr * build_compoundLiteral( const CodeLocation &, DeclarationNode * decl_node, InitializerNode * kids );
|
---|
201 |
|
---|
202 | //##############################################################################
|
---|
203 |
|
---|
204 | struct TypeData;
|
---|
205 |
|
---|
206 | struct DeclarationNode : public ParseNode {
|
---|
207 | // These enumerations must harmonize with their names in DeclarationNode.cc.
|
---|
208 | enum BasicType {
|
---|
209 | Void, Bool, Char, Int, Int128,
|
---|
210 | Float, Double, LongDouble, uuFloat80, uuFloat128,
|
---|
211 | uFloat16, uFloat32, uFloat32x, uFloat64, uFloat64x, uFloat128, uFloat128x,
|
---|
212 | NoBasicType
|
---|
213 | };
|
---|
214 | static const char * basicTypeNames[];
|
---|
215 | enum ComplexType { Complex, NoComplexType, Imaginary }; // Imaginary unsupported => parse, but make invisible and print error message
|
---|
216 | static const char * complexTypeNames[];
|
---|
217 | enum Signedness { Signed, Unsigned, NoSignedness };
|
---|
218 | static const char * signednessNames[];
|
---|
219 | enum Length { Short, Long, LongLong, NoLength };
|
---|
220 | static const char * lengthNames[];
|
---|
221 | enum BuiltinType { Valist, AutoType, Zero, One, NoBuiltinType };
|
---|
222 | static const char * builtinTypeNames[];
|
---|
223 |
|
---|
224 | static DeclarationNode * newStorageClass( ast::Storage::Classes );
|
---|
225 | static DeclarationNode * newFuncSpecifier( ast::Function::Specs );
|
---|
226 | static DeclarationNode * newTypeQualifier( ast::CV::Qualifiers );
|
---|
227 | static DeclarationNode * newBasicType( BasicType );
|
---|
228 | static DeclarationNode * newComplexType( ComplexType );
|
---|
229 | static DeclarationNode * newSignedNess( Signedness );
|
---|
230 | static DeclarationNode * newLength( Length );
|
---|
231 | static DeclarationNode * newBuiltinType( BuiltinType );
|
---|
232 | static DeclarationNode * newForall( DeclarationNode * );
|
---|
233 | static DeclarationNode * newFromTypedef( const std::string * );
|
---|
234 | static DeclarationNode * newFromGlobalScope();
|
---|
235 | static DeclarationNode * newQualifiedType( DeclarationNode *, DeclarationNode * );
|
---|
236 | static DeclarationNode * newFunction( const std::string * name, DeclarationNode * ret, DeclarationNode * param, StatementNode * body );
|
---|
237 | static DeclarationNode * newAggregate( ast::AggregateDecl::Aggregate kind, const std::string * name, ExpressionNode * actuals, DeclarationNode * fields, bool body );
|
---|
238 | static DeclarationNode * newEnum( const std::string * name, DeclarationNode * constants, bool body, bool typed, DeclarationNode * base = nullptr, EnumHiding hiding = EnumHiding::Visible );
|
---|
239 | static DeclarationNode * newEnumConstant( const std::string * name, ExpressionNode * constant );
|
---|
240 | static DeclarationNode * newEnumValueGeneric( const std::string * name, InitializerNode * init );
|
---|
241 | static DeclarationNode * newEnumInLine( const std::string name );
|
---|
242 | static DeclarationNode * newName( const std::string * );
|
---|
243 | static DeclarationNode * newFromTypeGen( const std::string *, ExpressionNode * params );
|
---|
244 | static DeclarationNode * newTypeParam( ast::TypeDecl::Kind, const std::string * );
|
---|
245 | static DeclarationNode * newTrait( const std::string * name, DeclarationNode * params, DeclarationNode * asserts );
|
---|
246 | static DeclarationNode * newTraitUse( const std::string * name, ExpressionNode * params );
|
---|
247 | static DeclarationNode * newTypeDecl( const std::string * name, DeclarationNode * typeParams );
|
---|
248 | static DeclarationNode * newPointer( DeclarationNode * qualifiers, OperKinds kind );
|
---|
249 | static DeclarationNode * newArray( ExpressionNode * size, DeclarationNode * qualifiers, bool isStatic );
|
---|
250 | static DeclarationNode * newVarArray( DeclarationNode * qualifiers );
|
---|
251 | static DeclarationNode * newBitfield( ExpressionNode * size );
|
---|
252 | static DeclarationNode * newTuple( DeclarationNode * members );
|
---|
253 | static DeclarationNode * newTypeof( ExpressionNode * expr, bool basetypeof = false );
|
---|
254 | static DeclarationNode * newVtableType( DeclarationNode * expr );
|
---|
255 | static DeclarationNode * newAttribute( const std::string *, ExpressionNode * expr = nullptr ); // gcc attributes
|
---|
256 | static DeclarationNode * newDirectiveStmt( StatementNode * stmt ); // gcc external directive statement
|
---|
257 | static DeclarationNode * newAsmStmt( StatementNode * stmt ); // gcc external asm statement
|
---|
258 | static DeclarationNode * newStaticAssert( ExpressionNode * condition, ast::Expr * message );
|
---|
259 |
|
---|
260 | DeclarationNode();
|
---|
261 | ~DeclarationNode();
|
---|
262 | DeclarationNode * clone() const override;
|
---|
263 |
|
---|
264 | DeclarationNode * addQualifiers( DeclarationNode * );
|
---|
265 | void checkQualifiers( const TypeData *, const TypeData * );
|
---|
266 | void checkSpecifiers( DeclarationNode * );
|
---|
267 | DeclarationNode * copySpecifiers( DeclarationNode * );
|
---|
268 | DeclarationNode * addType( DeclarationNode * );
|
---|
269 | DeclarationNode * addTypedef();
|
---|
270 | DeclarationNode * addEnumBase( DeclarationNode * );
|
---|
271 | DeclarationNode * addAssertions( DeclarationNode * );
|
---|
272 | DeclarationNode * addName( std::string * );
|
---|
273 | DeclarationNode * addAsmName( DeclarationNode * );
|
---|
274 | DeclarationNode * addBitfield( ExpressionNode * size );
|
---|
275 | DeclarationNode * addVarArgs();
|
---|
276 | DeclarationNode * addFunctionBody( StatementNode * body, ExpressionNode * with = nullptr );
|
---|
277 | DeclarationNode * addOldDeclList( DeclarationNode * list );
|
---|
278 | DeclarationNode * setBase( TypeData * newType );
|
---|
279 | DeclarationNode * copyAttribute( DeclarationNode * attr );
|
---|
280 | DeclarationNode * addPointer( DeclarationNode * qualifiers );
|
---|
281 | DeclarationNode * addArray( DeclarationNode * array );
|
---|
282 | DeclarationNode * addNewPointer( DeclarationNode * pointer );
|
---|
283 | DeclarationNode * addNewArray( DeclarationNode * array );
|
---|
284 | DeclarationNode * addParamList( DeclarationNode * list );
|
---|
285 | DeclarationNode * addIdList( DeclarationNode * list ); // old-style functions
|
---|
286 | DeclarationNode * addInitializer( InitializerNode * init );
|
---|
287 | DeclarationNode * addTypeInitializer( DeclarationNode * init );
|
---|
288 |
|
---|
289 | DeclarationNode * cloneType( std::string * newName );
|
---|
290 | DeclarationNode * cloneBaseType( DeclarationNode * newdecl );
|
---|
291 |
|
---|
292 | DeclarationNode * appendList( DeclarationNode * node ) {
|
---|
293 | return (DeclarationNode *)set_last( node );
|
---|
294 | }
|
---|
295 |
|
---|
296 | virtual void print( __attribute__((unused)) std::ostream & os, __attribute__((unused)) int indent = 0 ) const override;
|
---|
297 | virtual void printList( __attribute__((unused)) std::ostream & os, __attribute__((unused)) int indent = 0 ) const override;
|
---|
298 |
|
---|
299 | ast::Decl * build() const;
|
---|
300 | ast::Type * buildType() const;
|
---|
301 |
|
---|
302 | ast::Linkage::Spec get_linkage() const { return linkage; }
|
---|
303 | DeclarationNode * extractAggregate() const;
|
---|
304 | bool has_enumeratorValue() const { return (bool)enumeratorValue; }
|
---|
305 | ExpressionNode * consume_enumeratorValue() const { return const_cast<DeclarationNode *>(this)->enumeratorValue.release(); }
|
---|
306 |
|
---|
307 | bool get_extension() const { return extension; }
|
---|
308 | DeclarationNode * set_extension( bool exten ) { extension = exten; return this; }
|
---|
309 |
|
---|
310 | bool get_inLine() const { return inLine; }
|
---|
311 | DeclarationNode * set_inLine( bool inL ) { inLine = inL; return this; }
|
---|
312 |
|
---|
313 | DeclarationNode * get_last() { return (DeclarationNode *)ParseNode::get_last(); }
|
---|
314 |
|
---|
315 | struct Variable_t {
|
---|
316 | // const std::string * name;
|
---|
317 | ast::TypeDecl::Kind tyClass;
|
---|
318 | DeclarationNode * assertions;
|
---|
319 | DeclarationNode * initializer;
|
---|
320 | };
|
---|
321 | Variable_t variable;
|
---|
322 |
|
---|
323 | struct StaticAssert_t {
|
---|
324 | ExpressionNode * condition;
|
---|
325 | ast::Expr * message;
|
---|
326 | };
|
---|
327 | StaticAssert_t assert;
|
---|
328 |
|
---|
329 | BuiltinType builtin = NoBuiltinType;
|
---|
330 |
|
---|
331 | TypeData * type = nullptr;
|
---|
332 |
|
---|
333 | bool inLine = false;
|
---|
334 | bool enumInLine = false;
|
---|
335 | ast::Function::Specs funcSpecs;
|
---|
336 | ast::Storage::Classes storageClasses;
|
---|
337 |
|
---|
338 | ExpressionNode * bitfieldWidth = nullptr;
|
---|
339 | std::unique_ptr<ExpressionNode> enumeratorValue;
|
---|
340 | bool hasEllipsis = false;
|
---|
341 | ast::Linkage::Spec linkage;
|
---|
342 | ast::Expr * asmName = nullptr;
|
---|
343 | std::vector<ast::ptr<ast::Attribute>> attributes;
|
---|
344 | InitializerNode * initializer = nullptr;
|
---|
345 | bool extension = false;
|
---|
346 | std::string error;
|
---|
347 | StatementNode * asmStmt = nullptr;
|
---|
348 | StatementNode * directiveStmt = nullptr;
|
---|
349 |
|
---|
350 | static UniqueName anonymous;
|
---|
351 | }; // DeclarationNode
|
---|
352 |
|
---|
353 | ast::Type * buildType( TypeData * type );
|
---|
354 |
|
---|
355 | static inline ast::Type * maybeMoveBuildType( const DeclarationNode * orig ) {
|
---|
356 | ast::Type * ret = orig ? orig->buildType() : nullptr;
|
---|
357 | delete orig;
|
---|
358 | return ret;
|
---|
359 | }
|
---|
360 |
|
---|
361 | //##############################################################################
|
---|
362 |
|
---|
363 | struct StatementNode final : public ParseNode {
|
---|
364 | StatementNode() :
|
---|
365 | stmt( nullptr ), clause( nullptr ) {}
|
---|
366 | StatementNode( ast::Stmt * stmt ) :
|
---|
367 | stmt( stmt ), clause( nullptr ) {}
|
---|
368 | StatementNode( ast::StmtClause * clause ) :
|
---|
369 | stmt( nullptr ), clause( clause ) {}
|
---|
370 | StatementNode( DeclarationNode * decl );
|
---|
371 | virtual ~StatementNode() {}
|
---|
372 |
|
---|
373 | virtual StatementNode * clone() const final { assert( false ); return nullptr; }
|
---|
374 | ast::Stmt * build() const { return const_cast<StatementNode *>(this)->stmt.release(); }
|
---|
375 |
|
---|
376 | virtual StatementNode * add_label(
|
---|
377 | const CodeLocation & location,
|
---|
378 | const std::string * name,
|
---|
379 | DeclarationNode * attr = nullptr ) {
|
---|
380 | stmt->labels.emplace_back( location,
|
---|
381 | *name,
|
---|
382 | attr ? std::move( attr->attributes )
|
---|
383 | : std::vector<ast::ptr<ast::Attribute>>{} );
|
---|
384 | delete attr;
|
---|
385 | delete name;
|
---|
386 | return this;
|
---|
387 | }
|
---|
388 |
|
---|
389 | virtual StatementNode * append_last_case( StatementNode * );
|
---|
390 |
|
---|
391 | virtual void print( std::ostream & os, __attribute__((unused)) int indent = 0 ) const override {
|
---|
392 | os << stmt.get() << std::endl;
|
---|
393 | }
|
---|
394 |
|
---|
395 | std::unique_ptr<ast::Stmt> stmt;
|
---|
396 | std::unique_ptr<ast::StmtClause> clause;
|
---|
397 | }; // StatementNode
|
---|
398 |
|
---|
399 | ast::Stmt * build_expr( CodeLocation const &, ExpressionNode * ctl );
|
---|
400 |
|
---|
401 | struct CondCtl {
|
---|
402 | CondCtl( DeclarationNode * decl, ExpressionNode * condition ) :
|
---|
403 | init( decl ? new StatementNode( decl ) : nullptr ), condition( condition ) {}
|
---|
404 |
|
---|
405 | StatementNode * init;
|
---|
406 | ExpressionNode * condition;
|
---|
407 | };
|
---|
408 |
|
---|
409 | struct ForCtrl {
|
---|
410 | ForCtrl( StatementNode * stmt, ExpressionNode * condition, ExpressionNode * change ) :
|
---|
411 | init( stmt ), condition( condition ), change( change ) {}
|
---|
412 |
|
---|
413 | StatementNode * init;
|
---|
414 | ExpressionNode * condition;
|
---|
415 | ExpressionNode * change;
|
---|
416 | };
|
---|
417 |
|
---|
418 | ast::Stmt * build_if( const CodeLocation &, CondCtl * ctl, StatementNode * then, StatementNode * else_ );
|
---|
419 | ast::Stmt * build_switch( const CodeLocation &, bool isSwitch, ExpressionNode * ctl, StatementNode * stmt );
|
---|
420 | ast::CaseClause * build_case( ExpressionNode * ctl );
|
---|
421 | ast::CaseClause * build_default( const CodeLocation & );
|
---|
422 | ast::Stmt * build_while( const CodeLocation &, CondCtl * ctl, StatementNode * stmt, StatementNode * else_ = nullptr );
|
---|
423 | ast::Stmt * build_do_while( const CodeLocation &, ExpressionNode * ctl, StatementNode * stmt, StatementNode * else_ = nullptr );
|
---|
424 | ast::Stmt * build_for( const CodeLocation &, ForCtrl * forctl, StatementNode * stmt, StatementNode * else_ = nullptr );
|
---|
425 | ast::Stmt * build_branch( const CodeLocation &, ast::BranchStmt::Kind kind );
|
---|
426 | ast::Stmt * build_branch( const CodeLocation &, std::string * identifier, ast::BranchStmt::Kind kind );
|
---|
427 | ast::Stmt * build_computedgoto( ExpressionNode * ctl );
|
---|
428 | ast::Stmt * build_return( const CodeLocation &, ExpressionNode * ctl );
|
---|
429 | ast::Stmt * build_throw( const CodeLocation &, ExpressionNode * ctl );
|
---|
430 | ast::Stmt * build_resume( const CodeLocation &, ExpressionNode * ctl );
|
---|
431 | ast::Stmt * build_resume_at( ExpressionNode * ctl , ExpressionNode * target );
|
---|
432 | ast::Stmt * build_try( const CodeLocation &, StatementNode * try_, StatementNode * catch_, StatementNode * finally_ );
|
---|
433 | ast::CatchClause * build_catch( const CodeLocation &, ast::ExceptionKind kind, DeclarationNode * decl, ExpressionNode * cond, StatementNode * body );
|
---|
434 | ast::FinallyClause * build_finally( const CodeLocation &, StatementNode * stmt );
|
---|
435 | ast::Stmt * build_compound( const CodeLocation &, StatementNode * first );
|
---|
436 | StatementNode * maybe_build_compound( const CodeLocation &, StatementNode * first );
|
---|
437 | ast::Stmt * build_asm( const CodeLocation &, bool voltile, ast::Expr * instruction, ExpressionNode * output = nullptr, ExpressionNode * input = nullptr, ExpressionNode * clobber = nullptr, LabelNode * gotolabels = nullptr );
|
---|
438 | ast::Stmt * build_directive( const CodeLocation &, std::string * directive );
|
---|
439 | ast::SuspendStmt * build_suspend( const CodeLocation &, StatementNode *, ast::SuspendStmt::Type );
|
---|
440 | ast::WaitForStmt * build_waitfor( const CodeLocation &, ast::WaitForStmt * existing, ExpressionNode * when, ExpressionNode * targetExpr, StatementNode * stmt );
|
---|
441 | ast::WaitForStmt * build_waitfor_else( const CodeLocation &, ast::WaitForStmt * existing, ExpressionNode * when, StatementNode * stmt );
|
---|
442 | ast::WaitForStmt * build_waitfor_timeout( const CodeLocation &, ast::WaitForStmt * existing, ExpressionNode * when, ExpressionNode * timeout, StatementNode * stmt );
|
---|
443 | ast::Stmt * build_with( const CodeLocation &, ExpressionNode * exprs, StatementNode * stmt );
|
---|
444 | ast::Stmt * build_mutex( const CodeLocation &, ExpressionNode * exprs, StatementNode * stmt );
|
---|
445 |
|
---|
446 | //##############################################################################
|
---|
447 |
|
---|
448 | template<typename AstType, typename NodeType,
|
---|
449 | template<typename, typename...> class Container, typename... Args>
|
---|
450 | void buildList( const NodeType * firstNode,
|
---|
451 | Container<ast::ptr<AstType>, Args...> & output ) {
|
---|
452 | SemanticErrorException errors;
|
---|
453 | std::back_insert_iterator<Container<ast::ptr<AstType>, Args...>> out( output );
|
---|
454 | const NodeType * cur = firstNode;
|
---|
455 |
|
---|
456 | while ( cur ) {
|
---|
457 | try {
|
---|
458 | if ( auto result = dynamic_cast<AstType *>( maybeBuild( cur ) ) ) {
|
---|
459 | *out++ = result;
|
---|
460 | } else {
|
---|
461 | assertf(false, __PRETTY_FUNCTION__ );
|
---|
462 | SemanticError( cur->location, "type specifier declaration in forall clause is currently unimplemented." );
|
---|
463 | } // if
|
---|
464 | } catch( SemanticErrorException & e ) {
|
---|
465 | errors.append( e );
|
---|
466 | } // try
|
---|
467 | const ParseNode * temp = cur->get_next();
|
---|
468 | // Should not return nullptr, then it is non-homogeneous:
|
---|
469 | cur = dynamic_cast<const NodeType *>( temp );
|
---|
470 | if ( !cur && temp ) {
|
---|
471 | SemanticError( temp->location, "internal error, non-homogeneous nodes founds in buildList processing." );
|
---|
472 | } // if
|
---|
473 | } // while
|
---|
474 | if ( ! errors.isEmpty() ) {
|
---|
475 | throw errors;
|
---|
476 | } // if
|
---|
477 | }
|
---|
478 |
|
---|
479 | // in DeclarationNode.cc
|
---|
480 | void buildList( const DeclarationNode * firstNode, std::vector<ast::ptr<ast::Decl>> & outputList );
|
---|
481 | void buildList( const DeclarationNode * firstNode, std::vector<ast::ptr<ast::DeclWithType>> & outputList );
|
---|
482 | void buildTypeList( const DeclarationNode * firstNode, std::vector<ast::ptr<ast::Type>> & outputList );
|
---|
483 |
|
---|
484 | template<typename AstType, typename NodeType,
|
---|
485 | template<typename, typename...> class Container, typename... Args>
|
---|
486 | void buildMoveList( const NodeType * firstNode,
|
---|
487 | Container<ast::ptr<AstType>, Args...> & output ) {
|
---|
488 | buildList<AstType, NodeType, Container, Args...>( firstNode, output );
|
---|
489 | delete firstNode;
|
---|
490 | }
|
---|
491 |
|
---|
492 | // in ParseNode.cc
|
---|
493 | std::ostream & operator<<( std::ostream & out, const ParseNode * node );
|
---|
494 |
|
---|
495 | // Local Variables: //
|
---|
496 | // tab-width: 4 //
|
---|
497 | // mode: c++ //
|
---|
498 | // compile-command: "make install" //
|
---|
499 | // End: //
|
---|