public class StringGelem extends OneColorGelem
Modifier and Type | Field and Description |
---|---|
java.lang.String |
text
String to be drawed.
|
Constructor and Description |
---|
StringGelem(java.lang.String text,
java.awt.Color color)
Constructs a new StringGelem (1x1 cells using Monospaced font).
|
StringGelem(java.lang.String text,
java.awt.Color color,
double cellOccupation)
Constructs a new StringGelem (1x1 cells using Monospaced font).
|
StringGelem(java.lang.String text,
java.awt.Color color,
int numberOfLines,
int numberOfColumns)
Constructs a new StringGelem (using Monospaced font).
|
StringGelem(java.lang.String text,
java.awt.Color color,
int numberOfLines,
int numberOfColumns,
double cellOccupation)
Constructs a new StringGelem (using Monospaced font).
|
StringGelem(java.lang.String text,
java.awt.Color color,
int numberOfLines,
int numberOfColumns,
double cellOccupation,
java.lang.String fontName)
Constructs a new StringGelem.
|
StringGelem(java.lang.String text,
java.awt.Color color,
int numberOfLines,
int numberOfColumns,
java.lang.String fontName)
Constructs a new StringGelem.
|
StringGelem(java.lang.String text,
java.awt.Color color,
java.lang.String fontName)
Constructs a new StringGelem (1x1 cells).
|
className, draw, erase, height, intersects, isMutable, mutable, mutableDraw, mutableErase, numberOfColumns, numberOfLines, width, x, y
public StringGelem(java.lang.String text, java.awt.Color color)
requires: text != null
requires: color != null
text
- string to be drawedcolor
- gelem's colorpublic StringGelem(java.lang.String text, java.awt.Color color, double cellOccupation)
requires: text != null
requires: color != null
requires: cellOccupation >= 0.0 && cellOccupation <= 100.0
text
- string to be drawedcolor
- gelem's colorcellOccupation
- aproximate cell occupation (%)public StringGelem(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 StringGelem(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 StringGelem(java.lang.String text, java.awt.Color color, int numberOfLines, int numberOfColumns, double cellOccupation)
requires: text != null
requires: color != null
requires: numberOfLines >= 1 && numberOfColumns >= 1
requires: cellOccupation >= 0.0 && cellOccupation <= 100.0
text
- string to be drawedcolor
- gelem's colornumberOfLines
- number of linesnumberOfColumns
- number of columnscellOccupation
- aproximate cell occupation (%)public StringGelem(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 namepublic StringGelem(java.lang.String text, java.awt.Color color, int numberOfLines, int numberOfColumns, double cellOccupation, java.lang.String fontName)
requires: text != null
requires: color != null
requires: numberOfLines >= 1 && numberOfColumns >= 1
requires: cellOccupation >= 0.0 && cellOccupation <= 100.0
requires: fontName != null
text
- string to be drawedcolor
- gelem's colornumberOfLines
- number of linesnumberOfColumns
- number of columnscellOccupation
- aproximate cell occupation (%)fontName
- font name