public class CharGelem extends StringGelem
text
Constructor and Description |
---|
CharGelem(char c,
java.awt.Color color)
Constructs a new CharGelem (1x1 cells using Monospaced font).
|
CharGelem(char c,
java.awt.Color color,
int numberOfLines,
int numberOfColumns)
Constructs a new CharGelem (using Monospaced font).
|
CharGelem(char c,
java.awt.Color color,
int numberOfLines,
int numberOfColumns,
java.lang.String fontName)
Constructs a new CharGelem.
|
CharGelem(char c,
java.awt.Color color,
java.lang.String fontName)
Constructs a new CharGelem (1x1 cells).
|
className, draw, erase, height, intersects, isMutable, mutable, mutableDraw, mutableErase, numberOfColumns, numberOfLines, width, x, y
public CharGelem(char c, java.awt.Color color)
requires: color != null
c
- character to be drawedcolor
- gelem's colorpublic CharGelem(char c, java.awt.Color color, java.lang.String fontName)
requires: color != null && fontName != null
c
- character to be drawedcolor
- gelem's colorfontName
- font namepublic CharGelem(char c, java.awt.Color color, int numberOfLines, int numberOfColumns)
requires: color != null && numberOfLines >= 1 && numberOfColumns >= 1
c
- character to be drawedcolor
- gelem's colornumberOfLines
- number of linesnumberOfColumns
- number of columnspublic CharGelem(char c, java.awt.Color color, int numberOfLines, int numberOfColumns, java.lang.String fontName)
requires: color != null && numberOfLines >= 1 && numberOfColumns >= 1 && fontName != null
c
- character to be drawedcolor
- gelem's colornumberOfLines
- number of linesnumberOfColumns
- number of columnsfontName
- font name