ast

type ArrayLiteral struct {
	Base
	Elements []Expression
}

type AssignmentStatement struct {
	Base
	Target   Expression
	Operator string
	Value    Expression
}

type AttemptExpression struct {
	Base
	Value Expression
	Body  []Statement
}

type Attribute struct {
	Base
	Name      string
	Arguments []CallArgument
}

type Base struct {
	SourceSpan      token.Span
	TrailingComment string
}

type BinaryExpression struct {
	Base
	Left     Expression
	Operator string
	Right    Expression
}

type BlankStatement struct{ Base }

type BlockExpression struct {
	Base
	Parameters []string
	Body       []Statement
	Brace      bool
}

type BreakStatement struct{ Base }

type CallArgument struct {
	Name  string
	Value Expression
	Splat string
}

type CallExpression struct {
	Base
	Callee    Expression
	Arguments []CallArgument
	Block     *BlockExpression
}

type CaseBranch struct {
	Base
	Value        Expression
	Alternatives []Expression
	Bindings     []PatternBinding
	Body         []Statement
}

type CaseStatement struct {
	Base
	Value    Expression
	Leading  []Statement
	Branches []CaseBranch
	Else     []Statement
	HasElse  bool
}

type CatchExpression struct {
	Base
	Value   Expression
	Binding PatternBinding
	Body    []Statement
}

type ClassStatement struct {
	Base
	Name           string
	TypeParameters []TypeParameter
	Superclass     Expression
	Implements     []TypeRef
	Body           []Statement
}

type CommentStatement struct {
	Base
	Text string
}

type EnumMemberStatement struct {
	Base
	Name       string
	Parameters []Parameter
	RawValue   Expression
}

type EnumStatement struct {
	Base
	Name           string
	TypeParameters []TypeParameter
	Body           []Statement
}

type Expression interface {
	Node
	// contains filtered or unexported methods
}

type ExpressionStatement struct {
	Base
	Expression Expression
}

type FieldStatement struct {
	Base
	Name     string
	Type     TypeRef
	Value    Expression
	ReadOnly bool
}

type GenericExpression struct {
	Base
	Receiver  Expression
	Arguments []TypeRef
}

type HashEntry struct {
	Key   Expression
	Value Expression
}

type HashLiteral struct {
	Base
	Entries []HashEntry
}

type Identifier struct {
	Base
	Name string
}

type IfBranch struct {
	Condition Expression
	Body      []Statement
}

type IfStatement struct {
	Base
	Condition            Expression
	Then                 []Statement
	ElseIf               []IfBranch
	Else                 []Statement
	HasElse              bool
	Ternary              bool
	TernaryParenthesized bool
	ConditionalTransfer  bool
}

type ImportStatement struct {
	Base
	Path     string
	PathSpan token.Span
	Symbols  []string
	Alias    string
}

type IndexExpression struct {
	Base
	Receiver Expression
	Index    Expression
}

type InterfaceStatement struct {
	Base
	Name           string
	TypeParameters []TypeParameter
	Methods        []*MethodStatement
}

type InterpolatedString struct {
	Base
	Raw   string
	Parts []StringPart
}

type IterationExpression struct {
	Base
	Source    Expression
	Operation string
	SliceSize Expression
	Initial   Expression
	Limit     Expression
	WithIndex bool
	Block     *BlockExpression
}

type JSXAttribute struct {
	Base
	Name      string
	Value     Expression
	ValueSpan token.Span
	Boolean   bool
}

type JSXChild interface {
	Node
	// contains filtered or unexported methods
}

type JSXElement struct {
	Base
	Name       string
	Component  Expression
	Attributes []JSXAttribute
	Children   []JSXChild
	Fragment   bool
}

type JSXExpression struct {
	Base
	Value Expression
}

type JSXText struct {
	Base
	Text string
}

type LambdaExpression struct {
	Base
	Parameters []Parameter
	ReturnType TypeRef
	// Fails is recovery-only for pre-0.3 lambda signatures.
	Fails TypeRef
	Body  []Statement
}

type Literal struct {
	Base
	Kind LiteralKind
	Raw  string
}

type LiteralKind string

type MemberExpression struct {
	Base
	Receiver  Expression
	Name      string
	Safe      bool
	Namespace bool
}

type MethodStatement struct {
	Base
	Name           string
	TypeParameters []TypeParameter
	Parameters     []Parameter
	ReturnType     TypeRef
	// Fails is recovery-only for pre-0.3 source. The parser diagnoses every
	// authored effect signature before later compiler phases can run it.
	Fails TypeRef
	Body  []Statement
	Class bool
}

type ModuleStatement struct {
	Base
	Name string
	Body []Statement
}

type NativeBlock struct {
	Base
	Header string
	Body   []Statement
	Closer string
}

type NativeExpression struct {
	Base
	Text string
}

type NativeIsland struct {
	Span           token.Span
	WholeStatement bool
}

type NativeStatement struct {
	Base
	Text string
}

type NewtypeStatement struct {
	Base
	Name   string
	Target TypeRef
}

type NextStatement struct{ Base }

type Node interface {
	Span() token.Span
}

type Parameter struct {
	Base
	Name                 string
	Type                 TypeRef
	Default              Expression
	NamedOnly            bool
	Keyword              bool
	Rest                 bool
	KeywordRest          bool
	NativeKeyword        bool
	NativeKeywordDefault Expression
}

type PatternBinding struct {
	Base
	Name string
}

type Program struct {
	Base
	Mode              string
	Package           string
	ModulePath        string
	GoModule          string
	RubyLoader        string
	TypeScriptRuntime string
	Statements        []Statement
	Tokens            []token.Token
	NativeIslands     []NativeIsland
}

type RangeExpression struct {
	Base
	Start     Expression
	End       Expression
	Exclusive bool
}

type RecordFieldStatement struct {
	Base
	Name       string
	Type       TypeRef
	Attributes []Attribute
}

type RecordStatement struct {
	Base
	Name           string
	TypeParameters []TypeParameter
	Body           []Statement
}

type ReturnStatement struct {
	Base
	Value Expression
}

type Statement interface {
	Node
	// contains filtered or unexported methods
}

type StringPart struct {
	Text       string
	Expression Expression
}

type SymbolLiteral struct {
	Base
	Name string
	Raw  string
}

type TryExpression struct {
	Base
	Value Expression
}

type TypeAliasStatement struct {
	Base
	Name           string
	TypeParameters []TypeParameter
	Target         TypeRef
}

type TypeParameter struct {
	Base
	Name string
}

type TypeRef struct {
	Base
	Name               string
	Arguments          []TypeRef
	Union              []TypeRef
	FunctionParameters []TypeRef
	FunctionReturn     *TypeRef
	// FunctionFails is recovery-only for pre-0.3 function types.
	FunctionFails *TypeRef
	Nullable      bool
	Array         bool
}

type UnaryExpression struct {
	Base
	Operator string
	Operand  Expression
}

type VariableStatement struct {
	Base
	Name     string
	Type     TypeRef
	Value    Expression
	Mutable  bool
	Constant bool
}

type WhileStatement struct {
	Base
	Condition Expression
	Body      []Statement
}