1
2
3
4
5
6 #ifndef CMAJOR_SYMBOLS_SYMBOL_CREATOR_VISITOR_INCLUDED
7 #define CMAJOR_SYMBOLS_SYMBOL_CREATOR_VISITOR_INCLUDED
8 #include <cmajor/symbols/SymbolsApi.hpp>
9 #include <sngcm/ast/Visitor.hpp>
10 #include <sngcm/ast/BasicType.hpp>
11 #include <sngcm/ast/TypeExpr.hpp>
12 #include <sngcm/ast/Comment.hpp>
13 #include <stack>
14 #include <stdint.h>
15
16 namespace cmajor { namespace symbols {
17
18 using namespace sngcm::ast;
19
20 class SymbolTable;
21 class ClassTemplateSpecializationSymbol;
22 class Source;
23
24 class SymbolCreatorVisitor : public Visitor
25 {
26 public:
27 SymbolCreatorVisitor(SymbolTable& symbolTable_);
28 void SetClassInstanceNode(ClassNode* classInstanceNode_);
29 void SetClassTemplateSpecialization(ClassTemplateSpecializationSymbol* classTemplateSpecialization_);
30 void Visit(CompileUnitNode& compileUnitNode) override;
31 void Visit(NamespaceNode& namespaceNode) override;
32 void Visit(AliasNode& aliasNode) override;
33 void Visit(NamespaceImportNode& namespaceImportNode) override;
34 void Visit(IdentifierNode& identifierNode) override;
35 void Visit(CursorIdNode& cursorIdNode) override;
36 void Visit(TemplateIdNode& templateIdNode) override;
37 void Visit(FunctionNode& functionNode) override;
38 void Visit(FunctionPtrNode& functionPtrNode) override;
39 void Visit(ClassNode& classNode) override;
40 void Visit(ThisInitializerNode& thisInitializerNode) override;
41 void Visit(BaseInitializerNode& baseInitializerNode) override;
42 void Visit(MemberInitializerNode& memberInitializerNode) override;
43 void Visit(StaticConstructorNode& staticConstructorNode) override;
44 void Visit(ConstructorNode& constructorNode) override;
45 void Visit(DestructorNode& destructorNode) override;
46 void Visit(MemberFunctionNode& memberFunctionNode) override;
47 void Visit(ConversionFunctionNode& conversionFunctionNode) override;
48 void Visit(MemberVariableNode& memberVariableNode) override;
49 void Visit(InterfaceNode& interfaceNode) override;
50 void Visit(DelegateNode& delegateNode) override;
51 void Visit(ClassDelegateNode& classDelegateNode) override;
52 void Visit(ParenthesizedConstraintNode& parenthesizedConstraintNode) override;
53 void Visit(DisjunctiveConstraintNode& disjunctiveConstraintNode) override;
54 void Visit(ConjunctiveConstraintNode& conjunctiveConstraintNode) override;
55 void Visit(WhereConstraintNode& whereConstraintNode) override;
56 void Visit(PredicateConstraintNode& predicateConstraintNode) override;
57 void Visit(IsConstraintNode& isConstraintNode) override;
58 void Visit(MultiParamConstraintNode& multiParamConstraintNode) override;
59 void Visit(TypeNameConstraintNode& typeNameConstraintNode) override;
60 void Visit(ConstructorConstraintNode& constructorConstraintNode) override;
61 void Visit(DestructorConstraintNode& destructorConstraintNode) override;
62 void Visit(MemberFunctionConstraintNode& memberFunctionConstraintNode) override;
63 void Visit(FunctionConstraintNode& functionConstraintNode) override;
64 void Visit(AxiomStatementNode& axiomStatementNode) override;
65 void Visit(AxiomNode& axiomNode) override;
66 void Visit(ConceptIdNode& conceptIdNode) override;
67 void Visit(SameConstraintNode& sameConstraintNode) override;
68 void Visit(DerivedConstraintNode& derivedConstraintNode) override;
69 void Visit(ConvertibleConstraintNode& convertibleConstraintNode) override;
70 void Visit(ExplicitlyConvertibleConstraintNode& explicitlyConvertibleConstraintNode) override;
71 void Visit(CommonConstraintNode& commonConstraintNode) override;
72 void Visit(NonreferenceTypeConstraintNode& nonreferenceTypeConstraintNode) override;
73 void Visit(ConceptNode& conceptNode) override;
74 void Visit(LabelNode& labelNode) override;
75 void Visit(LabeledStatementNode& labeledStatementNode) override;
76 void Visit(CompoundStatementNode& compoundStatementNode) override;
77 void Visit(ReturnStatementNode& returnStatementNode) override;
78 void Visit(IfStatementNode& ifStatementNode) override;
79 void Visit(WhileStatementNode& whileStatementNode) override;
80 void Visit(DoStatementNode& doStatementNode) override;
81 void Visit(ForStatementNode& forStatementNode) override;
82 void Visit(BreakStatementNode& breakStatementNode) override;
83 void Visit(ContinueStatementNode& continueStatementNode) override;
84 void Visit(GotoStatementNode& gotoStatementNode) override;
85 void Visit(ConstructionStatementNode& constructionStatementNode) override;
86 void Visit(DeleteStatementNode& deleteStatementNode) override;
87 void Visit(DestroyStatementNode& destroyStatementNode) override;
88 void Visit(AssignmentStatementNode& assignmentStatementNode) override;
89 void Visit(ExpressionStatementNode& expressionStatementNode) override;
90 void Visit(EmptyStatementNode& emptyStatementNode) override;
91 void Visit(RangeForStatementNode& rangeForStatementNode) override;
92 void Visit(SwitchStatementNode& switchStatementNode) override;
93 void Visit(CaseStatementNode& caseStatementNode) override;
94 void Visit(DefaultStatementNode& defaultStatementNode) override;
95 void Visit(GotoCaseStatementNode& gotoCaseStatementNode) override;
96 void Visit(GotoDefaultStatementNode& gotoDefaultStatementNode) override;
97 void Visit(ThrowStatementNode& throwStatementNode) override;
98 void Visit(TryStatementNode& tryStatementNode) override;
99 void Visit(CatchNode& catchNode) override;
100 void Visit(AssertStatementNode& assertStatementNode) override;
101 void Visit(ConditionalCompilationPartNode& conditionalCompilationPartNode) override;
102 void Visit(ConditionalCompilationDisjunctionNode& conditionalCompilationDisjunctionNode) override;
103 void Visit(ConditionalCompilationConjunctionNode& conditionalCompilationConjunctionNode) override;
104 void Visit(ConditionalCompilationNotNode& conditionalCompilationNotNode) override;
105 void Visit(ConditionalCompilationPrimaryNode& conditionalCompilationPrimaryNode) override;
106 void Visit(ConditionalCompilationStatementNode& conditionalCompilationStatementNode) override;
107 void Visit(TypedefNode& typedefNode) override;
108 void Visit(ConstantNode& constantNode) override;
109 void Visit(EnumTypeNode& enumTypeNode) override;
110 void Visit(EnumConstantNode& enumConstantNode) override;
111 void Visit(GlobalVariableNode& globalVariableNode) override;
112 void Visit(ParameterNode& parameterNode) override;
113 void Visit(TemplateParameterNode& templateParameterNode) override;
114 void Visit(ConstNode& constNode) override;
115 void Visit(LValueRefNode& lvalueRefNode) override;
116 void Visit(RValueRefNode& rvalueRefNode) override;
117 void Visit(PointerNode& pointerNode) override;
118 void Visit(ArrayNode& arrayNode) override;
119 void Visit(DotNode& dotNode) override;
120 void Visit(ArrowNode& arrowNode) override;
121 void Visit(EquivalenceNode& equivalenceNode) override;
122 void Visit(ImplicationNode& implicationNode) override;
123 void Visit(DisjunctionNode& disjunctionNode) override;
124 void Visit(ConjunctionNode& conjunctionNode) override;
125 void Visit(BitOrNode& bitOrNode) override;
126 void Visit(BitXorNode& bitXorNode) override;
127 void Visit(BitAndNode& bitAndNode) override;
128 void Visit(EqualNode& equalNode) override;
129 void Visit(NotEqualNode& notEqualNode) override;
130 void Visit(LessNode& lessNode) override;
131 void Visit(GreaterNode& greaterNode) override;
132 void Visit(LessOrEqualNode& lessOrEqualNode) override;
133 void Visit(GreaterOrEqualNode& greaterOrEqualNode) override;
134 void Visit(ShiftLeftNode& shiftLeftNode) override;
135 void Visit(ShiftRightNode& shiftRightNode) override;
136 void Visit(AddNode& addNode) override;
137 void Visit(SubNode& subNode) override;
138 void Visit(MulNode& mulNode) override;
139 void Visit(DivNode& divNode) override;
140 void Visit(RemNode& remNode) override;
141 void Visit(NotNode& notNode) override;
142 void Visit(UnaryPlusNode& unaryPlusNode) override;
143 void Visit(UnaryMinusNode& unaryMinusNode) override;
144 void Visit(PrefixIncrementNode& prefixIncrementNode) override;
145 void Visit(PrefixDecrementNode& prefixDecrementNode) override;
146 void Visit(DerefNode& derefNode) override;
147 void Visit(AddrOfNode& addrOfNode) override;
148 void Visit(ComplementNode& complementNode) override;
149 void Visit(IsNode& isNode) override;
150 void Visit(AsNode& asNode) override;
151 void Visit(IndexingNode& indexingNode) override;
152 void Visit(InvokeNode& invokeNode) override;
153 void Visit(PostfixIncrementNode& postfixIncrementNode) override;
154 void Visit(PostfixDecrementNode& postfixDecrementNode) override;
155 void Visit(SizeOfNode& sizeOfNode) override;
156 void Visit(TypeNameNode& typeNameNode) override;
157 void Visit(TypeIdNode& typeIdNode) override;
158 void Visit(CastNode& castNode) override;
159 void Visit(ConstructNode& constructNode) override;
160 void Visit(NewNode& newNode) override;
161 void Visit(ThisNode& thisNode) override;
162 void Visit(BaseNode& baseNode) override;
163 void Visit(ParenthesizedExpressionNode& parenthesizedExpressionNode) override;
164 void Visit(CommentNode& commentNode) override;
165 void Visit(BoolNode& boolNode) override;
166 void Visit(SByteNode& sbyteNode) override;
167 void Visit(ByteNode& byteNode) override;
168 void Visit(ShortNode& shortNode) override;
169 void Visit(UShortNode& ushortNode) override;
170 void Visit(IntNode& intNode) override;
171 void Visit(UIntNode& uintNode) override;
172 void Visit(LongNode& longNode) override;
173 void Visit(ULongNode& ulongNode) override;
174 void Visit(FloatNode& floatNode) override;
175 void Visit(DoubleNode& doubleNode) override;
176 void Visit(CharNode& charNode) override;
177 void Visit(WCharNode& wcharNode) override;
178 void Visit(UCharNode& ucharNode) override;
179 void Visit(VoidNode& voidNode) override;
180
181 void Visit(BooleanLiteralNode& booleanLiteralNode) override;
182 void Visit(SByteLiteralNode& sbyteLiteralNode) override;
183 void Visit(ByteLiteralNode& byteLiteralNode) override;
184 void Visit(ShortLiteralNode& shortLiteralNode) override;
185 void Visit(UShortLiteralNode& ushortLiteralNode) override;
186 void Visit(IntLiteralNode& intLiteralNode) override;
187 void Visit(UIntLiteralNode& uintLiteralNode) override;
188 void Visit(LongLiteralNode& longLiteralNode) override;
189 void Visit(ULongLiteralNode& ulongLiteralNode) override;
190 void Visit(FloatLiteralNode& floatLiteralNode) override;
191 void Visit(DoubleLiteralNode& doubleLiteralNode) override;
192 void Visit(CharLiteralNode& charLiteralNode) override;
193 void Visit(WCharLiteralNode& wcharLiteralNode) override;
194 void Visit(UCharLiteralNode& ucharLiteralNode) override;
195 void Visit(StringLiteralNode& stringLiteralNode) override;
196 void Visit(WStringLiteralNode& wstringLiteralNode) override;
197 void Visit(UStringLiteralNode& ustringLiteralNode) override;
198 void Visit(NullLiteralNode& nullLiteralNode) override;
199 void Visit(ArrayLiteralNode& arrayLiteralNode) override;
200 void Visit(StructuredLiteralNode& structuredLiteralNode) override;
201 void Visit(UuidLiteralNode& uuidLiteralNode) override;
202
203 void SetLeaveFunction() { leaveFunction = true; }
204 void InsertTracer(CompoundStatementNode* body);
205 void SetEditMode() { editMode = true; }
206 void SetSource(Source* source_) { source = source_; }
207 const std::std::vector<std::string>&Errors() const{returnerrors;}
208 private:
209 SymbolTable& symbolTable;
210 ClassNode* classInstanceNode;
211 ClassTemplateSpecializationSymbol* classTemplateSpecialization;
212 std::stack<bool> conditionalCompilationStack;
213 Source* source;
214 int32_t functionIndex;
215 bool leaveFunction;
216 bool editMode;
217 int level;
218 std::vector<std::string> errors;
219 };
220
221 } }
222
223 #endif // CMAJOR_SYMBOLS_SYMBOL_CREATOR_VISITOR_INCLUDED