+private:
+ enum ScopeType
+ {
+ GLOBAL,
+ STRUCT,
+ INTERFACE_BLOCK,
+ FUNCTION_PARAM,
+ FUNCTION
+ };
+
+ ScopeType scope;
+ InterfaceLayout *iface_layout;
+ InterfaceBlock *iface_block;
+ VariableDeclaration *variable;
+
+public:
+ DeclarationValidator();
+
+ void apply(Stage &s) { stage = &s; s.content.visit(*this); }
+
+private:
+ static const char *describe_variable(ScopeType);
+
+ virtual void visit(Layout &);
+ virtual void visit(InterfaceLayout &);
+ virtual void visit(BasicTypeDeclaration &);
+ virtual void visit(ImageTypeDeclaration &);
+ virtual void visit(StructDeclaration &);
+ virtual void visit(VariableDeclaration &);
+ virtual void visit(InterfaceBlock &);
+ virtual void visit(FunctionDeclaration &);
+};
+
+class IdentifierValidator: private Validator
+{