|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.awt.Component
java.awt.Container
java.awt.Window
java.awt.Dialog
javax.swing.JDialog
de.uni_paderborn.fujaba.gui.BasicPropertyEditor
de.uni_paderborn.fujaba.gui.PropertyEditor
de.uni_paderborn.fujaba.gui.PEActTransition
No comment provided by developer, please add a comment to improve documentation.
Nested Class Summary |
Nested classes inherited from class de.uni_paderborn.fujaba.gui.BasicPropertyEditor |
BasicPropertyEditor.ParseException |
Nested classes inherited from class javax.swing.JDialog |
javax.swing.JDialog.AccessibleJDialog |
Nested classes inherited from class java.awt.Dialog |
java.awt.Dialog.AccessibleAWTDialog |
Nested classes inherited from class java.awt.Window |
java.awt.Window.AccessibleAWTWindow |
Nested classes inherited from class java.awt.Container |
java.awt.Container.AccessibleAWTContainer |
Nested classes inherited from class java.awt.Component |
java.awt.Component.AccessibleAWTComponent, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy |
Field Summary | |
static java.lang.String |
GuardBooleanExpression
No comment provided by developer, please add a comment to improve documentation. |
static java.lang.String |
GuardEachTime
No comment provided by developer, please add a comment to improve documentation. |
static java.lang.String |
GuardElse
No comment provided by developer, please add a comment to improve documentation. |
static java.lang.String |
GuardException
|
static java.lang.String |
GuardFailure
No comment provided by developer, please add a comment to improve documentation. |
static java.lang.String |
GuardNone
No comment provided by developer, please add a comment to improve documentation. |
static java.lang.String[] |
Guards
No comment provided by developer, please add a comment to improve documentation. |
static java.lang.String |
GuardSuccess
No comment provided by developer, please add a comment to improve documentation. |
static java.lang.String |
GuardTermination
No comment provided by developer, please add a comment to improve documentation. |
Fields inherited from class de.uni_paderborn.fujaba.gui.BasicPropertyEditor |
asgElement, readOnly |
Fields inherited from class javax.swing.JDialog |
accessibleContext, rootPane, rootPaneCheckingEnabled |
Fields inherited from class java.awt.Component |
BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT |
Fields inherited from interface javax.swing.WindowConstants |
DISPOSE_ON_CLOSE, DO_NOTHING_ON_CLOSE, EXIT_ON_CLOSE, HIDE_ON_CLOSE |
Fields inherited from interface java.awt.image.ImageObserver |
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH |
Constructor Summary | |
PEActTransition(javax.swing.JFrame frame)
Constructor for class PEActTransition |
Method Summary | |
protected void |
additionalProperties(PEEditPanel panel)
No comment provided by developer, please add a comment to improve documentation. |
protected void |
cancel()
No comment provided by developer, please add a comment to improve documentation. |
java.lang.String |
getPropertyName()
Get the propertyName attribute of the PEActTransition object |
protected void |
parse()
No comment provided by developer, please add a comment to improve documentation. |
void |
selectionChanged()
No comment provided by developer, please add a comment to improve documentation. |
void |
setIncrement(ASGElement asgElement,
ASGElement addIncr)
Sets the increment attribute of the PEActTransition object |
protected void |
unparse()
No comment provided by developer, please add a comment to improve documentation. |
Methods inherited from class de.uni_paderborn.fujaba.gui.PropertyEditor |
getClassIncrement, setIncrement |
Methods inherited from class de.uni_paderborn.fujaba.gui.BasicPropertyEditor |
additionalButtons, buttonActionPerformed, buttonOK_actionPerformed, centerDialog, focusGained, focusLost, getFocusAdapter, getFrame, getIncrement, initPE, isReadOnly, setFrame, setIncrementWithoutParse, setPanel, setReadOnly, setStatus, showCentered, showLarge |
Methods inherited from class javax.swing.JDialog |
addImpl, createRootPane, dialogInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getJMenuBar, getLayeredPane, getRootPane, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processWindowEvent, remove, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, update |
Methods inherited from class java.awt.Dialog |
addNotify, dispose, getTitle, hide, isModal, isResizable, isUndecorated, setModal, setResizable, setTitle, setUndecorated, show |
Methods inherited from class java.awt.Window |
addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, finalize, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getGraphicsConfiguration, getInputContext, getListeners, getLocale, getMostRecentFocusOwner, getOwnedWindows, getOwner, getToolkit, getWarningString, getWindowFocusListeners, getWindowListeners, getWindowStateListeners, isActive, isFocusableWindow, isFocusCycleRoot, isFocused, isShowing, pack, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, setCursor, setFocusableWindowState, setFocusCycleRoot, setLocationRelativeTo, toBack, toFront |
Methods inherited from class java.awt.Container |
add, add, add, add, add, addContainerListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getContainerListeners, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, getMinimumSize, getPreferredSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paint, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, removeNotify, setFocusTraversalKeys, setFocusTraversalPolicy, setFont, transferFocusBackward, transferFocusDownCycle, validate, validateTree |
Methods inherited from class java.awt.Component |
action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, contains, createImage, createImage, createVolatileImage, createVolatileImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphics, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getSize, getTreeLock, getWidth, getX, getY, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isDoubleBuffered, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isOpaque, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, prepareImage, prepareImage, printAll, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processKeyEvent, processMouseEvent, processMouseMotionEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, reshape, resize, resize, setBackground, setBounds, setBounds, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, setVisible, show, size, toString, transferFocus, transferFocusUpCycle |
Methods inherited from class java.lang.Object |
clone, equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
public static final java.lang.String GuardNone
public static final java.lang.String GuardSuccess
public static final java.lang.String GuardFailure
public static final java.lang.String GuardEachTime
public static final java.lang.String GuardTermination
public static final java.lang.String GuardElse
public static final java.lang.String GuardBooleanExpression
public static final java.lang.String GuardException
public static final java.lang.String[] Guards
Constructor Detail |
public PEActTransition(javax.swing.JFrame frame)
frame
- No description providedMethod Detail |
protected void additionalProperties(PEEditPanel panel)
additionalProperties
in class BasicPropertyEditor
panel
- No description providedpublic void setIncrement(ASGElement asgElement, ASGElement addIncr)
asgElement
- The new increment valueaddIncr
- The new increment valuepublic java.lang.String getPropertyName()
getPropertyName
in class BasicPropertyEditor
protected void unparse()
unparse
in class BasicPropertyEditor
protected void parse()
parse
in class BasicPropertyEditor
protected void cancel()
cancel
in class BasicPropertyEditor
public void selectionChanged()
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |