1 #ifndef MSP_GL_PROGRAMSYNTAX_H_
2 #define MSP_GL_PROGRAMSYNTAX_H_
11 namespace ProgramSyntax {
18 Node &operator=(const Node &);
22 virtual Node *clone() const = 0;
23 virtual void visit(NodeVisitor &) = 0;
33 NodePtr(T *n = 0): node(n) { }
34 NodePtr(const NodePtr &p): node(clone(p.node)) { }
35 NodePtr &operator=(const NodePtr &p) { delete node; node = clone(p.node); return *this; }
36 #if __cplusplus>=201103L
37 NodePtr(NodePtr &&p): node(p.node) { p.node = 0; }
38 NodePtr &operator=(NodePtr &&p) { delete node; node = p.node; p.node = 0; return *this; }
40 ~NodePtr() { delete node; }
43 static T *clone(T *n) { return n ? n->clone() : 0; }
46 T *operator->() { return node; }
47 const T *operator->() const { return node; }
48 T &operator*() { return *node; }
49 const T &operator*() const { return *node; }
50 operator void *() const { return node; }
53 struct StructDeclaration;
54 struct VariableDeclaration;
58 std::list<NodePtr<Node> > body;
60 std::map<std::string, StructDeclaration *> types;
61 std::map<std::string, VariableDeclaration *> variables;
65 virtual Block *clone() const { return new Block(*this); }
66 virtual void visit(NodeVisitor &);
69 struct Expression: Node
71 virtual Expression *clone() const = 0;
74 struct Literal: Expression
78 virtual Literal *clone() const { return new Literal(*this); }
79 virtual void visit(NodeVisitor &);
82 struct ParenthesizedExpression: Expression
84 NodePtr<Expression> expression;
86 virtual ParenthesizedExpression *clone() const { return new ParenthesizedExpression(*this); }
87 virtual void visit(NodeVisitor &);
90 struct VariableReference: Expression
93 VariableDeclaration *declaration;
97 virtual VariableReference *clone() const { return new VariableReference(*this); }
98 virtual void visit(NodeVisitor &);
101 struct MemberAccess: Expression
103 NodePtr<Expression> left;
105 VariableDeclaration *declaration;
107 virtual MemberAccess *clone() const { return new MemberAccess(*this); }
108 virtual void visit(NodeVisitor &);
111 struct UnaryExpression: Expression
114 NodePtr<Expression> expression;
119 virtual UnaryExpression *clone() const { return new UnaryExpression(*this); }
120 virtual void visit(NodeVisitor &);
123 struct BinaryExpression: Expression
125 NodePtr<Expression> left;
127 NodePtr<Expression> right;
130 virtual BinaryExpression *clone() const { return new BinaryExpression(*this); }
131 virtual void visit(NodeVisitor &);
134 struct Assignment: BinaryExpression
136 bool self_referencing;
137 VariableDeclaration *target_declaration;
141 virtual Assignment *clone() const { return new Assignment(*this); }
142 virtual void visit(NodeVisitor &);
145 struct FunctionCall: Expression
149 std::vector<NodePtr<Expression> > arguments;
153 virtual FunctionCall *clone() const { return new FunctionCall(*this); }
154 virtual void visit(NodeVisitor &);
157 struct ExpressionStatement: Node
159 NodePtr<Expression> expression;
161 virtual ExpressionStatement *clone() const { return new ExpressionStatement(*this); }
162 virtual void visit(NodeVisitor &);
169 virtual Import *clone() const { return new Import(*this); }
170 virtual void visit(NodeVisitor &);
177 std::string identifier;
181 std::vector<Qualifier> qualifiers;
182 std::string interface;
184 virtual Layout *clone() const { return new Layout(*this); }
185 virtual void visit(NodeVisitor &);
188 struct StructDeclaration: Node
195 virtual StructDeclaration *clone() const { return new StructDeclaration(*this); }
196 virtual void visit(NodeVisitor &);
199 struct VariableDeclaration: Node
202 std::string sampling;
203 std::string interface;
205 StructDeclaration *type_declaration;
208 NodePtr<Expression> array_size;
209 NodePtr<Expression> init_expression;
210 VariableDeclaration *linked_declaration;
212 VariableDeclaration();
214 virtual VariableDeclaration *clone() const { return new VariableDeclaration(*this); }
215 virtual void visit(NodeVisitor &);
218 struct InterfaceBlock: Node
220 std::string interface;
223 std::string instance_name;
228 virtual InterfaceBlock *clone() const { return new InterfaceBlock(*this); }
229 virtual void visit(NodeVisitor &);
232 struct FunctionDeclaration: Node
234 std::string return_type;
236 std::vector<NodePtr<VariableDeclaration> > parameters;
237 FunctionDeclaration *definition;
240 FunctionDeclaration();
241 FunctionDeclaration(const FunctionDeclaration &);
243 virtual FunctionDeclaration *clone() const { return new FunctionDeclaration(*this); }
244 virtual void visit(NodeVisitor &);
247 struct Conditional: Node
249 NodePtr<Expression> condition;
253 virtual Conditional *clone() const { return new Conditional(*this); }
254 virtual void visit(NodeVisitor &);
257 struct Iteration: Node
259 NodePtr<Node> init_statement;
260 NodePtr<Expression> condition;
261 NodePtr<Expression> loop_expression;
264 virtual Iteration *clone() const { return new Iteration(*this); }
265 virtual void visit(NodeVisitor &);
268 struct Passthrough: Node
270 NodePtr<Expression> subscript;
272 virtual Passthrough *clone() const { return new Passthrough(*this); }
273 virtual void visit(NodeVisitor &);
278 NodePtr<Expression> expression;
280 virtual Return *clone() const { return new Return(*this); }
281 virtual void visit(NodeVisitor &);
286 virtual ~NodeVisitor() { }
288 virtual void visit(Block &) { }
289 virtual void visit(Literal &) { }
290 virtual void visit(ParenthesizedExpression &) { }
291 virtual void visit(VariableReference &) { }
292 virtual void visit(MemberAccess &) { }
293 virtual void visit(UnaryExpression &) { }
294 virtual void visit(BinaryExpression &) { }
295 virtual void visit(Assignment &);
296 virtual void visit(FunctionCall &) { }
297 virtual void visit(ExpressionStatement &) { }
298 virtual void visit(Import &) { }
299 virtual void visit(Layout &) { }
300 virtual void visit(StructDeclaration &) { }
301 virtual void visit(VariableDeclaration &) { }
302 virtual void visit(InterfaceBlock &) { }
303 virtual void visit(FunctionDeclaration &) { }
304 virtual void visit(Conditional &) { }
305 virtual void visit(Iteration &) { }
306 virtual void visit(Passthrough &) { }
307 virtual void visit(Return &) { }
310 struct TraversingVisitor: NodeVisitor
312 virtual void visit(Block &);
313 virtual void visit(ParenthesizedExpression &);
314 virtual void visit(MemberAccess &);
315 virtual void visit(UnaryExpression &);
316 virtual void visit(BinaryExpression &);
317 virtual void visit(FunctionCall &);
318 virtual void visit(ExpressionStatement &);
319 virtual void visit(StructDeclaration &);
320 virtual void visit(VariableDeclaration &);
321 virtual void visit(InterfaceBlock &);
322 virtual void visit(FunctionDeclaration &);
323 virtual void visit(Conditional &);
324 virtual void visit(Iteration &);
325 virtual void visit(Passthrough &);
326 virtual void visit(Return &);
341 ProgramSyntax::Block content;
342 std::map<std::string, VariableDeclaration *> in_variables;
343 std::map<std::string, VariableDeclaration *> out_variables;
351 std::list<Stage> stages;
356 } // namespace ProgramSyntax