5 Objektorientiertes Design

82 3 Objektorientiertes Design
ge der erlaubten Zustände ist jedoch wesentlich geringer. Das gilt im Speziellen für
dieses Beispiel und lässt sich auf viele Fälle in der Praxis übertragen.
Die Klasse GridPosition bietet zwei Business-Methoden, die Objektverhalten
beschreiben – dies sind addOffset(int, int) und setSamePos(int). Zur Demonstration
von Inkonsistenzen im Objektzustand sind öffentliche set()-Methoden
für die Attribute x und y definiert.
public final class GridPosition
{
private static final int GRID_SIZE = 10;
// Invariante: x,y liegen immer auf einem Raster der Größe 10
private int x = 0;
private int y = 0;
GridPosition()
{
}
public void addOffset(final int dx, final int dy)
{
// Vorbedingung: x, y auf einem beliebigen Rasterpunkt
checkOnGrid(x,y);
x += snapToGrid(dx);
y += snapToGrid(dy);
}
// Nachbedingung: x + (dy \% 10), y + (dy % 10) auf einem Rasterpunkt
checkOnGrid(x,y);
public void setSamePos(final int pos)
{
// Vorbedingung: x, y auf einem beliebigen Rasterpunkt
checkOnGrid(x,y);
x = snapToGrid(pos);
y = snapToGrid(pos);
}
// Nachbedingung: x = y = (pos % 10) auf einem Rasterpunkt
checkOnGrid(x,y);
private static void checkOnGrid(final int x, final int y)
{
if (x % GRID_SIZE != 0 || y % GRID_SIZE != 0)
throw new IllegalStateException("invalid position, not on grid");
}
private int snapToGrid(final int value)
{
return value - value % GRID_SIZE;
}
public int getX() { return x; }
public int getY() { return y; }
}
// Zur Demonstration von Problemen
public void setX(final int x) { this.x = x; }
public void setY(final int y) { this.y = y; }