| Class | Description |
|---|---|
| AllComposition<S extends ContractState,C extends CommandData,K> | Deprecated |
| AllOf<S extends ContractState,C extends CommandData,K> |
Compose a number of clauses, such that all of the clauses must run for verification to pass.
|
| AnyComposition<S extends ContractState,C extends CommandData,K> | Deprecated |
| AnyOf<S extends ContractState,C extends CommandData,K> |
Compose a number of clauses, such that one or more of the clauses can run.
|
| Clause<S extends ContractState,C extends CommandData,K> |
A clause of a contract, containing a chunk of verification logic. That logic may be delegated to other clauses, or
provided directly by this clause.
|
| ClauseKt | |
| ClauseVerifier | |
| CompositeClause<S extends ContractState,C extends CommandData,K> |
Abstract supertype for clauses which compose other clauses together in some logical manner.
|
| FilterOn<S extends ContractState,C extends CommandData,K> |
Filter the states that are passed through to the wrapped clause, to restrict them to a specific type.
|
| FirstComposition<S extends ContractState,C extends CommandData,K> | Deprecated |
| FirstOf<S extends ContractState,C extends CommandData,K> |
Compose a number of clauses, such that the first match is run, and it errors if none is run.
|
| GroupClauseVerifier<S extends ContractState,C extends CommandData,K> |