Prog1Tools
Class FunctionPlotterSpecContract

java.lang.Object
  extended by net.sourceforge.c4j.ContractBase<FunctionPlotterSpec>
      extended by Prog1Tools.FunctionPlotterSpecContract

public class FunctionPlotterSpecContract
extends net.sourceforge.c4j.ContractBase<FunctionPlotterSpec>

Vertragsklasse der Spezifikation eines Plotters zur Darstellung von Funktionsgraphen.

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

Field Summary
 
Fields inherited from class net.sourceforge.c4j.ContractBase
m_target
 
Constructor Summary
FunctionPlotterSpecContract(FunctionPlotterSpec target)
           
 
Method Summary
 void post_drawAbscissae()
           
 void post_drawCoordinateSystem()
           
 void post_drawGraph(double[] xValues, double[] yValues, boolean isFilled)
           
 void post_drawGraph(FunctionSpec function, boolean isFilled)
           
 void post_drawOrdinate()
           
 void post_getLeftX()
           
 void post_getLowerY()
           
 void post_getRightX()
           
 void post_getUpperY()
           
 void post_setXRange(double leftX, double rightX)
           
 void post_setYRange(double lowerY, double upperY)
           
 void pre_drawAbscissae()
           
 void pre_drawCoordinateSystem()
           
 void pre_drawGraph(double[] xValues, double[] yValues, boolean isFilled)
           
 void pre_drawGraph(FunctionSpec function, boolean isFilled)
           
 void pre_drawOrdinate()
           
 void pre_getLeftX()
           
 void pre_getLowerY()
           
 void pre_getRightX()
           
 void pre_getUpperY()
           
 void pre_setXRange(double leftX, double rightX)
           
 void pre_setYRange(double lowerY, double upperY)
           
 
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

FunctionPlotterSpecContract

public FunctionPlotterSpecContract(FunctionPlotterSpec target)
Method Detail

pre_setXRange

public void pre_setXRange(double leftX,
                          double rightX)

post_setXRange

public void post_setXRange(double leftX,
                           double rightX)

pre_setYRange

public void pre_setYRange(double lowerY,
                          double upperY)

post_setYRange

public void post_setYRange(double lowerY,
                           double upperY)

pre_getLeftX

public void pre_getLeftX()

post_getLeftX

public void post_getLeftX()

pre_getRightX

public void pre_getRightX()

post_getRightX

public void post_getRightX()

pre_getLowerY

public void pre_getLowerY()

post_getLowerY

public void post_getLowerY()

pre_getUpperY

public void pre_getUpperY()

post_getUpperY

public void post_getUpperY()

pre_drawAbscissae

public void pre_drawAbscissae()

post_drawAbscissae

public void post_drawAbscissae()

pre_drawOrdinate

public void pre_drawOrdinate()

post_drawOrdinate

public void post_drawOrdinate()

pre_drawCoordinateSystem

public void pre_drawCoordinateSystem()

post_drawCoordinateSystem

public void post_drawCoordinateSystem()

pre_drawGraph

public void pre_drawGraph(double[] xValues,
                          double[] yValues,
                          boolean isFilled)

post_drawGraph

public void post_drawGraph(double[] xValues,
                           double[] yValues,
                           boolean isFilled)

pre_drawGraph

public void pre_drawGraph(FunctionSpec function,
                          boolean isFilled)

post_drawGraph

public void post_drawGraph(FunctionSpec function,
                           boolean isFilled)