hades.models.fsm
Class Kommentar

java.lang.Object
  hades.models.fsm.Kommentar

public class Kommentar

extends java.lang.Object

Kommentar-Feld im Automaten

Field Summary

int	x Koordinaten des Kommentars im Editor
int	y Koordinaten des Kommentars im Editor

Constructor Summary

Kommentar(java.lang.String txt, int xPos, int yPos)
Konstruktor f?r einen Kommentar

Method Summary

int	getHeight(java.awt.FontMetrics fm) Liefert die H?he des Kommentars in Pixeln
java.lang.String[]	getLines() Liefert die einzelnen Zeilen des Kommentares
java.lang.String	getText() Liefert den Kommentar-Text
int	getWidth(java.awt.FontMetrics fm) Liefert die Breite des Kommentars in Pixeln
void	setText(java.lang.String txt) Setzt des Kommentar-Text neu

Methods inherited from class java.lang.Object

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

Field Detail

x

public int x

Koordinaten des Kommentars im Editor

y

public int y

Koordinaten des Kommentars im Editor

Constructor Detail

Kommentar

public Kommentar(java.lang.String txt,
                 int xPos,
                 int yPos)

Konstruktor f?r einen Kommentar

Parameters:

xPos - x-Koordinate im Editor (int)

yPos - y-Koordinate im Editor (int)

txt - Kommentar-Text (String)

Method Detail

setText

public void setText(java.lang.String txt)

Setzt des Kommentar-Text neu

Parameters:

txt - Kommentar-Text (String)

getLines

public java.lang.String[] getLines()

Liefert die einzelnen Zeilen des Kommentares

Returns:

String[] Kommentar-Zeilen

getText

public java.lang.String getText()

Liefert den Kommentar-Text

Returns:

String Kommentar-Text

getHeight

public int getHeight(java.awt.FontMetrics fm)

Liefert die H?he des Kommentars in Pixeln

Parameters:

fm - Schrift-Eigenschaften (FontMetrics)

Returns:

int Kommentarh?he

getWidth

public int getWidth(java.awt.FontMetrics fm)

Liefert die Breite des Kommentars in Pixeln

Parameters:

fm - Schrift-Eigenschaften (FontMetrics)

Returns:

int Kommentarbreite