Prog1Tools
Class CSVFileSpecContract

java.lang.Object
  extended by net.sourceforge.c4j.ContractBase<CSVFileSpec>
      extended by Prog1Tools.CSVFileSpecContract

public class CSVFileSpecContract
extends net.sourceforge.c4j.ContractBase<CSVFileSpec>

Vertragsklasse des Interfaces CSVFileSpec.

Version:
1.00
Author:
hagen.buchwald@kit.edu

Field Summary
 
Fields inherited from class net.sourceforge.c4j.ContractBase
m_target
 
Constructor Summary
CSVFileSpecContract(CSVFileSpec target)
           
 
Method Summary
 void post_create()
           
 void post_delete()
           
 void post_equals(CSVFileSpec other)
           
 void post_exists()
           
 void post_getContent()
           
 void post_getName()
           
 void post_setContent(java.lang.String[][] content)
           
 void post_setName(java.lang.String name)
           
 void pre_create()
           
 void pre_delete()
           
 void pre_equals(CSVFileSpec other)
           
 void pre_exists()
           
 void pre_getContent()
           
 void pre_getName()
           
 void pre_setContent(java.lang.String[][] content)
           
 void pre_setName(java.lang.String name)
           
 
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

CSVFileSpecContract

public CSVFileSpecContract(CSVFileSpec target)
Method Detail

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)