X-Git-Url: http://git.tdb.fi/?a=blobdiff_plain;f=source%2Fglsl%2Fgenerate.h;h=ddf2b5f629cb0a8aadedd76dd0eab5041dfe1fa4;hb=50ab5ca;hp=63f1b0770ba435b287157eef975514b7e41cab9d;hpb=de87bb70ae10de39a39b2415407a234ab28099cf;p=libs%2Fgl.git diff --git a/source/glsl/generate.h b/source/glsl/generate.h index 63f1b077..ddf2b5f6 100644 --- a/source/glsl/generate.h +++ b/source/glsl/generate.h @@ -110,6 +110,48 @@ private: virtual void visit(InterfaceBlock &); }; +/** Resolves types and lvalueness of expressions. */ +class ExpressionResolver: private TraversingVisitor +{ +private: + enum Compatibility + { + NOT_COMPATIBLE, + LEFT_CONVERTIBLE, + RIGHT_CONVERTIBLE, + SAME_TYPE + }; + + Stage *stage; + std::vector basic_types; + +public: + void apply(Stage &s) { stage = &s; s.content.visit(*this); } + +private: + static bool is_scalar(BasicTypeDeclaration &); + static bool is_vector_or_matrix(BasicTypeDeclaration &); + static BasicTypeDeclaration *get_element_type(BasicTypeDeclaration &); + static bool can_convert(BasicTypeDeclaration &, BasicTypeDeclaration &); + static Compatibility get_compatibility(BasicTypeDeclaration &, BasicTypeDeclaration &); + BasicTypeDeclaration *find_type(BasicTypeDeclaration::Kind, unsigned); + BasicTypeDeclaration *find_type(BasicTypeDeclaration &, BasicTypeDeclaration::Kind, unsigned); + void convert_to(RefPtr &, BasicTypeDeclaration &); + bool convert_to_element(RefPtr &, BasicTypeDeclaration &); + + virtual void visit(Literal &); + virtual void visit(ParenthesizedExpression &); + 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(FunctionCall &); + virtual void visit(BasicTypeDeclaration &); + virtual void visit(VariableDeclaration &); +}; + /** Resolves function declarations and calls. */ class FunctionResolver: private TraversingVisitor {