pt.ua.gboard

Class MutableGelem

java.lang.Object

pt.ua.gboard.Gelem

pt.ua.gboard.MutableGelem

Direct Known Subclasses:

MutableOneColorGelem

public abstract class MutableGelem
extends Gelem

Abstract mutable graphical element occupying a rectangular group of cells in a GBoard. Descendants implmenting a mutable gelem are requires to the following executing code pattern when ia change to the gelem occurs: mutableErase(); change-code ; mutableDraw();

This class follows DbC(tm) methodology. Where possible, contracts are implement with JML and native's Java assert.

Author:

Miguel Oliveira e Silva (mos@ua.pt)

Constructor Summary

Constructors

Constructor and Description
MutableGelem() Constructs a new MutableGelem (1x1 cells).
MutableGelem(int numberOfLines, int numberOfColumns) Constructs a new MutableGelem (numberOfLines x numberOfColumns cells).

Method Summary

Modifier and Type	Method and Description
boolean	isMutable() Is gelem mutable? A mutable gelem automatically updates GBoard when updated.

Methods inherited from class pt.ua.gboard.Gelem

className, draw, erase, height, intersects, mutable, mutableDraw, mutableErase, numberOfColumns, numberOfLines, width, x, y

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MutableGelem

public MutableGelem()

Constructs a new MutableGelem (1x1 cells).

MutableGelem

public MutableGelem(int numberOfLines,
                    int numberOfColumns)

Constructs a new MutableGelem (numberOfLines x numberOfColumns cells).

requires: numberOfLines >= 1 && numberOfColumns >= 1

Parameters:

numberOfLines - number of lines

numberOfColumns - number of columns

Method Detail

isMutable

public boolean isMutable()

Is gelem mutable? A mutable gelem automatically updates GBoard when updated.

Overrides:

isMutable in class Gelem

Returns:

boolean true if mutable, otherwise retuns false