public class PacmanGelem extends OneColorGelem
This class follows DbC(tm) methodology. Where possible, contracts are implement with JML and native's Java assert.
| Constructor and Description |
|---|
PacmanGelem(java.awt.Color color,
double cellOccupation)
Constructs a new PacmanGelem (1x1 cells).
|
PacmanGelem(java.awt.Color color,
double cellOccupation,
int numberOfLines,
int numberOfColumns)
Constructs a new PacmanGelem.
|
className, draw, erase, height, intersects, isMutable, mutable, mutableDraw, mutableErase, numberOfColumns, numberOfLines, width, x, ypublic PacmanGelem(java.awt.Color color,
double cellOccupation)
requires: color != null && cellOccupation >= 0.0 && cellOccupation <= 100.0
color - gelem's colorcellOccupation - total cell's occupation (%)public PacmanGelem(java.awt.Color color,
double cellOccupation,
int numberOfLines,
int numberOfColumns)
requires: color != null && cellOccupation >= 0.0 && cellOccupation <= 100.0 && numberOfLines >= 1 && numberOfColumns >= 1
color - gelem's colorcellOccupation - total cell's occupation (%)numberOfLines - number of linesnumberOfColumns - number of columns