| Clause |
interface Clause |
| ClauseVerifier |
abstract class ClauseVerifier : ContractAbstract 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 : SingleClauseA 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>): Unitfun verifyClauses(tx: TransactionForContract, clauses: List<SingleClause>, commands: Collection<AuthenticatedObject<CommandData>>): UnitVerify a transaction against the given list of clauses. |