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.
<init> |
ClauseVerifier() Abstract superclass for clause-based contracts to extend, which provides a verify() function that delegates to the supplied list of clauses. |
clauses |
abstract val clauses: List<SingleClause> |
legalContractReference |
abstract val legalContractReference: SecureHash Unparsed reference to the natural language contract that this code is supposed to express (usually a hash of the contracts contents). |
extractCommands |
abstract fun extractCommands(tx: TransactionForContract): Collection<AuthenticatedObject<CommandData>> |
verify |
open fun verify(tx: TransactionForContract): Unit Takes an object that represents a state transition, and ensures the inputs/outputs/commands make sense. Must throw an exception if theres a problem that should prevent state transition. Takes a single object rather than an argument so that additional data can be added without breaking binary compatibility with existing contract code. |