## cli.Discovery


What [discover](cli.discover.md#sverify.cli.discover) found in a file.


Usage

``` python
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](errors.Unsupported.md#sverify.errors.Unsupported); an error of the file's own).

`module: ModuleType | None`  
The imported module, if the import finished.


## Methods

| Name | Description |
|----|----|
| [select()](#select) | The applications that built node `target` (a variable of the |

------------------------------------------------------------------------


#### select()


The applications that built node `target` (a variable of the


Usage

``` python
select(target)
```


file) or applied the transform named `target`.