public class StateAndContract
A convenience class for passing around a state and it's contract
public StateAndContract(@NotNull ContractState state, @NotNull java.lang.String contract)
A convenience class for passing around a state and it's contract
state
- A statecontract
- The contract that should verify the state@NotNull public ContractState getState()
A state
@NotNull public java.lang.String getContract()
The contract that should verify the state
@NotNull public ContractState component1()
A state
@NotNull public java.lang.String component2()
The contract that should verify the state
@NotNull public StateAndContract copy(@NotNull ContractState state, @NotNull java.lang.String contract)
A convenience class for passing around a state and it's contract
@NotNull public java.lang.String toString()
A convenience class for passing around a state and it's contract
public int hashCode()
A convenience class for passing around a state and it's contract
public boolean equals(@Nullable java.lang.Object p)
A convenience class for passing around a state and it's contract