|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjfig.objects.FigBaseobject
jfig.objects.FigRectangle
hades.models.fsm.FsmRenderer
FsmRenderer - used to display the JavaFSM state machine icon in HADES
This class is realized as a subclass of JavaFIG FigRectangle with specific attributes: layer 60, color white and overrides paint() to do the actual painting
Field Summary | |
protected FSM |
fsm
|
protected java.lang.String |
label
|
protected java.awt.Point |
position
|
Fields inherited from class jfig.objects.FigRectangle |
pixel_width, radius, renderer, use_rounded_corners |
Fields inherited from class jfig.objects.FigBaseobject |
attribs, bbox, comment, debug, painter, printer, sc_bbox, sc_bbox_timestamp, selected, showPoints, syncRedrawFlag, timestamp, trafo, visible, x, y |
Constructor Summary | |
FsmRenderer()
construct an empty FsmRenderer. |
Method Summary | |
FigObject |
copy()
make a copy of this object and return the reference to the copy. |
FSM |
getFSM()
|
boolean |
initialize(java.lang.String s)
initialize an FsmRenderer from a String. |
void |
paint(java.awt.Graphics g)
paint() this object. |
void |
paint(java.awt.Graphics g,
FigTrafo2D trafo)
paint this object using the specified transformation and Graphics g |
void |
setFSM(FSM fsm)
|
java.lang.String |
toString()
toString() - the usual info method |
void |
writeAsResource(java.io.PrintWriter ps)
default implementation of 'writeAsResource'. |
Methods inherited from class jfig.objects.FigRectangle |
appendPoint, canRotate, createRenderer, deletePoint, getMovePointNeighbors, getNearestPoint, getNeighborPoints, getPoints, insertPoint, isClosed, isRounded, minDistance, minDistanceEuclid, mirrorX, mirrorY, move, movePoint, paintSave, rebuild, setAttributes, setFillColor, setFillStyle, setLayer, setLineColor, setLineStyle, setLineWidth, setPoints, supportsPointOps, update |
Methods inherited from class jfig.objects.FigBaseobject |
build_sc_bbox, clonePoints, deselect, get_sc_bbox, getAttributes, getBbox, getComment, getLayer, getPosition, getSyncRedrawFlag, getText, getTimestamp, getTrafo, isSelected, isShowPoints, isVisible, isVisible, keyPressed, manhattan, message, numPoints, reset_debug, rotate, scale, select, set_debug, setComment, setConsole, setObjectPainter, setSyncRedrawFlag, setText, setTrafo, setVisible, showPoints, updateAttributes |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
protected java.awt.Point position
protected java.lang.String label
protected FSM fsm
Constructor Detail |
public FsmRenderer()
Method Detail |
public boolean initialize(java.lang.String s)
initialize
in interface FigObject
initialize
in class FigBaseobject
public FSM getFSM()
public void setFSM(FSM fsm)
public void writeAsResource(java.io.PrintWriter ps)
FigBaseobject
writeAsResource
in interface FigObject
writeAsResource
in class FigBaseobject
public void paint(java.awt.Graphics g, FigTrafo2D trafo)
FigDrawable
paint
in interface FigObject
paint
in class FigRectangle
public void paint(java.awt.Graphics g)
FigBaseobject
paint
in interface FigObject
paint
in class FigRectangle
public FigObject copy()
FigRectangle
copy
in interface FigObject
copy
in class FigRectangle
public java.lang.String toString()
toString
in interface FigObject
toString
in class FigRectangle
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |