@NotNull public static java.lang.String CP_PROGRAM_ID
public static net.corda.finance.contracts.CommercialPaper.Companion Companion
public void 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.