X-Git-Url: http://git.tdb.fi/?a=blobdiff_plain;f=source%2Fglsl%2Fvalidate.h;h=6cd5675a07f691f413c8786f2143fb5d2ebb3708;hb=7a62eb7f7550df161656616f2ece5a094b754392;hp=e4b9edae932cb7dc1e2382a7a9f089da99c8e846;hpb=7c7a32e0de7fd8c16c02190a7483a0c2411973c1;p=libs%2Fgl.git diff --git a/source/glsl/validate.h b/source/glsl/validate.h index e4b9edae..6cd5675a 100644 --- a/source/glsl/validate.h +++ b/source/glsl/validate.h @@ -14,11 +14,14 @@ 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 @@ -38,17 +41,18 @@ private: virtual void visit(VariableDeclaration &); }; -class DeclarationValidator: private Validator +class IdentifierValidator: private Validator { private: typedef std::map BlockDeclarationMap; std::map declarations; std::map interface_blocks; + std::map overloaded_functions; bool anonymous_block; public: - DeclarationValidator(); + IdentifierValidator(); void apply(Stage &s) { stage = &s; s.content.visit(*this); } @@ -76,7 +80,25 @@ 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 &); };