check.requires¶
Declares a provider requirement; unmet requirements skip the case.
Operation contract¶
| Property | Value |
|---|---|
| Semantic phase | — |
| Traits | UnknownEffects, HasAnyAncestor(check.case, check.scenario) |
Signature¶
| Kind | Name | Type | Cardinality | Description |
|---|---|---|---|---|
| Attribute | provider |
string | required | — |
| Attribute | attrs |
dict | required | — |