edit

type Decl struct {
	Kind  DeclKind
	Ident *ast.Ident
	Type  ast.Expr // might be nil

	Value             ast.Expr // only for var, might be nil
	ResolvedValueType types.Type

	Decl *ast.GenDecl

	// Pending var refs for rewrite
	// for var only
	VarRefs []*VarRef

	// for Func
	FuncDecl *FuncDecl

	// for Type
	Methods map[string]*FuncDecl
	File    *File
}

type DeclKind int

type Field struct {
	Name      string
	NameIdent *ast.Ident // could be nil for anonymous field
	Type      ast.Expr
}

type Fields []*Field

type File struct {
	File *load.File
	// the file index
	Index int

	Edit *goedit.Edit

	Decls []*Decl

	TrapFuncs      []*FuncInfo
	TrapVars       []*VarInfo
	InterfaceTypes []*InterfaceType
}

type FuncDecl struct {
	Name    string
	RecvPtr bool
	Syntax  *ast.FuncDecl
}

type FuncInfo struct {
	InfoVar      string
	FuncDecl     *ast.FuncDecl
	IdentityName string
	RecvPtr      bool
	RecvGeneric  bool
	RecvType     *ast.Ident

	Receiver *Field
	Params   Fields
	Results  Fields
}

type InterfaceType struct {
	InfoVar string
	Name    string
	Ident   *ast.Ident
	Type    *ast.InterfaceType
}

type Package struct {
	LoadPackage *load.Package
	Files       []*File

	Decls map[string]*Decl

	Collected bool

	// Main indicates the package is
	// within the main module
	// NOTE: this does not consider go.mod
	// boundaries, it only consider the
	// prefix of the package path.
	Main bool

	// Initial indicates whether
	// the packages are loaded via
	// package args specified by user
	Initial bool

	// Xgo indicates whether
	// the package is xgo/runtime
	Xgo bool

	// AllowInstrument indicates whether
	// the package is allowed to be instrumented
	AllowInstrument bool
}

type Packages struct {
	Fset     *token.FileSet
	Packages []*Package

	PackageByPath map[string]*Package

	LoadOptions load.LoadOptions
}

type VarInfo struct {
	InfoVar string
	Name    string
	Decl    *Decl
}

type VarRef struct {
	File *File
	// the prefiex & token, if any
	Addr *ast.UnaryExpr
	// call get() or get_addr()
	NeedPtr   bool
	NameStart token.Pos
	// the end position of the name
	NameEnd token.Pos
	// FieldAccess indicates this is &variable.Field pattern
	// In this case, keep the & and use _xgo_get() instead of _xgo_get_addr()
	FieldAccess bool
}