org.obligate.annotations.contract
Class ContractResult

java.lang.Object
  extended by 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

Constructor Summary
ContractResult()
           
ContractResult(boolean success)
           
ContractResult(boolean success, java.lang.String msg)
           
 
Method Summary
 java.lang.String getMsg()
           
 boolean isSuccess()
           
 void setMsg(java.lang.String msg)
           
 void setSuccess(boolean success)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ContractResult

public ContractResult(boolean success,
                      java.lang.String msg)

ContractResult

public ContractResult(boolean success)

ContractResult

public ContractResult()
Method Detail

setSuccess

public void setSuccess(boolean success)

isSuccess

public boolean isSuccess()

setMsg

public void setMsg(java.lang.String msg)

getMsg

public java.lang.String getMsg()