public Contract
Implemented by a program that implements business logic on the shared ledger. All participants run this code for
every class LedgerTransaction they see on the network, for every input and output state. All
contracts must accept the transaction for it to be accepted: failure of any aborts the entire thing. The time is taken
from a trusted time-window attached to the transaction itself i.e. it is NOT necessarily the current time.
TODO: Contract serialization is likely to change, so the annotation is likely temporary.
class LedgerTransactionvoid verify(@NotNull
LedgerTransaction tx)
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.