class VerifyLifecycle<P> : SingleClause, GroupClause<State<P>, Issued<Terms<P>>>Obligation-specific clause for verifying that all states are in normal lifecycle. In a group clause set, this must be run after any lifecycle change clause, which is the only clause that involve non-standard lifecycle states on input/output.
| <init> |
VerifyLifecycle()Obligation-specific clause for verifying that all states are in normal lifecycle. In a group clause set, this must be run after any lifecycle change clause, which is the only clause that involve non-standard lifecycle states on input/output. |
| ifMatched |
val ifMatched: MatchBehaviourBehaviour if this clause is not matches |
| ifNotMatched |
val ifNotMatched: MatchBehaviourBehaviour if this clause is matched |
| requiredCommands |
val requiredCommands: Set<Class<out CommandData>>Classes for commands which must ALL be present in transaction for this clause to be triggered |
| verify |
fun verify(tx: TransactionForContract, commands: Collection<AuthenticatedObject<CommandData>>): 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. fun verify(tx: TransactionForContract, inputs: List<State<P>>, outputs: List<State<P>>, commands: Collection<AuthenticatedObject<CommandData>>, token: Issued<Terms<P>>): Set<CommandData>fun verify(inputs: List<State<P>>, outputs: List<State<P>>): Set<CommandData> |