ast

type Affix int

type ArrayType struct {
	Lbrack scan.Token
	Len    Expr
	Rbrack scan.Token
}

type BadDecl struct {
	From, To scanner.Position
}

type BadExpr struct {
	From, To scanner.Position
}

type BadStmt struct {
	From, To scanner.Position
}

type BasicLit struct {
	scan.Token
}

type BasicType struct {
	Type scan.Token
	X    Expr
}

type BinaryExpr struct {
	X  Expr
	Op scan.Token
	Y  Expr
}

type BlockStmt struct {
	Lbrace *scan.Token
	Stmt   []Stmt
	Rbrace *scan.Token
}

type BranchStmt struct {
	scan.Token
}

type CallExpr struct {
	Fun    Expr
	Lparen scan.Token
	Args   []Expr
	Rparen scan.Token
}

type CaseClause struct {
	Case  scan.Token
	Value Expr
	Colon scan.Token
	Body  []Stmt
}

type CastExpr struct {
	Lparen scan.Token
	Type   Expr
	Rparen scan.Token
	X      Expr
}

type CompositeLit struct {
	Lbrace scan.Token
	Elts   []Expr
	Rbrace scan.Token
}

type CondExpr struct {
	Cond Expr
	X    Expr
	Y    Expr
}

type ConstDecl struct {
	Name *Ident
	X    Expr
}

type Decl interface {
	Node
}

type Directive interface {
	Node
}

type DoStmt struct {
	Do     scan.Token
	Body   Stmt
	While  scan.Token
	Lparen scan.Token
	Cond   Expr
	Rparen scan.Token
}

type EmptyStmt struct {
	Semi scan.Token
}

type EnumDecl struct {
	Storage *scan.Token
	Enum    scan.Token
	Name    *Ident
	Lbrace  scan.Token
	List    []*ConstDecl
	Rbrace  scan.Token
}

type Expr interface {
	Node
}

type ExprStmt struct {
	X Expr
}

type FieldDecl struct {
	Type Expr
	Name *Ident
}

type FieldFilter func(name string, value reflect.Value) bool

type ForStmt struct {
	For    scan.Token
	Lparen scan.Token
	Init   Expr
	Cond   Expr
	Post   Expr
	Rparen scan.Token
	Body   Stmt
}

type FuncDecl struct {
	Storage *scan.Token
	Result  Expr
	Name    *Ident
	Lparen  scan.Token
	Params  []*FieldDecl
	Rparen  scan.Token
	Labels  []*LabeledStmt
	Decls   []Decl
	Body    *BlockStmt
}

type FuncType struct {
	Result Expr
	Star   scan.Token
	Params []Expr
	Lparen [2]scan.Token
	Rparen [2]scan.Token
}

type GotoStmt struct {
	Goto  scan.Token
	Label *Ident
}

type Ident struct {
	Pos  scanner.Position
	Name string
}

type IfStmt struct {
	If     scan.Token
	Lparen scan.Token
	Cond   Expr
	Rparen scan.Token
	Body   Stmt
	Else   Stmt
}

type IndexExpr struct {
	X      Expr
	Lbrack scan.Token
	Index  Expr
	Rbrack scan.Token
}

type LabeledStmt struct {
	Label *Ident
	Colon scan.Token
	Stmt  Stmt
}

type Node interface {
	// Span returns the beginning and end position of a node
	Span() scan.Span
}

type ParenExpr struct {
	Lparen scan.Token
	X      Expr
	Rparen scan.Token
}

type Prog struct {
	Decls []Decl
}

type RecordDecl struct {
	Storage *scan.Token
	Record  scan.Token
	Name    *Ident
	Lbrace  scan.Token
	Fields  []*FieldDecl
	Rbrace  scan.Token
}

type RecordType struct {
	Record scan.Token
	X      Expr
	Name   *Ident
}

type ReturnStmt struct {
	Return scan.Token
	X      Expr
}

type SelectorExpr struct {
	X   Expr
	Op  scan.Token
	Sel *Ident
}

type SizeofExpr struct {
	Sizeof scan.Token
	Lparen scan.Token
	X      Expr
	Rparen scan.Token
}

type StarExpr struct {
	Star scan.Token
	X    Expr
}

type Stmt interface {
	Node
}

type StringLit struct {
	Lits []*BasicLit
}

type SwitchStmt struct {
	Switch scan.Token
	Lparen scan.Token
	Tag    Expr
	Rparen scan.Token
	Body   *BlockStmt
}

type UnaryExpr struct {
	Op    scan.Token
	Affix Affix
	X     Expr
}

type VarDecl struct {
	Storage *scan.Token
	Type    Expr
	Name    *Ident
	Value   Expr
}

type WhileStmt struct {
	While  scan.Token
	Lparen scan.Token
	Cond   Expr
	Rparen scan.Token
	Body   Stmt
}