| [0dd3a2f] | 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 | // | 
|---|
| [71f4e4f] | 7 | // Visitor.h -- | 
|---|
| [0dd3a2f] | 8 | // | 
|---|
|  | 9 | // Author           : Richard C. Bilson | 
|---|
|  | 10 | // Created On       : Mon May 18 07:44:20 2015 | 
|---|
| [a5f0529] | 11 | // Last Modified By : Andrew Beach | 
|---|
|  | 12 | // Last Modified On : Mon Jul 24 16:28:00 2017 | 
|---|
|  | 13 | // Update Count     : 13 | 
|---|
| [0dd3a2f] | 14 | // | 
|---|
|  | 15 |  | 
|---|
| [6b0b624] | 16 | #pragma once | 
|---|
| [51b73452] | 17 |  | 
|---|
| [ea6332d] | 18 | #include "Common/SemanticError.h"  // for SemanticError | 
|---|
|  | 19 | #include "SynTree.h"               // for AST nodes | 
|---|
| [51b73452] | 20 |  | 
|---|
| [d9a0e76] | 21 | class Visitor { | 
|---|
|  | 22 | protected: | 
|---|
| [0dd3a2f] | 23 | Visitor(); | 
|---|
|  | 24 | virtual ~Visitor(); | 
|---|
| [d9a0e76] | 25 | public: | 
|---|
| [dba6db9] | 26 | // visit: Default implementation of all functions visits the children | 
|---|
| [8b11840] | 27 | // of the given syntax node, but performs no other action. | 
|---|
| [dba6db9] | 28 |  | 
|---|
| [5ea7a22] | 29 | virtual void visit( ObjectDecl * objectDecl ); | 
|---|
|  | 30 | virtual void visit( FunctionDecl * functionDecl ); | 
|---|
|  | 31 | virtual void visit( StructDecl * aggregateDecl ); | 
|---|
|  | 32 | virtual void visit( UnionDecl * aggregateDecl ); | 
|---|
|  | 33 | virtual void visit( EnumDecl * aggregateDecl ); | 
|---|
|  | 34 | virtual void visit( TraitDecl * aggregateDecl ); | 
|---|
|  | 35 | virtual void visit( TypeDecl * typeDecl ); | 
|---|
|  | 36 | virtual void visit( TypedefDecl * typeDecl ); | 
|---|
|  | 37 | virtual void visit( AsmDecl * asmDecl ); | 
|---|
| [0dd3a2f] | 38 |  | 
|---|
| [5ea7a22] | 39 | virtual void visit( CompoundStmt * compoundStmt ); | 
|---|
|  | 40 | virtual void visit( ExprStmt * exprStmt ); | 
|---|
|  | 41 | virtual void visit( AsmStmt * asmStmt ); | 
|---|
|  | 42 | virtual void visit( IfStmt * ifStmt ); | 
|---|
|  | 43 | virtual void visit( WhileStmt * whileStmt ); | 
|---|
|  | 44 | virtual void visit( ForStmt * forStmt ); | 
|---|
|  | 45 | virtual void visit( SwitchStmt * switchStmt ); | 
|---|
|  | 46 | virtual void visit( CaseStmt * caseStmt ); | 
|---|
|  | 47 | virtual void visit( BranchStmt * branchStmt ); | 
|---|
|  | 48 | virtual void visit( ReturnStmt * returnStmt ); | 
|---|
|  | 49 | virtual void visit( ThrowStmt * throwStmt ); | 
|---|
|  | 50 | virtual void visit( TryStmt * tryStmt ); | 
|---|
|  | 51 | virtual void visit( CatchStmt * catchStmt ); | 
|---|
|  | 52 | virtual void visit( FinallyStmt * finallyStmt ); | 
|---|
|  | 53 | virtual void visit( WaitForStmt * waitforStmt ); | 
|---|
| [61255ad] | 54 | virtual void visit( WithStmt * withStmt ); | 
|---|
| [5ea7a22] | 55 | virtual void visit( NullStmt * nullStmt ); | 
|---|
|  | 56 | virtual void visit( DeclStmt * declStmt ); | 
|---|
|  | 57 | virtual void visit( ImplicitCtorDtorStmt * impCtorDtorStmt ); | 
|---|
| [0dd3a2f] | 58 |  | 
|---|
| [5ea7a22] | 59 | virtual void visit( ApplicationExpr * applicationExpr ); | 
|---|
|  | 60 | virtual void visit( UntypedExpr * untypedExpr ); | 
|---|
|  | 61 | virtual void visit( NameExpr * nameExpr ); | 
|---|
|  | 62 | virtual void visit( CastExpr * castExpr ); | 
|---|
|  | 63 | virtual void visit( VirtualCastExpr * castExpr ); | 
|---|
|  | 64 | virtual void visit( AddressExpr * addressExpr ); | 
|---|
|  | 65 | virtual void visit( LabelAddressExpr * labAddressExpr ); | 
|---|
|  | 66 | virtual void visit( UntypedMemberExpr * memberExpr ); | 
|---|
|  | 67 | virtual void visit( MemberExpr * memberExpr ); | 
|---|
|  | 68 | virtual void visit( VariableExpr * variableExpr ); | 
|---|
|  | 69 | virtual void visit( ConstantExpr * constantExpr ); | 
|---|
|  | 70 | virtual void visit( SizeofExpr * sizeofExpr ); | 
|---|
|  | 71 | virtual void visit( AlignofExpr * alignofExpr ); | 
|---|
|  | 72 | virtual void visit( UntypedOffsetofExpr * offsetofExpr ); | 
|---|
|  | 73 | virtual void visit( OffsetofExpr * offsetofExpr ); | 
|---|
|  | 74 | virtual void visit( OffsetPackExpr * offsetPackExpr ); | 
|---|
|  | 75 | virtual void visit( AttrExpr * attrExpr ); | 
|---|
|  | 76 | virtual void visit( LogicalExpr * logicalExpr ); | 
|---|
|  | 77 | virtual void visit( ConditionalExpr * conditionalExpr ); | 
|---|
|  | 78 | virtual void visit( CommaExpr * commaExpr ); | 
|---|
|  | 79 | virtual void visit( TypeExpr * typeExpr ); | 
|---|
|  | 80 | virtual void visit( AsmExpr * asmExpr ); | 
|---|
|  | 81 | virtual void visit( ImplicitCopyCtorExpr * impCpCtorExpr ); | 
|---|
|  | 82 | virtual void visit( ConstructorExpr *  ctorExpr ); | 
|---|
|  | 83 | virtual void visit( CompoundLiteralExpr * compLitExpr ); | 
|---|
|  | 84 | virtual void visit( RangeExpr * rangeExpr ); | 
|---|
|  | 85 | virtual void visit( UntypedTupleExpr * tupleExpr ); | 
|---|
|  | 86 | virtual void visit( TupleExpr * tupleExpr ); | 
|---|
|  | 87 | virtual void visit( TupleIndexExpr * tupleExpr ); | 
|---|
|  | 88 | virtual void visit( TupleAssignExpr * assignExpr ); | 
|---|
|  | 89 | virtual void visit( StmtExpr *  stmtExpr ); | 
|---|
|  | 90 | virtual void visit( UniqueExpr *  uniqueExpr ); | 
|---|
|  | 91 | virtual void visit( UntypedInitExpr *  initExpr ); | 
|---|
|  | 92 | virtual void visit( InitExpr *  initExpr ); | 
|---|
| [0dd3a2f] | 93 |  | 
|---|
| [5ea7a22] | 94 | virtual void visit( VoidType * basicType ); | 
|---|
|  | 95 | virtual void visit( BasicType * basicType ); | 
|---|
|  | 96 | virtual void visit( PointerType * pointerType ); | 
|---|
|  | 97 | virtual void visit( ArrayType * arrayType ); | 
|---|
|  | 98 | virtual void visit( ReferenceType * refType ); | 
|---|
|  | 99 | virtual void visit( FunctionType * functionType ); | 
|---|
|  | 100 | virtual void visit( StructInstType * aggregateUseType ); | 
|---|
|  | 101 | virtual void visit( UnionInstType * aggregateUseType ); | 
|---|
|  | 102 | virtual void visit( EnumInstType * aggregateUseType ); | 
|---|
|  | 103 | virtual void visit( TraitInstType * aggregateUseType ); | 
|---|
|  | 104 | virtual void visit( TypeInstType * aggregateUseType ); | 
|---|
|  | 105 | virtual void visit( TupleType * tupleType ); | 
|---|
|  | 106 | virtual void visit( TypeofType * typeofType ); | 
|---|
|  | 107 | virtual void visit( AttrType * attrType ); | 
|---|
|  | 108 | virtual void visit( VarArgsType * varArgsType ); | 
|---|
|  | 109 | virtual void visit( ZeroType * zeroType ); | 
|---|
|  | 110 | virtual void visit( OneType * oneType ); | 
|---|
| [0dd3a2f] | 111 |  | 
|---|
| [5ea7a22] | 112 | virtual void visit( Designation * designation ); | 
|---|
|  | 113 | virtual void visit( SingleInit * singleInit ); | 
|---|
|  | 114 | virtual void visit( ListInit * listInit ); | 
|---|
|  | 115 | virtual void visit( ConstructorInit * ctorInit ); | 
|---|
| [0dd3a2f] | 116 |  | 
|---|
| [5ea7a22] | 117 | virtual void visit( Subrange * subrange ); | 
|---|
| [0dd3a2f] | 118 |  | 
|---|
| [5ea7a22] | 119 | virtual void visit( Constant * constant ); | 
|---|
|  | 120 |  | 
|---|
|  | 121 | virtual void visit( Attribute * attribute ); | 
|---|
| [d9a0e76] | 122 | private: | 
|---|
| [1e1e15b] | 123 | virtual void handleAggregateDecl( AggregateDecl *aggregateDecl ); | 
|---|
|  | 124 | virtual void handleNamedTypeDecl( NamedTypeDecl *typeDecl ); | 
|---|
|  | 125 | virtual void handleReferenceToType( ReferenceToType *aggregateUseType ); | 
|---|
| [51b73452] | 126 | }; | 
|---|
|  | 127 |  | 
|---|
|  | 128 | template< typename TreeType, typename VisitorType > | 
|---|
| [d9a0e76] | 129 | inline void maybeAccept( TreeType *tree, VisitorType &visitor ) { | 
|---|
| [0dd3a2f] | 130 | if ( tree ) { | 
|---|
|  | 131 | tree->accept( visitor ); | 
|---|
|  | 132 | } | 
|---|
| [51b73452] | 133 | } | 
|---|
|  | 134 |  | 
|---|
|  | 135 | template< typename Container, typename VisitorType > | 
|---|
| [d9a0e76] | 136 | inline void acceptAll( Container &container, VisitorType &visitor ) { | 
|---|
| [0dd3a2f] | 137 | SemanticError errors; | 
|---|
|  | 138 | for ( typename Container::iterator i = container.begin(); i != container.end(); ++i ) { | 
|---|
|  | 139 | try { | 
|---|
|  | 140 | if ( *i ) { | 
|---|
|  | 141 | (*i)->accept( visitor ); | 
|---|
|  | 142 | } | 
|---|
|  | 143 | } catch( SemanticError &e ) { | 
|---|
| [138e29e] | 144 | e.set_location( (*i)->location ); | 
|---|
| [0dd3a2f] | 145 | errors.append( e ); | 
|---|
|  | 146 | } | 
|---|
|  | 147 | } | 
|---|
|  | 148 | if ( ! errors.isEmpty() ) { | 
|---|
|  | 149 | throw errors; | 
|---|
| [51b73452] | 150 | } | 
|---|
|  | 151 | } | 
|---|
|  | 152 |  | 
|---|
| [0dd3a2f] | 153 | // Local Variables: // | 
|---|
|  | 154 | // tab-width: 4 // | 
|---|
|  | 155 | // mode: c++ // | 
|---|
|  | 156 | // compile-command: "make install" // | 
|---|
|  | 157 | // End: // | 
|---|