class ClauseVerifier<S : LinearState> : ConcreteClause<ContractState, CommandData, Unit>Standard clause to verify the LinearState safety properties.
| <init> |
ClauseVerifier(stateClass: Class<S>)Standard clause to verify the LinearState safety properties. |
| stateClass |
val stateClass: Class<S> |
| requiredCommands |
open val requiredCommands: Set<Class<out CommandData>>Determine whether this clause runs or not |
| verify |
fun verify(tx: TransactionForContract, inputs: List<ContractState>, outputs: List<ContractState>, commands: List<AuthenticatedObject<CommandData>>, groupingKey: Unit?): Set<CommandData>Verify the transaction matches the conditions from this clause. For example, a "no zero amount output" clause would check each of the output states that it applies to, looking for a zero amount, and throw IllegalStateException if any matched. |