Prog1Tools
Class GraphicItemSpecContract

java.lang.Object
  extended by net.sourceforge.c4j.ContractBase<GraphicItemSpec>
      extended by Prog1Tools.GraphicItemSpecContract

public class GraphicItemSpecContract
extends net.sourceforge.c4j.ContractBase<GraphicItemSpec>

Vertragsklasse der Spezifikation eines Grafikelements.

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

Field Summary
 
Fields inherited from class net.sourceforge.c4j.ContractBase
m_target
 
Constructor Summary
GraphicItemSpecContract(GraphicItemSpec target)
           
 
Method Summary
 void post_hide()
           
 void post_isVisible()
           
 void post_move(int xDistance, int yDistance)
           
 void post_paint(java.awt.Graphics graphics)
           
 void post_show()
           
 void pre_hide()
           
 void pre_isVisible()
           
 void pre_move(int xDistance, int yDistance)
           
 void pre_paint(java.awt.Graphics graphics)
           
 void pre_show()
           
 
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

GraphicItemSpecContract

public GraphicItemSpecContract(GraphicItemSpec target)
Method Detail

pre_paint

public void pre_paint(java.awt.Graphics graphics)

post_paint

public void post_paint(java.awt.Graphics graphics)

pre_show

public void pre_show()

post_show

public void post_show()

pre_hide

public void pre_hide()

post_hide

public void post_hide()

pre_isVisible

public void pre_isVisible()

post_isVisible

public void post_isVisible()

pre_move

public void pre_move(int xDistance,
                     int yDistance)

post_move

public void post_move(int xDistance,
                      int yDistance)