cli.Discovery

What discover found in a file.

Usage

Source

cli.Discovery(
    path,
    checked=list(),
    unchecked=list(),
    nodes=dict(),
    transforms=dict(),
    error=None,
    module=None,
    _collected=list()
)

Attributes

path: Path

The file.

checked: list[Checked]

Each application of a contracted transform, in the order the file made them.

unchecked: list[str]

Contracted transforms the file defines but never applies: without input schemas they have nothing to be proved on.

nodes: dict[str, Node]

The file’s nodes, by variable name.

transforms: dict[str, ContractedTransform]

The file’s contracted transforms, by variable name.

error: BaseException | None

What stopped the import, if anything (a refusal, sverify.errors.Unsupported; an error of the file’s own).

module: ModuleType | None

The imported module, if the import finished.

Methods

Name	Description
select()	The applications that built node target (a variable of the

---

select()

The applications that built node target (a variable of the

Usage

Source

select(target)

file) or applied the transform named target.