Method CreatePackage

types/create.go:92–155

CreatePackage constructs and returns an SSA Package from the specified type-checked, error-free file ASTs, and populates its Members mapping. importable determines whether this package should be returned by a subsequent call to ImportedPackage(pkg.Path()). The real work of building SSA form for ea

(pkg *Package, files []*File, info *Info, importable bool)

// until a subsequent call to Package.Build().
//
func (prog *Program) CreatePackage(pkg *Package, files []*File, info *Info, importable bool) *SSAPackage {
	p := &SSAPackage{
		Pkg:     pkg,
		Members: make(map[string]Member),
		values:  make(map[Object]Value),
		info:    info, // transient (CREATE and BUILD phases)
	}

	// Add init() function.
	obj := NewFunc(NoPos, pkg, "init", new(Signature))
	fn := &Function{
		name:      obj.Name(),
		object:    obj,
		Signature: obj.Type().(*Signature),
		Synthetic: "package initializer",
		Pkg:       p,
	}
	p.InitFunc = fn
	p.Members[fn.name] = fn

	// CREATE phase.
	// Allocate all package members: vars, funcs, consts and types.

	for _, init := range p.Pkg.inits {
		memberFromFunc(p, init)
	}

	scope := p.Pkg.Scope()
	for _, name := range scope.Names() {
		switch obj := scope.Lookup(name).(type) {
		case *Func:
			memberFromFunc(p, obj)
		case *TypeName:
			if !obj.IsAlias() {
				if named, ok := obj.Type().(*Named); ok {
					for i, n := 0, named.NumMethods(); i < n; i++ {
						memberFromFunc(p, named.Method(i))
					}
				}
			}
		case *Var:
			memberFromVar(p, obj)
		}
	}

	if prog.mode&BareInits == 0 {
		// Add initializer guard variable.
		initGuard := NewVar(NoPos, pkg, "init$guard", tBool)
		p.InitGuard = memberFromVar(p, initGuard)
	}

	if prog.mode&PrintPackages != 0 {
		printMu.Lock()
		p.WriteTo(os.Stdout)
		printMu.Unlock()
	}

	if importable {