ast

type AssignmentExpr struct {
	Name  token.Token
	Value Expr
}

type BinaryExpr struct {
	Left     Expr
	Operator token.Token
	Right    Expr
}

type BlockStmt struct {
	Statements []Stmt
}

type CallExpr struct {
	Callee    Expr
	Paren     token.Token
	Arguments []Expr
}

type ClassStmt struct {
	Name       token.Token
	SuperClass *VariableExpr
	Methods    []*FunctionStmt
}

type Expr interface {
	Accept(ExprVisitor) (any, error)
}

type ExprVisitor interface {
	VisitBinaryExpr(*BinaryExpr) (any, error)
	VisitLogicalExpr(*LogicalExpr) (any, error)
	VisitGroupingExpr(*GroupingExpr) (any, error)
	VisitLiteralExpr(*LiteralExpr) (any, error)
	VisitUnaryExpr(*UnaryExpr) (any, error)
	VisitCallExpr(*CallExpr) (any, error)
	VisitGetExpr(*GetExpr) (any, error)
	VisitSetExpr(*SetExpr) (any, error)
	VisitSuperExpr(*SuperExpr) (any, error)
	VisitThisExpr(*ThisExpr) (any, error)
	VisitVariableExpr(*VariableExpr) (any, error)
	VisitAssignmentExpr(*AssignmentExpr) (any, error)
}

type ExpressionStmt struct {
	Expression Expr
}

type FunctionStmt struct {
	Name       token.Token
	Parameters []token.Token
	Body       []Stmt
}

type GetExpr struct {
	Object Expr
	Name   token.Token
}

type GroupingExpr struct {
	Expression Expr
}

type IfStmt struct {
	Condition  Expr
	ThenBranch Stmt
	ElseBranch Stmt
}

type LiteralExpr struct {
	Value any
}

type LogicalExpr struct {
	Left     Expr
	Operator token.Token
	Right    Expr
}

type PrintStmt struct {
	Expression Expr
}

type Printer struct{}

type ReturnStmt struct {
	Keyword token.Token
	Value   Expr
}

type SetExpr struct {
	Object Expr
	Name   token.Token
	Value  Expr
}

type Stmt interface {
	Accept(StmtVisitor) (any, error)
}

type StmtVisitor interface {
	VisitBlockStmt(*BlockStmt) (any, error)
	VisitClassStmt(*ClassStmt) (any, error)
	VisitExpressionStmt(*ExpressionStmt) (any, error)
	VisitWhileStmt(*WhileStmt) (any, error)
	VisitIfStmt(*IfStmt) (any, error)
	VisitPrintStmt(*PrintStmt) (any, error)
	VisitReturnStmt(*ReturnStmt) (any, error)
	VisitVarStmt(*VarStmt) (any, error)
	VisitFunctionStmt(*FunctionStmt) (any, error)
}

type SuperExpr struct {
	Keyword token.Token
	Method  token.Token
}

type ThisExpr struct {
	Keyword token.Token
}

type UnaryExpr struct {
	Operator token.Token
	Right    Expr
}

type VarStmt struct {
	Name        token.Token
	Initializer Expr
}

type VariableExpr struct {
	Name token.Token
}

type WhileStmt struct {
	Condition Expr
	Body      Stmt
}