+ struct VariableResolver: ProgramSyntax::TraversingVisitor
+ {
+ std::vector<ProgramSyntax::Block *> blocks;
+ ProgramSyntax::StructDeclaration *type;
+ bool anonymous;
+
+ VariableResolver();
+
+ virtual void visit(ProgramSyntax::Block &);
+ virtual void visit(ProgramSyntax::VariableReference &);
+ virtual void visit(ProgramSyntax::MemberAccess &);
+ virtual void visit(ProgramSyntax::BinaryExpression &);
+ virtual void visit(ProgramSyntax::StructDeclaration &);
+ virtual void visit(ProgramSyntax::VariableDeclaration &);
+ virtual void visit(ProgramSyntax::InterfaceBlock &);
+ };
+
+ struct InterfaceGenerator: ProgramSyntax::TraversingVisitor
+ {
+ ProgramSyntax::Context *context;
+ std::string in_prefix;
+ std::string out_prefix;
+ unsigned scope_level;
+ std::map<std::string, ProgramSyntax::NodePtr<ProgramSyntax::Node> > iface_declarations;
+ bool remove_node;
+ std::list<ProgramSyntax::NodePtr<ProgramSyntax::Node> > insert_nodes;
+
+ InterfaceGenerator();
+
+ static std::string get_out_prefix(ProgramSyntax::ContextType);
+ void visit(ProgramSyntax::Context &);
+ virtual void visit(ProgramSyntax::Block &);
+ std::string change_prefix(const std::string &, const std::string &) const;
+ bool generate_interface(ProgramSyntax::VariableDeclaration &, const std::string &, const std::string &);
+ void insert_assignment(const std::string &, ProgramSyntax::Expression *);
+ virtual void visit(ProgramSyntax::VariableReference &);
+ virtual void visit(ProgramSyntax::VariableDeclaration &);
+ virtual void visit(ProgramSyntax::Passthrough &);
+ };
+
+ struct VariableRenamer: ProgramSyntax::TraversingVisitor
+ {
+ virtual void visit(ProgramSyntax::VariableReference &);
+ virtual void visit(ProgramSyntax::VariableDeclaration &);
+ };
+
+ struct UnusedVariableLocator: ProgramSyntax::TraversingVisitor
+ {
+ std::set<ProgramSyntax::VariableDeclaration *> unused_variables;
+
+ virtual void visit(ProgramSyntax::VariableReference &);
+ virtual void visit(ProgramSyntax::MemberAccess &);
+ virtual void visit(ProgramSyntax::VariableDeclaration &);
+ };
+
+ struct NodeRemover: ProgramSyntax::TraversingVisitor
+ {
+ std::set<ProgramSyntax::Node *> to_remove;
+ unsigned n_removed;
+ bool immutable_block;
+ bool remove_block;
+
+ NodeRemover();
+
+ virtual void visit(ProgramSyntax::Block &);
+ virtual void visit(ProgramSyntax::StructDeclaration &);
+ virtual void visit(ProgramSyntax::InterfaceBlock &);
+ };
+