virtual void enter(Block &);
};
+/** Resolves types of variables and base types of other types. */
+class TypeResolver: private TraversingVisitor
+{
+private:
+ Stage *stage;
+
+public:
+ TypeResolver();
+
+ void apply(Stage &);
+
+private:
+ virtual void visit(BasicTypeDeclaration &);
+ virtual void visit(ImageTypeDeclaration &);
+ virtual void visit(StructDeclaration &);
+ virtual void visit(VariableDeclaration &);
+};
+
/** Resolves variable references. Variable references which match the name
of an interface block are turned into interface block references. */
class VariableResolver: private TraversingVisitor
{
private:
Stage *stage;
- std::map<std::string, VariableDeclaration *> *members;
- RefPtr<InterfaceBlockReference> iface_ref;
+ std::map<std::string, VariableDeclaration *> *r_members;
+ RefPtr<InterfaceBlockReference> r_iface_ref;
std::string block_interface;
bool record_target;
- VariableDeclaration *assignment_target;
- bool self_referencing;
+ bool r_self_referencing;
+ VariableDeclaration *r_assignment_target;
public:
VariableResolver();
virtual void visit(VariableReference &);
virtual void visit(InterfaceBlockReference &);
virtual void visit(MemberAccess &);
+ virtual void visit(UnaryExpression &);
virtual void visit(BinaryExpression &);
virtual void visit(Assignment &);
- virtual void visit(StructDeclaration &);
+ virtual void visit(FunctionCall &);
virtual void visit(VariableDeclaration &);
virtual void visit(InterfaceBlock &);
};
static std::string get_out_prefix(Stage::Type);
std::string change_prefix(const std::string &, const std::string &) const;
virtual void visit(Block &);
- bool generate_interface(VariableDeclaration &, const std::string &, const std::string &);
- bool generate_interface(InterfaceBlock &);
+ VariableDeclaration *generate_interface(VariableDeclaration &, const std::string &, const std::string &);
+ InterfaceBlock *generate_interface(InterfaceBlock &);
ExpressionStatement &insert_assignment(const std::string &, Expression *);
virtual void visit(VariableReference &);
virtual void visit(VariableDeclaration &);