1 #ifndef MSP_GL_SL_VALIDATE_H_
2 #define MSP_GL_SL_VALIDATE_H_
6 #include "glsl_error.h"
13 class Validator: protected TraversingVisitor
21 void diagnose(Node &, Node &, Diagnostic::Severity, const std::string &);
22 void diagnose(Node &n, Diagnostic::Severity s, const std::string &m) { diagnose(n, n, s, m); }
23 void error(Node &n, const std::string &m) { diagnose(n, Diagnostic::ERR, m); }
24 void add_info(Node &, const std::string &);
27 class TypeValidator: private Validator
35 void apply(Stage &s) { stage = &s; s.content.visit(*this); }
38 virtual void visit(BasicTypeDeclaration &);
39 virtual void visit(ImageTypeDeclaration &);
40 virtual void visit(StructDeclaration &);
41 virtual void visit(VariableDeclaration &);
44 class DeclarationValidator: private Validator
47 typedef std::map<std::string, Statement *> BlockDeclarationMap;
49 std::map<Block *, BlockDeclarationMap> declarations;
50 std::map<std::string, InterfaceBlock *> interface_blocks;
54 DeclarationValidator();
56 void apply(Stage &s) { stage = &s; s.content.visit(*this); }
59 void multiple_definition(const std::string &, Statement &, Statement &);
60 Statement *find_definition(const std::string &);
61 void check_definition(const std::string &, Statement &);
62 void record_definition(const std::string &, Statement &);
64 virtual void visit(TypeDeclaration &);
65 virtual void visit(BasicTypeDeclaration &t) { visit(static_cast<TypeDeclaration &>(t)); }
66 virtual void visit(ImageTypeDeclaration &t) { visit(static_cast<TypeDeclaration &>(t)); }
67 virtual void visit(StructDeclaration &);
68 virtual void visit(VariableDeclaration &);
69 virtual void visit(InterfaceBlock &);
70 virtual void visit(FunctionDeclaration &);
73 class ReferenceValidator: private Validator
76 void apply(Stage &s) { stage = &s; s.content.visit(*this); }
79 virtual void visit(BasicTypeDeclaration &);
80 virtual void visit(ImageTypeDeclaration &);
81 virtual void visit(VariableReference &);
82 virtual void visit(MemberAccess &);
83 virtual void visit(InterfaceBlockReference &);
84 virtual void visit(VariableDeclaration &);
85 virtual void visit(InterfaceBlock &);
86 virtual void visit(FunctionDeclaration &);
89 class ExpressionValidator: private Validator
92 void apply(Stage &s) { stage = &s; s.content.visit(*this); }
95 virtual void visit(Swizzle &);
96 virtual void visit(UnaryExpression &);
97 virtual void visit(BinaryExpression &);
98 virtual void visit(Assignment &);
99 virtual void visit(VariableDeclaration &);