|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectSEdit.Graphics.GObject
SEdit.Graphics.GNode
SEdit.Graphics.GRectangle
SEdit.Formalisms.Petri.GPetriTransition
Field Summary |
Fields inherited from class SEdit.Graphics.GRectangle |
rDefaultHeight, rDefaultWidth |
Fields inherited from class SEdit.Graphics.GNode |
HANDLE_SIZE, resizable, selectedHandle |
Fields inherited from class SEdit.Graphics.GObject |
BOTTOM, bounds, CENTER, displayLabel, element, height, labelLocation, LEFT, RIGHT, selected, TOP, TOP_RIGHT, width, x, y |
Constructor Summary | |
GPetriTransition()
|
Method Summary | |
void |
paint(Graphics g)
|
Methods inherited from class SEdit.Graphics.GRectangle |
contains, intersection, isContainedIn |
Methods inherited from class SEdit.Graphics.GNode |
displayHandles, doDrag, doReSelect, getResizable, getSelectedHandle, select, setResizable |
Methods inherited from class SEdit.Graphics.GObject |
alignHorizontalTo, alignVerticalTo, delete, displayName, drag, getBounds, getCenter, getDimension, getDisplayLabel, getEditor, getForeground, getHeight, getLabelLocation, getLocation, getRectangle, getSElement, getWidth, init, intersection, isContainedIn, isSelectable, isSelected, reInstall, setCenter, setCenter, setDimension, setDisplayLabel, setEditor, setForeground, setHeight, setLabelLocation, setLocation, setLocation, setSElement, setSize, setWidth, snapToGrid, translate, translateBound, translateWrap |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public GPetriTransition()
Method Detail |
public void paint(Graphics g)
paint
in class GRectangle
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |