- virtual void visit(Block &);
- virtual void visit(InterfaceBlock &);
- using TraversingVisitor::visit;
+ virtual void visit(VariableDeclaration &);
+};
+
+/** Forms links between nested blocks in the syntax tree. */
+class BlockHierarchyResolver: private TraversingVisitor
+{
+public:
+ void apply(Stage &s) { s.content.visit(*this); }
+
+private:
+ virtual void enter(Block &);
+};
+
+/** Resolves types of variables and base types of other types. */
+class TypeResolver: private TraversingVisitor
+{
+private:
+ Stage *stage;
+ std::map<TypeDeclaration *, TypeDeclaration *> alias_map;
+
+public:
+ TypeResolver();
+
+ void apply(Stage &);
+
+private:
+ TypeDeclaration *resolve_type(const std::string &);
+ virtual void visit(BasicTypeDeclaration &);
+ virtual void visit(ImageTypeDeclaration &);
+ virtual void visit(StructDeclaration &);
+ virtual void visit(VariableDeclaration &);
+ virtual void visit(FunctionDeclaration &);