public static class LinearState.ClauseVerifier<S extends LinearState,C extends CommandData>
extends Clause
Standard clause to verify the LinearState safety properties.
Clause.Companion
Constructor and Description |
---|
ClauseVerifier()
Standard clause to verify the LinearState safety properties.
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<C> |
verify(TransactionForContract tx,
java.util.List<? extends S> inputs,
java.util.List<? extends S> outputs,
java.util.List<? extends net.corda.core.contracts.AuthenticatedObject<? extends C>> commands,
kotlin.Unit groupingKey)
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.
|
getExecutionPath, getRequiredCommands, verify
public ClauseVerifier()
Standard clause to verify the LinearState safety properties.
public java.util.Set<C> verify(TransactionForContract tx, java.util.List<? extends S> inputs, java.util.List<? extends S> outputs, java.util.List<? extends net.corda.core.contracts.AuthenticatedObject<? extends C>> commands, kotlin.Unit groupingKey)
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.
tx
- the full transaction being verified. This is provided for cases where clauses need to access
states or commands outside of their normal scope.inputs
- input states which are relevant to this clause. By default this is the set passed into verifyClause,
but may be further reduced by clauses such as GroupClauseVerifier.outputs
- output states which are relevant to this clause. By default this is the set passed into verifyClause,
but may be further reduced by clauses such as GroupClauseVerifier.commands
- commands which are relevant to this clause. By default this is the set passed into verifyClause,
but may be further reduced by clauses such as GroupClauseVerifier.groupingKey
- a grouping key applied to states and commands, where applicable. Taken from
class TransactionForContract.InOutGroup
.