public class MutableStringGelem extends MutableOneColorGelem
| Constructor and Description |
|---|
MutableStringGelem(java.lang.String text,
java.awt.Color color)
Constructs a new MutableStringGelem (1x1 cells using Monospaced font).
|
MutableStringGelem(java.lang.String text,
java.awt.Color color,
int numberOfLines,
int numberOfColumns)
Constructs a new MutableStringGelem (using Monospaced font).
|
MutableStringGelem(java.lang.String text,
java.awt.Color color,
int numberOfLines,
int numberOfColumns,
java.lang.String fontName)
Constructs a new MutableStringGelem.
|
MutableStringGelem(java.lang.String text,
java.awt.Color color,
java.lang.String fontName)
Constructs a new MutableStringGelem (1x1 cells).
|
| Modifier and Type | Method and Description |
|---|---|
void |
setText(java.lang.String text) |
java.lang.String |
text()
String to be drawed.
|
color, setColorisMutableclassName, draw, erase, height, intersects, mutable, mutableDraw, mutableErase, numberOfColumns, numberOfLines, width, x, ypublic MutableStringGelem(java.lang.String text,
java.awt.Color color)
requires: text != null
requires: color != null
text - string to be drawedcolor - gelem's colorpublic MutableStringGelem(java.lang.String text,
java.awt.Color color,
java.lang.String fontName)
requires: text != null
requires: color != null
requires: fontName != null
text - string to be drawedcolor - gelem's colorfontName - font namepublic MutableStringGelem(java.lang.String text,
java.awt.Color color,
int numberOfLines,
int numberOfColumns)
requires: text != null
requires: color != null
requires: numberOfLines >= 1 && numberOfColumns >= 1
text - string to be drawedcolor - gelem's colornumberOfLines - number of linesnumberOfColumns - number of columnspublic MutableStringGelem(java.lang.String text,
java.awt.Color color,
int numberOfLines,
int numberOfColumns,
java.lang.String fontName)
requires: text != null
requires: color != null
requires: numberOfLines >= 1 && numberOfColumns >= 1
requires: fontName != null
text - string to be drawedcolor - gelem's colornumberOfLines - number of linesnumberOfColumns - number of columnsfontName - font name