Validator();
- void diagnose(Statement *, Diagnostic::Severity, const std::string &);
- void error(Statement *s, const std::string &m) { diagnose(s, Diagnostic::ERR, m); }
+ void diagnose(Node &, Diagnostic::Severity, const std::string &);
+ void error(Node &n, const std::string &m) { diagnose(n, Diagnostic::ERR, m); }
+};
+
+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
typedef std::map<std::string, Statement *> BlockDeclarationMap;
std::map<Block *, BlockDeclarationMap> declarations;
+ std::map<std::string, InterfaceBlock *> interface_blocks;
bool anonymous_block;
public:
void apply(Stage &s) { stage = &s; s.content.visit(*this); }
private:
+ void multiple_definition(const std::string &, Statement &, Statement &);
Statement *find_definition(const std::string &);
void check_definition(const std::string &, Statement &);
+ void record_definition(const std::string &, Statement &);
+ virtual void visit(TypeDeclaration &);
+ virtual void visit(BasicTypeDeclaration &t) { visit(static_cast<TypeDeclaration &>(t)); }
+ virtual void visit(ImageTypeDeclaration &t) { visit(static_cast<TypeDeclaration &>(t)); }
+ virtual void visit(StructDeclaration &);
virtual void visit(VariableDeclaration &);
virtual void visit(InterfaceBlock &);
virtual void visit(FunctionDeclaration &);
};
+class ReferenceValidator: private Validator
+{
+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(InterfaceBlockReference &);
+ virtual void visit(VariableDeclaration &);
+ virtual void visit(FunctionDeclaration &);
+};
+
+class ExpressionValidator: private Validator
+{
+public:
+ void apply(Stage &s) { stage = &s; s.content.visit(*this); }
+
+private:
+ virtual void visit(UnaryExpression &);
+ virtual void visit(BinaryExpression &);
+ virtual void visit(Assignment &);
+ virtual void visit(VariableDeclaration &);
+};
+
} // namespace SL
} // namespace GL
} // namespace Msp