SEdit.Formalisms.Petri
Class GPetriPlace

java.lang.Object
  extended bySEdit.Graphics.GObject
      extended bySEdit.Graphics.GNode
          extended bySEdit.Graphics.GOval
              extended bySEdit.Formalisms.Petri.GPetriPlace

public class GPetriPlace
extends GOval


Field Summary
 
Fields inherited from class SEdit.Graphics.GOval
rDefault
 
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
GPetriPlace()
           
 
Method Summary
 void paint(Graphics g)
           
 
Methods inherited from class SEdit.Graphics.GOval
contains, intersection
 
Methods inherited from class SEdit.Graphics.GNode
displayHandles, doDrag, doReSelect, getResizable, getSelectedHandle, isContainedIn, 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

GPetriPlace

public GPetriPlace()
Method Detail

paint

public void paint(Graphics g)
Overrides:
paint in class GOval


Copyright © J. Ferber, O. Gutknecht All Rights Reserved.