expressions

type BinaryExpr struct {
	Expr
	interfaces.SourceLocation

	Left     Expr
	Operator tokens.Token
	Right    Expr
}

type Expr interface {
	Accept(v ExprVisitor) interfaces.IRCode
	ExprType() ExprType
	ReturnType() types.ValueType
	ToString() string
	Validate() error
}

type ExprType string

type ExprVisitor interface {
	VisitBinary(b BinaryExpr) interfaces.IRCode
	VisitGrouping(g GroupingExpr) interfaces.IRCode
	VisitLiteral(l LiteralExpr) interfaces.IRCode
	VisitUnary(u UnaryExpr) interfaces.IRCode
	VisitVariable(v VariableExpr) interfaces.IRCode
	VisitFieldAccess(v FieldAccessExpr) interfaces.IRCode
	VisitFunctionCall(f FunctionCallExpr) interfaces.IRCode
	VisitLogical(l LogicalExpr) interfaces.IRCode
	VisitSlice(s SliceExpr) interfaces.IRCode
	VisitList(s ListExpr) interfaces.IRCode
	VisitStruct(s StructExpr) interfaces.IRCode
}

type FieldAccessExpr struct {
	Expr
	interfaces.SourceLocation

	Source Expr
	Field  tokens.Token
	Type   types.ValueType
}

type FunctionCallExpr struct {
	Expr
	interfaces.SourceLocation

	Name      tokens.Token
	Arguments []Expr
	Type      types.ValueType
}

type GroupingExpr struct {
	Expr
	interfaces.SourceLocation

	Expression Expr
}

type ListExpr struct {
	Expr
	interfaces.SourceLocation

	Elements  []Expr
	ValueType types.ValueType
}

type LiteralExpr struct {
	Expr
	interfaces.SourceLocation

	Value     nbt.Value
	ValueType types.ValueType
}

type LogicalExpr struct {
	Left     Expr
	Operator tokens.Token
	Right    Expr

	interfaces.SourceLocation
	Expr
}

type SliceExpr struct {
	StartIndex Expr
	EndIndex   Expr
	TargetExpr Expr

	interfaces.SourceLocation
	Expr
}

type StructExpr struct {
	Expr
	interfaces.SourceLocation

	Args       []Expr
	StructType types.StructTypeStruct
}

type UnaryExpr struct {
	Expr
	interfaces.SourceLocation

	Operator   tokens.Token
	Expression Expr
}

type VariableExpr struct {
	Expr
	interfaces.SourceLocation

	Name tokens.Token
	Type types.ValueType
}