ix.iview
Class DefaultConstraintEditor

java.lang.Object
  |
  +--java.awt.Component
        |
        +--java.awt.Container
              |
              +--java.awt.Window
                    |
                    +--java.awt.Frame
                          |
                          +--javax.swing.JFrame
                                |
                                +--ix.iview.ConstraintEditor
                                      |
                                      +--ix.iview.DefaultConstraintEditor
All Implemented Interfaces:
javax.accessibility.Accessible, java.util.EventListener, java.awt.image.ImageObserver, java.awt.MenuContainer, java.awt.event.MouseListener, javax.swing.RootPaneContainer, java.io.Serializable, javax.swing.WindowConstants

public class DefaultConstraintEditor
extends ConstraintEditor

An editor for specifying generic constraints in refinements. Constraints are attached to self (the refinement) or to a child.

The editor is implemented as a frame using JList objects, a JCheckBox and JButtons.

The editor can be created with no arguments or with a given refinement which will be set as the current refinement whose conditions and effects are to be specified. Subsequently, the refinement in the editor can be set using the setRefinement method.

See Also:
Serialized Form

Inner classes inherited from class javax.swing.JFrame
javax.swing.JFrame.AccessibleJFrame
 
Inner classes inherited from class java.awt.Frame
java.awt.Frame.AccessibleAWTFrame
 
Inner classes inherited from class java.awt.Window
java.awt.Window.AccessibleAWTWindow
 
Inner classes inherited from class java.awt.Container
java.awt.Container.AccessibleAWTContainer
 
Inner classes inherited from class java.awt.Component
java.awt.Component.AccessibleAWTComponent, java.awt.Component.AWTTreeLock
 
Field Summary
protected  javax.swing.JRadioButton condBut
           
(package private)  LTF_Parser constraintParser
           
protected  javax.swing.JRadioButton effBut
           
protected  javax.swing.JTextField relField
           
protected  javax.swing.JTextField statement
           
protected  javax.swing.JTextField typeField
           
 
Fields inherited from class ix.iview.ConstraintEditor
butBox, cancelBut, constraintListeners, currentObject, label, mainPanel, moreBut, okBut, original, relsBox
 
Fields inherited from class javax.swing.JFrame
accessibleContext, EXIT_ON_CLOSE, rootPane, rootPaneCheckingEnabled
 
Fields inherited from class java.awt.Frame
CROSSHAIR_CURSOR, DEFAULT_CURSOR, E_RESIZE_CURSOR, HAND_CURSOR, icon, ICONIFIED, mbManagement, menuBar, MOVE_CURSOR, N_RESIZE_CURSOR, NE_RESIZE_CURSOR, NORMAL, NW_RESIZE_CURSOR, ownedWindows, resizable, S_RESIZE_CURSOR, SE_RESIZE_CURSOR, SW_RESIZE_CURSOR, TEXT_CURSOR, title, W_RESIZE_CURSOR, WAIT_CURSOR
 
Fields inherited from class java.awt.Window
inputContext, OPENED, ownedWindowList, state, warningString, windowListener
 
Fields inherited from class java.awt.Container
component, containerListener, layoutMgr, listeningBoundsChildren, listeningChildren, ncomponents
 
Fields inherited from class java.awt.Component
actionListenerK, adjustmentListenerK, appContext, background, BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, componentListener, componentListenerK, componentOrientation, containerListenerK, cursor, dropTarget, enabled, eventMask, focusListener, focusListenerK, font, foreground, graphicsConfig, hasFocus, height, hierarchyBoundsListener, hierarchyBoundsListenerK, hierarchyListener, hierarchyListenerK, incRate, inputMethodListener, inputMethodListenerK, isInc, isPacked, itemListenerK, keyListener, keyListenerK, LEFT_ALIGNMENT, locale, LOCK, metrics, minSize, mouseListener, mouseListenerK, mouseMotionListener, mouseMotionListenerK, newEventsOnly, ownedWindowK, parent, peer, peerFont, popups, prefSize, RIGHT_ALIGNMENT, textListenerK, TOP_ALIGNMENT, valid, visible, width, windowClosingException, windowListenerK, x, y
 
Fields inherited from interface javax.swing.WindowConstants
DISPOSE_ON_CLOSE, DO_NOTHING_ON_CLOSE, HIDE_ON_CLOSE
 
Fields inherited from interface java.awt.image.ImageObserver
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH
 
Constructor Summary
DefaultConstraintEditor()
          Creates an editor for specifying time point relations.
DefaultConstraintEditor(UIRefinement refinement)
          Creates an editor for specifying time point relations within the given refinement.
 
Method Summary
protected  java.lang.Object collectConstraint()
          Reads the selected relation and let interested parties know.
protected  java.lang.String ensureParenthesized(java.lang.String text)
           
protected  void initFromObject()
          Sets the refinement whose components (children) are to be realted.
protected  java.awt.Component makeRels()
          Makes all items on the relations panel.
protected  java.util.List readCondition(java.lang.String text)
           
protected  Constraint readCondition(Symbol type, Symbol rel, java.lang.String text)
           
protected  void setFromObject(java.lang.Object original)
           
 
Methods inherited from class ix.iview.ConstraintEditor
addConstraintListener, closeEditor, isEditing, moreInitFromObject, mouseClicked, mouseEntered, mouseExited, mousePressed, mouseReleased, removeConstraintListener, setMessage, setObject, setOriginal, start, start, start, start, start, start
 
Methods inherited from class javax.swing.JFrame
addImpl, createRootPane, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getJMenuBar, getLayeredPane, getRootPane, isRootPaneCheckingEnabled, paramString, processKeyEvent, processWindowEvent, remove, setContentPane, setDefaultCloseOperation, setGlassPane, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, update
 
