public class StateAndContract
A convenience class for passing around a state and it's contract
Constructor and Description |
---|
StateAndContract(ContractState state,
java.lang.String contract)
A convenience class for passing around a state and it's contract
|
Modifier and Type | Method and Description |
---|---|
ContractState |
component1()
A state
|
java.lang.String |
component2()
The contract that should verify the state
|
StateAndContract |
copy(ContractState state,
java.lang.String contract)
A convenience class for passing around a state and it's contract
|
boolean |
equals(java.lang.Object p) |
java.lang.String |
getContract()
The contract that should verify the state
|
ContractState |
getState()
A state
|
int |
hashCode() |
java.lang.String |
toString() |
public StateAndContract(ContractState state, 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 statepublic ContractState getState()
A state
public java.lang.String getContract()
The contract that should verify the state
public ContractState component1()
A state
public java.lang.String component2()
The contract that should verify the state
public StateAndContract copy(ContractState state, java.lang.String contract)
A convenience class for passing around a state and it's contract
public java.lang.String toString()
public int hashCode()
public boolean equals(java.lang.Object p)