Prog1Tools
Class FunctionPlotterSpecContract
java.lang.Object
net.sourceforge.c4j.ContractBase<FunctionPlotterSpec>
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
Fields inherited from class net.sourceforge.c4j.ContractBase |
m_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 |
FunctionPlotterSpecContract
public FunctionPlotterSpecContract(FunctionPlotterSpec target)
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)