corda / net.corda.core.contracts / Contract / verify

# verify

`abstract 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 there's 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.