org.obligate.annotations.contract
Class ContractResult
java.lang.Object
org.obligate.annotations.contract.ContractResult
public class ContractResult
- extends java.lang.Object
This class represents the result of a complete collection of conditions. The
collection will be either all the preconditions, all the postconditions and
when implemented all the invariants.
- Since:
- 24-Jan-2006
- Author:
- Andy Hedges
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ContractResult
public ContractResult(boolean success,
java.lang.String msg)
ContractResult
public ContractResult(boolean success)
ContractResult
public ContractResult()
setSuccess
public void setSuccess(boolean success)
isSuccess
public boolean isSuccess()
setMsg
public void setMsg(java.lang.String msg)
getMsg
public java.lang.String getMsg()