#include <string>
#include <vector>
#include <msp/core/refptr.h>
+#include <msp/core/variant.h>
#include "features.h"
+#include "glsl_error.h"
#include "sourcemap.h"
#pragma push_macro("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
+{
+ INTERNAL_SOURCE = -2,
+ BUILTIN_SOURCE = -1,
+ GENERATED_SOURCE = 0
};
struct NodeVisitor;
struct Node
{
-protected:
- Node() { }
- Node(const Node &) { }
+ int source;
+ unsigned line;
+
+ Node(): source(GENERATED_SOURCE), line(1) { }
+ Node(const Node &n): source(n.source), line(n.line) { }
private:
Node &operator=(const Node &);
public:
class NodeArray: public NodeContainer<std::vector<RefPtr<T> > >
{ };
-struct StructDeclaration;
+struct TypeDeclaration;
struct VariableDeclaration;
struct InterfaceBlock;
struct FunctionDeclaration;
struct Statement: Node
{
- unsigned source;
- unsigned line;
-
- Statement();
-
virtual Statement *clone() const = 0;
};
{
NodeList<Statement> body;
bool use_braces;
- std::map<std::string, StructDeclaration *> types;
+
std::map<std::string, VariableDeclaration *> variables;
- std::set<InterfaceBlock *> interfaces;
Block *parent;
Block();
struct Expression: Node
{
+ const Operator *oper;
+
+ TypeDeclaration *type;
+ bool lvalue;
+
+ Expression();
+
virtual Expression *clone() const = 0;
};
struct Literal: Expression
{
std::string token;
+ Variant value;
virtual Literal *clone() const { return new Literal(*this); }
virtual void visit(NodeVisitor &);
struct VariableReference: Expression
{
std::string name;
+
VariableDeclaration *declaration;
VariableReference();
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();
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();
struct FunctionCall: Expression
{
std::string name;
- FunctionDeclaration *declaration;
bool constructor;
NodeArray<Expression> arguments;
+ FunctionDeclaration *declaration;
+
FunctionCall();
FunctionCall(const FunctionCall &);
virtual void visit(NodeVisitor &);
};
-struct StructDeclaration: Statement
+struct TypeDeclaration: Statement
{
std::string name;
+
+ virtual TypeDeclaration *clone() const = 0;
+};
+
+struct BasicTypeDeclaration: TypeDeclaration
+{
+ enum Kind
+ {
+ ALIAS,
+ VOID,
+ BOOL,
+ INT,
+ FLOAT,
+ VECTOR,
+ MATRIX,
+ ARRAY
+ };
+
+ Kind kind;
+ unsigned size;
+ std::string base;
+
+ TypeDeclaration *base_type;
+
+ BasicTypeDeclaration();
+ BasicTypeDeclaration(const BasicTypeDeclaration &);
+
+ virtual BasicTypeDeclaration *clone() const { return new BasicTypeDeclaration(*this); }
+ virtual void visit(NodeVisitor &);
+};
+
+struct ImageTypeDeclaration: TypeDeclaration
+{
+ enum Dimensions
+ {
+ ONE = 1,
+ TWO,
+ THREE,
+ CUBE
+ };
+
+ Dimensions dimensions;
+ bool array;
+ bool sampled;
+ bool shadow;
+ std::string base;
+
+ TypeDeclaration *base_type;
+
+ ImageTypeDeclaration();
+
+ virtual ImageTypeDeclaration *clone() const { return new ImageTypeDeclaration(*this); }
+ virtual void visit(NodeVisitor &);
+};
+
+struct StructDeclaration: TypeDeclaration
+{
Block members;
+ InterfaceBlock *interface_block;
+
StructDeclaration();
+ StructDeclaration(const StructDeclaration &);
+ ~StructDeclaration();
virtual StructDeclaration *clone() const { return new StructDeclaration(*this); }
virtual void visit(NodeVisitor &);
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;
+
+ TypeDeclaration *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 interface;
std::string name;
- Block members;
+ NodePtr<Block> members;
std::string instance_name;
bool array;
+ /* An interface block's ultimate base type is always a struct. The
+ immediate type may be either that same struct or an array of it. */
+ TypeDeclaration *type_declaration;
+ StructDeclaration *struct_declaration;
+ 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;
+ TypeDeclaration *return_type_declaration;
+
FunctionDeclaration();
FunctionDeclaration(const FunctionDeclaration &);
struct Iteration: Statement
{
- NodePtr<Node> init_statement;
+ NodePtr<Statement> init_statement;
NodePtr<Expression> condition;
NodePtr<Expression> loop_expression;
Block body;
Type type;
Stage *previous;
Block content;
+ std::map<std::string, TypeDeclaration *> types;
+ std::map<std::string, InterfaceBlock *> interface_blocks;
+ std::map<std::string, FunctionDeclaration *> functions;
std::map<std::string, unsigned> locations;
Features required_features;
+ std::vector<Diagnostic> diagnostics;
Stage(Type);
projects / libs / gl.git / blobdiff