Prog1Tools
Class PermutationSpecContract

java.lang.Object
  extended by net.sourceforge.c4j.ContractBase<PermutationSpec>
      extended by Prog1Tools.PermutationSpecContract

public class PermutationSpecContract
extends net.sourceforge.c4j.ContractBase<PermutationSpec>


Field Summary
 
Fields inherited from class net.sourceforge.c4j.ContractBase
m_target
 
Constructor Summary
PermutationSpecContract(PermutationSpec target)
           
 
Method Summary
 void post_getFactorial(int n)
           
 void post_getNext()
           
 void post_getNumLeft()
           
 void post_getTotal()
           
 void post_hasMore()
           
 void post_reset()
           
 void pre_getFactorial(int n)
           
 void pre_getNext()
           
 void pre_getNumLeft()
           
 void pre_getTotal()
           
 void pre_hasMore()
           
 void pre_reset()
           
 
Methods inherited from class net.sourceforge.c4j.ContractBase
addLogger, classInvariantCheck, getPreconditionValue, getReturnValue, getTargetField, implies, popPreconditionValuesMap, popReturnValue, postConditionCheck, preConditionCheck, pushPreconditionValuesMap, pushReturnValue, setPreconditionValue, setReturnValue
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PermutationSpecContract

public PermutationSpecContract(PermutationSpec target)
Method Detail

pre_reset

public void pre_reset()

post_reset

public void post_reset()

pre_getNumLeft

public void pre_getNumLeft()

post_getNumLeft

public void post_getNumLeft()

pre_getTotal

public void pre_getTotal()

post_getTotal

public void post_getTotal()

pre_hasMore

public void pre_hasMore()

post_hasMore

public void post_hasMore()

pre_getFactorial

public void pre_getFactorial(int n)

post_getFactorial

public void post_getFactorial(int n)

pre_getNext

public void pre_getNext()

post_getNext

public void post_getNext()