facts

type Bundle ¶

type Bundle struct {
	// contains filtered or unexported fields
}

Bundle is a set of facts about different packages.

This is used to serialize a collection of facts about different packages, which will be loaded and evaluated lazily.

func BundleFrom(filename string) (*Bundle, error)

func NewBundle() *Bundle

func (b *Bundle) Add(path string, facts *Package)

func (b *Bundle) Package(pkg *types.Package) (*Package, error)

func (b *Bundle) Serialize(w io.Writer) error

type Package ¶

type Package struct {
	Objects map[types.Object][]analysis.Fact
}

Package is a set of facts about a single package.

These use the types.Object as the key because this is canonical. Normally, this is canonical only in the context of a single types.Package. However, because all imports are shared across all packages, there is a single canonical types.Object shared among all packages being analyzed.

func NewPackage() *Package

func (p *Package) ExportFact(obj types.Object, ptr analysis.Fact)

func (p *Package) ImportFact(obj types.Object, ptr analysis.Fact) bool

func (p *Package) ReadFrom(pkg *types.Package, r io.Reader) error

func (p *Package) Serialize(w io.Writer) error

type Resolved ¶

type Resolved map[string]any

Resolved is a human-readable fact format.

func Resolve(pkg *types.Package, localFacts *Package, allFacts *Bundle, allFactNames map[reflect.Type]string) (Resolved, error)

type Serializer ¶

type Serializer interface {
	Serialize(w io.Writer) error
}

Serializer is used for fact serialization.

It generalizes over the Package and Bundle types.