expressions

type BinaryExpr struct {
	Expr
	interfaces.SourceLocation

	Left     Expr
	Operator tokens.Token
	Right    Expr
}

type Expr interface {
	Accept(v ExprVisitor) interface{}
	TType() ExprType
	ReturnType() ValueType
}

type ExprType string

type ExprVisitor interface {
	VisitBinary(b BinaryExpr) interface{}
	VisitGrouping(g GroupingExpr) interface{}
	VisitLiteral(l LiteralExpr) interface{}
	VisitUnary(u UnaryExpr) interface{}
	VisitVariable(v VariableExpr) interface{}
	VisitFunctionCall(f FunctionCallExpr) interface{}
	VisitLogical(l LogicalExpr) interface{}
	VisitSlice(s SliceExpr) interface{}
}

type FunctionCallExpr struct {
	Expr
	interfaces.SourceLocation

	Name      tokens.Token
	Arguments []Expr
	Type      ValueType
}

type GroupingExpr struct {
	Expr
	interfaces.SourceLocation

	Expression Expr
}

type LiteralExpr struct {
	Expr
	interfaces.SourceLocation

	Value     interface{}
	ValueType 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 UnaryExpr struct {
	Expr
	interfaces.SourceLocation

	Operator   tokens.Token
	Expression Expr
}

type ValueType string

type VariableExpr struct {
	Expr
	interfaces.SourceLocation

	Name tokens.Token
	Type ValueType
}