expressions

type BinaryExpr struct {
	Expr
	interfaces.SourceLocation

	Left     Expr
	Operator tokens.Token
	Right    Expr
}

type Expr interface {
	Accept(v ExprVisitor) string
	ExprType() ExprType
	ReturnType() interfaces.ValueType
}

type ExprType string

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

type FieldAccessExpr struct {
	Expr
	interfaces.SourceLocation

	Source Expr
	Field  tokens.Token
	Type   interfaces.ValueType
}

type FunctionCallExpr struct {
	Expr
	interfaces.SourceLocation

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

type GroupingExpr struct {
	Expr
	interfaces.SourceLocation

	Expression Expr
}

type ListExpr struct {
	Expr
	interfaces.SourceLocation

	Elements  []Expr
	ValueType interfaces.ValueType
}

type LiteralExpr struct {
	Expr
	interfaces.SourceLocation

	Value     string
	ValueType interfaces.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 VariableExpr struct {
	Expr
	interfaces.SourceLocation

	Name tokens.Token
	Type interfaces.ValueType
}