syntax

type CompositeDecl struct {
	S    parse.Span
	Name Ident
	Kind NodeKind
	Body FactoryBody
}

type ConfigurationDecl struct {
	S        parse.Span
	Name     *Ident
	Selector Ident
	Body     *parse.ObjectLit
	Value    parse.Expr
}

type ConfigurationValue struct {
	S        parse.Span
	Name     *Ident
	Selector Ident
	Body     *parse.ObjectLit
	Value    parse.Expr
}

type ConstraintDecl struct {
	S     parse.Span
	Value parse.Expr
}

type EncryptionDecl struct {
	S        parse.Span
	Selector Ident
	Body     *parse.ObjectLit
}

type FactoryBody struct {
	S              parse.Span
	Description    *parse.StringLit
	Inputs         []InputDecl
	Locals         []LocalDecl
	Constraints    []ConstraintDecl
	Imports        []ImportDecl
	Configurations []ConfigurationDecl
	Resources      []NodeDecl
	Data           []NodeDecl
	Actions        []NodeDecl
	Outputs        []OutputDecl
}

type FactoryFile struct {
	S    parse.Span
	Body FactoryBody
}

type File struct {
	S        parse.Span
	Kind     FileKind
	Path     string
	Factory  *FactoryFile
	Stack    *StackFile
	Manifest *ManifestFile
	Lock     *LockFile
	Library  *LibraryFile
	Comments []parse.Comment
}

type FileKind int

type Ident struct {
	S    parse.Span
	Name string
}

type ImportDecl struct {
	S     parse.Span
	Alias Ident
	Ref   *parse.StringLit
}

type InputDecl struct {
	S    parse.Span
	Name Ident
	Body *parse.ObjectLit
	Type parse.TypeExpr
}

type LibraryFile struct {
	S       parse.Span
	Exports []CompositeDecl
}

type LocalDecl struct {
	S     parse.Span
	Name  Ident
	Value parse.Expr
}

type LockDep struct {
	S       parse.Span
	ID      StringKey
	Kind    Ident
	Version *parse.StringLit
	Commit  *parse.StringLit
	Hash    *parse.StringLit
}

type LockFile struct {
	S         parse.Span
	Version   *parse.NumberLit
	Toolchain *LockToolchain
	Deps      []LockDep
}

type LockToolchain struct {
	S             parse.Span
	UnobinVersion *parse.StringLit
}

type ManifestFile struct {
	S             parse.Span
	UnobinVersion *parse.StringLit
	Requires      []ManifestRequire
	Replace       []ManifestReplace
}

type ManifestReplace struct {
	S    parse.Span
	ID   StringKey
	Path *parse.StringLit
}

type ManifestRequire struct {
	S       parse.Span
	ID      StringKey
	Version *parse.StringLit
}

type NodeDecl struct {
	S        parse.Span
	Kind     NodeKind
	Name     Ident
	Selector NodeSelector
	Body     *parse.ObjectLit
}

type NodeKind string

type NodeSelector struct {
	S      parse.Span
	Alias  Ident
	Export Ident
}

type OutputDecl struct {
	S    parse.Span
	Name Ident
	Body *parse.ObjectLit
}

type StackFactoryBlock struct {
	S              parse.Span
	Pin            *parse.ObjectLit
	Inputs         *parse.ObjectLit
	Configurations []ConfigurationValue
}

type StackFile struct {
	S           parse.Span
	Factory     *StackFactoryBlock
	State       *StateDecl
	Encryption  *EncryptionDecl
	Locals      []LocalDecl
	Parallelism parse.Expr
}

type StateDecl struct {
	S        parse.Span
	Selector Ident
	Body     *parse.ObjectLit
}

type StringKey struct {
	S     parse.Span
	Value string
}