#include <list>
#include <map>
+#include <set>
#include <string>
#include <vector>
#include <msp/core/refptr.h>
-#include "extension.h"
-#include "uniform.h"
+#include "features.h"
+#include "glsl_error.h"
+#include "sourcemap.h"
#pragma push_macro("interface")
#undef interface
enum Associativity
{
LEFT_TO_RIGHT,
- RIGHT_TO_LEFT
+ RIGHT_TO_LEFT,
+ ASSOCIATIVE
};
char token[4];
Associativity assoc;
static const Operator operators[];
+
+ static const Operator &get_operator(const std::string &, Type);
+};
+
+enum
+{
+ BUILTIN_SOURCE = -1,
+ GENERATED_SOURCE = 0
};
struct NodeVisitor;
struct StructDeclaration;
struct VariableDeclaration;
+struct InterfaceBlock;
struct FunctionDeclaration;
struct Statement: Node
{
- unsigned source;
+ int source;
unsigned line;
Statement();
{
NodeList<Statement> body;
bool use_braces;
- std::map<std::string, StructDeclaration *> types;
+
std::map<std::string, VariableDeclaration *> variables;
+ Block *parent;
Block();
+ Block(const Block &);
virtual Block *clone() const { return new Block(*this); }
virtual void visit(NodeVisitor &);
struct Expression: Node
{
+ const Operator *oper;
+
+ Expression();
+
virtual Expression *clone() const = 0;
};
struct VariableReference: Expression
{
std::string name;
+
VariableDeclaration *declaration;
VariableReference();
+ VariableReference(const VariableReference &);
virtual VariableReference *clone() const { return new VariableReference(*this); }
virtual void visit(NodeVisitor &);
};
+struct InterfaceBlockReference: Expression
+{
+ std::string name;
+
+ InterfaceBlock *declaration;
+
+ InterfaceBlockReference();
+ InterfaceBlockReference(const InterfaceBlockReference &);
+
+ virtual InterfaceBlockReference *clone() const { return new InterfaceBlockReference(*this); }
+ virtual void visit(NodeVisitor &);
+};
+
struct MemberAccess: Expression
{
NodePtr<Expression> left;
std::string member;
+
VariableDeclaration *declaration;
+ MemberAccess();
+ MemberAccess(const MemberAccess &);
+
virtual MemberAccess *clone() const { return new MemberAccess(*this); }
virtual void visit(NodeVisitor &);
};
struct UnaryExpression: Expression
{
- std::string oper;
NodePtr<Expression> expression;
- bool prefix;
-
- UnaryExpression();
virtual UnaryExpression *clone() const { return new UnaryExpression(*this); }
virtual void visit(NodeVisitor &);
struct BinaryExpression: Expression
{
NodePtr<Expression> left;
- std::string oper;
NodePtr<Expression> right;
- std::string after;
virtual BinaryExpression *clone() const { return new BinaryExpression(*this); }
virtual void visit(NodeVisitor &);
struct Assignment: BinaryExpression
{
bool self_referencing;
+
VariableDeclaration *target_declaration;
Assignment();
+ Assignment(const Assignment &);
virtual Assignment *clone() const { return new Assignment(*this); }
virtual void visit(NodeVisitor &);
struct FunctionCall: Expression
{
std::string name;
- FunctionDeclaration *declaration;
bool constructor;
NodeArray<Expression> arguments;
+ FunctionDeclaration *declaration;
+
FunctionCall();
+ FunctionCall(const FunctionCall &);
virtual FunctionCall *clone() const { return new FunctionCall(*this); }
virtual void visit(NodeVisitor &);
{
struct Qualifier
{
- // TODO the standard calls this name, not identifier
- std::string identifier;
- std::string value;
+ std::string name;
+ bool has_value;
+ int value;
};
std::vector<Qualifier> qualifiers;
struct VariableDeclaration: Statement
{
+ NodePtr<Layout> layout;
bool constant;
std::string sampling;
std::string interpolation;
std::string interface;
std::string precision;
std::string type;
- StructDeclaration *type_declaration;
std::string name;
bool array;
NodePtr<Expression> array_size;
NodePtr<Expression> init_expression;
+
+ StructDeclaration *type_declaration;
VariableDeclaration *linked_declaration;
- NodePtr<Layout> layout;
VariableDeclaration();
+ VariableDeclaration(const VariableDeclaration &);
+ ~VariableDeclaration();
virtual VariableDeclaration *clone() const { return new VariableDeclaration(*this); }
virtual void visit(NodeVisitor &);
std::string instance_name;
bool array;
+ InterfaceBlock *linked_block;
+
InterfaceBlock();
+ InterfaceBlock(const InterfaceBlock &);
+ ~InterfaceBlock();
virtual InterfaceBlock *clone() const { return new InterfaceBlock(*this); }
virtual void visit(NodeVisitor &);
std::string return_type;
std::string name;
NodeArray<VariableDeclaration> parameters;
- FunctionDeclaration *definition;
Block body;
+ FunctionDeclaration *definition;
+
FunctionDeclaration();
FunctionDeclaration(const FunctionDeclaration &);
struct Iteration: Statement
{
- NodePtr<Node> init_statement;
+ NodePtr<Statement> init_statement;
NodePtr<Expression> condition;
NodePtr<Expression> loop_expression;
Block body;
virtual void visit(NodeVisitor &);
};
-struct NodeVisitor
-{
- virtual ~NodeVisitor() { }
-
- virtual void visit(Block &) { }
- virtual void visit(Literal &) { }
- virtual void visit(ParenthesizedExpression &) { }
- virtual void visit(VariableReference &) { }
- virtual void visit(MemberAccess &) { }
- virtual void visit(UnaryExpression &) { }
- virtual void visit(BinaryExpression &) { }
- virtual void visit(Assignment &);
- virtual void visit(FunctionCall &) { }
- virtual void visit(ExpressionStatement &) { }
- virtual void visit(Import &) { }
- virtual void visit(Precision &) { }
- virtual void visit(Layout &) { }
- virtual void visit(InterfaceLayout &) { }
- virtual void visit(StructDeclaration &) { }
- virtual void visit(VariableDeclaration &) { }
- virtual void visit(InterfaceBlock &) { }
- virtual void visit(FunctionDeclaration &) { }
- virtual void visit(Conditional &) { }
- virtual void visit(Iteration &) { }
- virtual void visit(Passthrough &) { }
- virtual void visit(Return &) { }
- virtual void visit(Jump &) { }
-};
-
-struct TraversingVisitor: NodeVisitor
-{
- using NodeVisitor::visit;
- virtual void visit(Block &);
- virtual void visit(ParenthesizedExpression &);
- virtual void visit(MemberAccess &);
- virtual void visit(UnaryExpression &);
- virtual void visit(BinaryExpression &);
- virtual void visit(FunctionCall &);
- virtual void visit(ExpressionStatement &);
- virtual void visit(InterfaceLayout &);
- virtual void visit(StructDeclaration &);
- virtual void visit(VariableDeclaration &);
- virtual void visit(InterfaceBlock &);
- virtual void visit(FunctionDeclaration &);
- virtual void visit(Conditional &);
- virtual void visit(Iteration &);
- virtual void visit(Passthrough &);
- virtual void visit(Return &);
-};
-
-enum StageType
-{
- SHARED,
- VERTEX,
- GEOMETRY,
- FRAGMENT
-};
-
struct Stage
{
- StageType type;
+ enum Type
+ {
+ SHARED,
+ VERTEX,
+ GEOMETRY,
+ FRAGMENT
+ };
+
+ Type type;
Stage *previous;
Block content;
- std::map<std::string, VariableDeclaration *> in_variables;
- std::map<std::string, VariableDeclaration *> out_variables;
+ std::map<std::string, StructDeclaration *> types;
+ std::map<std::string, InterfaceBlock *> interface_blocks;
+ std::map<std::string, FunctionDeclaration *> functions;
std::map<std::string, unsigned> locations;
- Version required_version;
- std::vector<const Extension *> required_extensions;
+ Features required_features;
+ std::vector<Diagnostic> diagnostics;
+
+ Stage(Type);
- Stage(StageType);
+ static const char *get_stage_name(Type);
};
struct Module
{
+ SourceMap source_map;
Stage shared;
std::list<Stage> stages;