expressions

type BinaryExpr struct {
	Expr
	interfaces.SourceLocation

	Left     Expr
	Operator tokens.Token
	Right    Expr
}

type Expr interface {
	Accept(v ExprVisitor) string
	ExprType() ExprType
	ReturnType() types.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
	VisitStruct(s StructExpr) string
}

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     string
	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
}