## package satisfy

`import "golang.org/x/tools/refactor/satisfy"`

Package satisfy inspects the type-checked ASTs of Go packages and reports the set of discovered type constraints of the form (lhs, rhs Type) where lhs is a non-trivial interface, rhs satisfies this interface, and this fact is necessary for the package to be well-typed.

THIS PACKAGE IS EXPERIMENTAL AND MAY CHANGE AT ANY TIME.

It is provided only for the gopls tool. It requires well-typed inputs.

### Index ¶

#### Package Files ¶

find.go

### type Constraint ¶

A Constraint records the fact that the RHS type does and must satisfy the LHS type, which is an interface. The names are suggestive of an assignment statement LHS = RHS.

The constraint is implicitly universally quantified over any type parameters appearing within the two types.

### type Finder ¶

type Finder struct { Result map[Constraint]bool // contains filtered or unexported fields }

A Finder inspects the type-checked ASTs of Go packages and accumulates the set of type constraints (x, y) such that x is assignable to y, y is an interface, and both x and y have methods.

In other words, it returns the subset of the "implements" relation that is checked during compilation of a package. Refactoring tools will need to preserve at least this part of the relation to ensure continued compilation.

#### func (*Finder) Find ¶

Find inspects a single package, populating Result with its pairs of constrained types.

The result is non-canonical and thus may contain duplicates (but this tends to preserves names of interface types better).

The package must be free of type errors, and info.{Defs,Uses,Selections,Types} must have been populated by the type-checker.

- Version
- v0.1.12 (latest)
- Published
- Jul 27, 2022
- Platform
- linux/amd64
- Imports
- 7 packages (graph)
- Last checked
- 7 hours ago –

Tools for package owners.