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: MatchBehaviour Behaviour if this clause is not matches |
ifNotMatched |
val ifNotMatched: MatchBehaviour Behaviour 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> |