Prog1Tools
Class GraphicItemSpecContract
java.lang.Object
net.sourceforge.c4j.ContractBase<GraphicItemSpec>
Prog1Tools.GraphicItemSpecContract
public class GraphicItemSpecContract
- extends net.sourceforge.c4j.ContractBase<GraphicItemSpec>
Vertragsklasse der Spezifikation eines Grafikelements.
- Version:
- 1.1
- 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 |
GraphicItemSpecContract
public GraphicItemSpecContract(GraphicItemSpec target)
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)