+ 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 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 &);
+ };
+