package parser

import "git.tebibyte.media/arf/arf/file"
import "git.tebibyte.media/arf/arf/types"
import "git.tebibyte.media/arf/arf/lexer"
import "git.tebibyte.media/arf/arf/infoerr"

// SyntaxTree represents an abstract syntax tree. It covers an entire module. It
// can be expected to be syntactically correct, but it might not be semantically
// correct (because it has not been analyzed yet.)
type SyntaxTree struct {
	license string
	author  string

	requires map[string] string
	sections map[string] Section
}

// Section can be any kind of section. You can find out what type of section it
// is with the Kind method.
type Section interface {
	Location   () (location file.Location)
	Permission () (permission types.Permission)
	Name       () (name string)
	NewError   (message string, kind infoerr.ErrorKind) (err error)
	ToString   (indent int) (output string)
}

// Identifier represents a chain of names separated by a dot.
type Identifier struct {
	locatable
	trail []string
}

// TypeKind represents what kind of type a type is.
type TypeKind int

const (
	// TypeKindNil means that the type is unspecified.
	TypeKindNil TypeKind = iota

	// TypeKindBasic means its a normal type and inherits from something.
	// Basic types can define new members on their parent types.
	TypeKindBasic

	// TypeKindPointer means it's a pointer.
	TypeKindPointer

	// TypeKindVariableArray means it's an array of variable length.
	TypeKindVariableArray
)

// Type represents a type specifier
type Type struct {
	locatable

	mutable bool
	kind TypeKind
	length uint64

	// only applicable for basic.
        name Identifier

	// not applicable for basic.
	points *Type
}

// Declaration represents a variable declaration.
type Declaration struct {
	locatable
	nameable
	typeable
}

// List represents an array or object literal.
type List struct {
	locatable

	// TODO: have an array of unnamed arguments, and a map of named
	// arguments
	multiValuable
}

// ArgumentKind specifies the type of thing the value of an argument should be
// cast to.
type ArgumentKind int

const (
	ArgumentKindNil ArgumentKind = iota
	
	// [name argument]
	// [name argument argument]
	// etc...
	ArgumentKindPhrase

	// (argument argument argument)
	ArgumentKindList

	// {name}
	// {name 23}
	ArgumentKindDereference

	// name.name
	// name.name.name
	// etc...
	ArgumentKindIdentifier

	// name:Type
	// name:{Type}
	// name:{Type ..}
	// name:{Type 23}
	// etc...
	ArgumentKindDeclaration

	// -1337
	ArgumentKindInt

	// 1337
	ArgumentKindUInt

	// 0.44
	ArgumentKindFloat

	// 'hello world'
	ArgumentKindString
)

// Argument represents a value that can be placed anywhere a value goes. This
// allows things like phrases being arguments to other phrases.
type Argument struct {
	locatable
	kind  ArgumentKind
	value any
	// TODO: if there is an argument expansion operator its existence should
	// be stored here in a boolean.
}

// DataSection represents a global variable.
type DataSection struct {
	locatable
	nameable
	typeable
	permissionable
	valuable

	external bool
}

// TypeSectionMember represents a member variable of a type section.
type TypeSectionMember struct {
	locatable
	nameable
	typeable
	permissionable
	valuable
	
	bitWidth uint64
}

// TypeSection represents a type definition.
type TypeSection struct {
	locatable
	nameable
	typeable
	permissionable
	valuable

	// if non-nil, this type defines new members.
	members []TypeSectionMember
}

// EnumMember represents a member of an enum section.
type EnumMember struct {
	locatable
	nameable
	valuable
}

// EnumSection represents an enumerated type section.
type EnumSection struct {
	locatable
	nameable
	typeable
	permissionable

	members []EnumMember
}

// FaceKind determines if an interface is a type interface or an function
// interface.
type FaceKind int

const (
	FaceKindEmpty FaceKind = iota
	FaceKindType
	FaceKindFunc
)

// FaceBehavior represents a behavior of an interface section.
type FaceBehavior struct {
	locatable
	nameable

	inputs  []Declaration
	outputs []Declaration
}

// FaceSection represents an interface type section.
type FaceSection struct {
	locatable
	nameable
	permissionable
	inherits Identifier

	kind FaceKind

	behaviors map[string] FaceBehavior
	FaceBehavior
}

// Dereference represents a pointer dereference or array subscript.
type Dereference struct {
	locatable
	valuable

	// if a simple dereference was parsed, this should just be zero.
	offset uint64
}

// PhraseKind determines what semantic role a phrase plays.
type PhraseKind int

const (
	// [name]
	PhraseKindCall PhraseKind = iota
	
	// ["name"]
	PhraseKindArbitrary
	
	// [+] [-]
	PhraseKindOperator
	
	// [= x y]
	PhraseKindAssign
	
	// [loc x]
	PhraseKindReference
	
	// [cast x T]
	PhraseKindCast

	// [defer]
	PhraseKindDefer
	
	// [if c]
	PhraseKindIf
	
	// [elseif]
	PhraseKindElseIf
	
	// [else]
	PhraseKindElse
	
	// [switch]
	PhraseKindSwitch
	
	// [case]
	PhraseKindCase
	
	// [while c]
	PhraseKindWhile
	
	// [for x y z]
	PhraseKindFor
)

// Phrase represents a function call or operator. In ARF they are the same
// syntactical concept.
type Phrase struct {
	locatable
	returnees []Argument
	multiValuable
	
	kind PhraseKind

	command Argument

	// only applicable for PhraseKindOperator
	operator lexer.TokenKind

	// only applicable for control flow phrases
	block Block
}

// Block represents a scoped/indented block of code.
type Block []Phrase

// FuncOutput represents a function output declaration. It allows for a default
// value.
type FuncOutput struct {
	Declaration
	valuable
}

// FuncSection represents a function section.
type FuncSection struct {
	locatable
	nameable
	permissionable
	
	receiver *Declaration
	inputs   []Declaration
	outputs  []FuncOutput
	root     Block

	external bool
}