Prog1Tools
Class GraphicItemContract

java.lang.Object
  extended by net.sourceforge.c4j.ContractBase<GraphicItem>
      extended by Prog1Tools.GraphicItemContract

public class GraphicItemContract
extends net.sourceforge.c4j.ContractBase<GraphicItem>


Field Summary
 
Fields inherited from class net.sourceforge.c4j.ContractBase
m_target
 
Constructor Summary
GraphicItemContract(GraphicItem target)
           
 
Method Summary
 void post_GraphicItem()
           
 void pre_GraphicItem()
           
 
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

GraphicItemContract

public GraphicItemContract(GraphicItem target)
Method Detail

pre_GraphicItem

public void pre_GraphicItem()

post_GraphicItem

public void post_GraphicItem()