Methods inherited from class java.awt.Frame
, addNotify, addToFrameList, constructComponentName, finalize, getCursorType, getFrames, getIconImage, getMenuBar, getState, getTitle, isResizable, postProcessKeyEvent, remove, removeFromFrameList, removeNotify, setCursor, setIconImage, setMenuBar, setResizable, setState, setTitle
 
Methods inherited from class java.awt.Window
addOwnedWindow, addWindowListener, adjustListeningChildren, applyResourceBundle, applyResourceBundle, connectOwnedWindow, dispatchEventImpl, dispose, eventEnabled, getFocusOwner, getGraphicsConfiguration, getInputContext, getListeners, getLocale, getOwnedWindows, getOwner, getToolkit, getWarningString, hide, isActive, isShowing, nextFocus, pack, postEvent, postWindowEvent, preProcessKeyEvent, processEvent, removeOwnedWindow, removeWindowListener, resetGC, setCursor, setFocusOwner, show, toBack, toFront, transferFocus
 
Methods inherited from class java.awt.Container
add, add, add, add, add, addContainerListener, applyOrientation, checkGD, countComponents, createChildHierarchyEvents, createHierarchyEvents, deliverEvent, dispatchEventToSelf, doLayout, findComponentAt, findComponentAt, findComponentAt, getAccessibleAt, getAccessibleChild, getAccessibleChildrenCount, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents_NoClientCode, getComponents, getInsets, getLayout, getMaximumSize, getMinimumSize, getMouseEventTarget, getPreferredSize, getWindow, insets, invalidate, invalidateTree, isAncestorOf, layout, lightweightPaint, lightweightPrint, list, list, locate, minimumSize, numListening, paint, paintComponents, paintHeavyweightComponents, postsOldMouseEvents, preferredSize, print, printComponents, printHeavyweightComponents, processContainerEvent, proxyEnableEvents, proxyRequestFocus, remove, removeAll, removeContainerListener, setFont, validate, validateTree
 
Methods inherited from class java.awt.Component
action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addPropertyChangeListener, addPropertyChangeListener, areInputMethodsEnabled, bounds, checkImage, checkImage, checkWindowClosingException, coalesceEvents, contains, contains, createImage, createImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, firePropertyChange, getAccessibleIndexInParent, getAccessibleStateSet, getBackground, getBounds, getBounds, getColorModel, getComponentOrientation, getCursor, getDropTarget, getFont_NoClientCode, getFont, getFontMetrics, getForeground, getGraphics, getHeight, getInputMethodRequests, getLocation, getLocation, getLocationOnScreen_NoTreeLock, getLocationOnScreen, getName, getNativeContainer, getParent_NoClientCode, getParent, getPeer, getSize, getSize, getToolkitImpl, getTreeLock, getWidth, getX, getY, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isDisplayable, isDoubleBuffered, isEnabled, isEnabledImpl, isFocusTraversable, isLightweight, isOpaque, isRecursivelyVisible, 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, processMouseEvent, processMouseMotionEvent, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, repaint, requestFocus, reshape, resize, resize, setBackground, setBounds, setBounds, setComponentOrientation, setDropTarget, setEnabled, setForeground, setLocale, setLocation, setLocation, setName, setSize, setSize, setVisible, show, size, toString, transferFocus
 
Methods inherited from class java.lang.Object
clone, equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface java.awt.MenuContainer
getFont, postEvent
 

Field Detail

typeField

protected javax.swing.JTextField typeField

relField

protected javax.swing.JTextField relField

condBut

protected javax.swing.JRadioButton condBut

effBut

protected javax.swing.JRadioButton effBut

statement

protected javax.swing.JTextField statement

constraintParser

LTF_Parser constraintParser
Constructor Detail

DefaultConstraintEditor

public DefaultConstraintEditor()
Creates an editor for specifying time point relations. The editor has components for selecting two time points of two sub-activities, and two buttons (Ok, Cancel) "- enter pattern-value statements,", "- select whether you are specifying a condition or an effect,", "- select the node to which the condition/effect applies."});

DefaultConstraintEditor

public DefaultConstraintEditor(UIRefinement refinement)
Creates an editor for specifying time point relations within the given refinement. As OrderingEditor() but with a given refinement.
Parameters:
refinement - the refinement whose sub-activities are to be related
Method Detail

makeRels

protected java.awt.Component makeRels()
Makes all items on the relations panel. These are a type field, a relations (sub-type) field, and a statement field.
Overrides:
makeRels in class ConstraintEditor

initFromObject

protected void initFromObject()
                       throws java.lang.NullPointerException
Sets the refinement whose components (children) are to be realted. Fills the activity lists of the panel with the children of the refinement.
Overrides:
initFromObject in class ConstraintEditor
Parameters:
refinement - the refinement whose children are to be related
Throws:
java.lang.NullPointerException - if the refinement has no children.

setFromObject

protected void setFromObject(java.lang.Object original)
Overrides:
setFromObject in class ConstraintEditor

collectConstraint

protected java.lang.Object collectConstraint()
Reads the selected relation and let interested parties know. Checks that selections have been made.
Overrides:
collectConstraint in class ConstraintEditor

ensureParenthesized

protected java.lang.String ensureParenthesized(java.lang.String text)

readCondition

protected Constraint readCondition(Symbol type,
                                   Symbol rel,
                                   java.lang.String text)
                            throws SyntaxException

readCondition

protected java.util.List readCondition(java.lang.String text)