syntax

type BlockContext struct {
	Parent *BlockContext
	Block  *syntax.BlockStmt

	Names map[string]bool

	// node appears as RHS of var decl
	ListExprParent       map[syntax.Node]*syntax.ListExpr
	RHSVarDeclParent     map[syntax.Node]*syntax.VarDecl
	OperationParent      map[syntax.Node]*syntax.Operation
	ArgCallExprParent    map[syntax.Node]*syntax.CallExpr
	RHSAssignNoDefParent map[syntax.Node]*syntax.AssignStmt
	CaseClauseParent     map[syntax.Node]*syntax.CaseClause
	ReturnStmtParent     map[syntax.Node]*syntax.ReturnStmt

	// const info
	ConstInfo map[syntax.Node]*ConstInfo

	// to be inserted
	ChildrenInsertList [][]syntax.Stmt

	TrapNames []*NameAndDecl
}

type ConstInfo struct {
	Type string
}

type DeclInfo struct {
	FuncDecl     *syntax.FuncDecl
	VarDecl      *syntax.VarDecl
	ConstDecl    *syntax.ConstDecl
	Kind         DeclKind
	Name         string
	RecvTypeName string
	RecvPtr      bool
	Generic      bool
	Closure      bool

	// this is an interface type declare
	// only the RecvTypeName is valid
	Interface bool

	// arg names
	RecvName     string
	ArgNames     []string
	ResNames     []string
	FirstArgCtx  bool
	LastResError bool

	FileSyntax *syntax.File
	FileIndex  int
	File       string
	FileRef    string
	Line       int
}

type DeclKind int

type FileDecl struct {
	File  *syntax.File
	Funcs []*DeclInfo
}

type ISetPos interface {
	SetPos(p syntax.Pos)
}

type LineCol struct {
	Line uint
	Col  uint
}

type NameAndDecl struct {
	TakeAddr bool
	Name     *syntax.Name
	Decl     *DeclInfo
}

type StructDef struct {
	Field string
	Type  string
}