X-Git-Url: http://git.tdb.fi/?a=blobdiff_plain;f=source%2Fglsl%2Fvalidate.h;h=bafa550bd480d2f32ccbac2652e57bbafaac2a80;hb=3a1fe83;hp=bf2677e8d1cd993f67a5fa1936c4aeb37c0f32f1;hpb=9bec9da4ec633a541cf6048beed99629fefae2b9;p=libs%2Fgl.git diff --git a/source/glsl/validate.h b/source/glsl/validate.h index bf2677e8..bafa550b 100644 --- a/source/glsl/validate.h +++ b/source/glsl/validate.h @@ -14,11 +14,31 @@ class Validator: protected TraversingVisitor { protected: Stage *stage; + Node *last_provoker; Validator(); - void diagnose(Node &, Diagnostic::Severity, const std::string &); + void diagnose(Node &, Node &, Diagnostic::Severity, const std::string &); + void diagnose(Node &n, Diagnostic::Severity s, const std::string &m) { diagnose(n, n, s, m); } void error(Node &n, const std::string &m) { diagnose(n, Diagnostic::ERR, m); } + void add_info(Node &, const std::string &); +}; + +class TypeValidator: private Validator +{ +private: + bool in_struct; + +public: + TypeValidator(); + + void apply(Stage &s) { stage = &s; s.content.visit(*this); } + +private: + virtual void visit(BasicTypeDeclaration &); + virtual void visit(ImageTypeDeclaration &); + virtual void visit(StructDeclaration &); + virtual void visit(VariableDeclaration &); }; class DeclarationValidator: private Validator @@ -28,6 +48,7 @@ private: std::map declarations; std::map interface_blocks; + std::map overloaded_functions; bool anonymous_block; public: @@ -56,8 +77,28 @@ public: void apply(Stage &s) { stage = &s; s.content.visit(*this); } private: + virtual void visit(BasicTypeDeclaration &); + virtual void visit(ImageTypeDeclaration &); virtual void visit(VariableReference &); + virtual void visit(MemberAccess &); virtual void visit(InterfaceBlockReference &); + virtual void visit(FunctionCall &); + virtual void visit(VariableDeclaration &); + virtual void visit(InterfaceBlock &); + virtual void visit(FunctionDeclaration &); +}; + +class ExpressionValidator: private Validator +{ +public: + void apply(Stage &s) { stage = &s; s.content.visit(*this); } + +private: + virtual void visit(Swizzle &); + virtual void visit(UnaryExpression &); + virtual void visit(BinaryExpression &); + virtual void visit(Assignment &); + virtual void visit(TernaryExpression &); virtual void visit(VariableDeclaration &); };