Prog1Tools
Class PermutationSpecContract
java.lang.Object
net.sourceforge.c4j.ContractBase<PermutationSpec>
Prog1Tools.PermutationSpecContract
public class PermutationSpecContract
- extends net.sourceforge.c4j.ContractBase<PermutationSpec>
Fields inherited from class net.sourceforge.c4j.ContractBase |
m_target |
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 |
PermutationSpecContract
public PermutationSpecContract(PermutationSpec target)
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()