Prog1Tools
Class CSVFileSpecContract
java.lang.Object
net.sourceforge.c4j.ContractBase<CSVFileSpec>
Prog1Tools.CSVFileSpecContract
public class CSVFileSpecContract
- extends net.sourceforge.c4j.ContractBase<CSVFileSpec>
Vertragsklasse des Interfaces CSVFileSpec.
- Version:
- 1.00
- Author:
- hagen.buchwald@kit.edu
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 |
CSVFileSpecContract
public CSVFileSpecContract(CSVFileSpec target)
pre_setName
public void pre_setName(java.lang.String name)
post_setName
public void post_setName(java.lang.String name)
pre_getName
public void pre_getName()
post_getName
public void post_getName()
pre_setContent
public void pre_setContent(java.lang.String[][] content)
post_setContent
public void post_setContent(java.lang.String[][] content)
pre_getContent
public void pre_getContent()
post_getContent
public void post_getContent()
pre_create
public void pre_create()
post_create
public void post_create()
pre_delete
public void pre_delete()
post_delete
public void post_delete()
pre_exists
public void pre_exists()
post_exists
public void post_exists()
pre_equals
public void pre_equals(CSVFileSpec other)
post_equals
public void post_equals(CSVFileSpec other)