Clause |
interface Clause |
ClauseVerifier |
abstract class ClauseVerifier : Contract Abstract superclass for clause-based contracts to extend, which provides a verify() function that delegates to the supplied list of clauses. |
GroupClause |
interface GroupClause<S : ContractState, T : Any> : Clause, GroupVerify<S, T> |
GroupClauseVerifier |
abstract class GroupClauseVerifier<S : ContractState, T : Any> : SingleClause |
GroupVerify |
interface GroupVerify<in S, in T : Any> |
InterceptorClause |
data class InterceptorClause : SingleClause A clause which intercepts calls to a wrapped clause, and passes them through verification only from a pre-clause. This is similar to an inceptor in aspect orientated programming. |
MatchBehaviour |
enum class MatchBehaviour |
SingleClause |
interface SingleClause : Clause, SingleVerify |
SingleVerify |
interface SingleVerify |
verifyClauses |
fun <T : CommandData> verifyClauses(tx: TransactionForContract, clauses: List<SingleClause>): Unit fun verifyClauses(tx: TransactionForContract, clauses: List<SingleClause>, commands: Collection<AuthenticatedObject<CommandData>>): Unit Verify a transaction against the given list of clauses. |