tudresden.ocl
Class ConstraintEvaluation
java.lang.Object
java.awt.Component
java.awt.Container
javax.swing.JComponent
javax.swing.JPanel
tudresden.ocl.ConstraintEvaluation
- All Implemented Interfaces:
- Accessible, ActionListener, ClipboardOwner, EventListener, ImageObserver, ListSelectionListener, MenuContainer, Serializable
- Direct Known Subclasses:
- SQLTestApp
- public class ConstraintEvaluation
- extends JPanel
- implements ActionListener, ClipboardOwner, ListSelectionListener
- See Also:
- Serialized Form
Fields inherited from class javax.swing.JPanel |
|
Fields inherited from class java.awt.Container |
|
Methods inherited from class javax.swing.JComponent |
addAncestorListener, addNotify, addPropertyChangeListener, addPropertyChangeListener, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBorder, getBounds, getClientProperty, getComponentGraphics, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getGraphics, getHeight, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPreferredSize, getPropertyChangeListeners, getPropertyChangeListeners, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, isDoubleBuffered, isLightweightComponent, isManagingFocus, isMaximumSizeSet, isMinimumSizeSet, isOpaque, isOptimizedDrawingEnabled, isPaintingTile, isPreferredSizeSet, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintComponent, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removePropertyChangeListener, removePropertyChangeListener, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setEnabled, setFont, setForeground, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setTransferHandler, setUI, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update |
Methods inherited from class java.awt.Container |
add, add, add, add, add, addContainerListener, addImpl, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setFocusCycleRoot, setFocusTraversalKeys, setFocusTraversalPolicy, setLayout, 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, createImage, createImage, createVolatileImage, createVolatileImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMouseWheelListeners, getName, getParent, getPeer, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, hide, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, repaint, repaint, repaint, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusUpCycle |
cInput
protected JTextArea cInput
cParse
protected JButton cParse
cToClipboard
protected JButton cToClipboard
cFromClipboard
protected JButton cFromClipboard
mTest
protected JRadioButton mTest
mXmi
protected JRadioButton mXmi
mReflection
protected JRadioButton mReflection
mSable
protected JRadioButton mSable
mXmiUrl
protected JTextField mXmiUrl
mReflectionPackage
protected JTextField mReflectionPackage
mReflectionSourceExtender
protected JCheckBox mReflectionSourceExtender
lTable
protected JTable lTable
lexerModel
protected LexerModel lexerModel
aTree
protected JTree aTree
aToClipboard
protected JButton aToClipboard
aNormalize
protected JButton aNormalize
aShowLeaves
protected JButton aShowLeaves
aToText
protected JButton aToText
aTypeCheck
protected JLabel aTypeCheck
aGeneratedTests
protected JLabel aGeneratedTests
jCode
protected JTextArea jCode
jCType
protected JTextField jCType
jCOperation
protected JTextField jCOperation
jResult
protected JTextField jResult
jKind
protected JTextField jKind
jList
protected JList jList
jGenerate
protected JButton jGenerate
frags
protected CodeFragment[] frags
eText
protected JTextArea eText
imageOK
protected Icon imageOK
imageFailed
protected Icon imageFailed
imageQuestion
protected Icon imageQuestion
imageEmpty
protected Icon imageEmpty
message
protected JLabel message
tabs
protected JTabbedPane tabs
tree
protected OclTree tree
constraintName
protected String constraintName
synAndSemOK
protected boolean synAndSemOK
ConstraintEvaluation
public ConstraintEvaluation()
addTabs
protected void addTabs(JTabbedPane tabs)
getConstraintPane
protected JPanel getConstraintPane()
getModelPane
protected JPanel getModelPane()
getLexerPane
protected JComponent getLexerPane()
getASTPane
protected JPanel getASTPane()
getJavaCodePane
protected JPanel getJavaCodePane()
getErrorPane
protected JComponent getErrorPane()
getAboutPane
protected JComponent getAboutPane()
getIndexOfErrorPane
protected int getIndexOfErrorPane()
getIndexOfASTPane
protected int getIndexOfASTPane()
actionPerformed
public void actionPerformed(ActionEvent event)
- Specified by:
actionPerformed
in interface ActionListener
valueChanged
public void valueChanged(ListSelectionEvent lse)
- Specified by:
valueChanged
in interface ListSelectionListener
doParse
protected void doParse()
doNormalize
protected void doNormalize()
doParse
protected void doParse(boolean switchTabs)
doCopyTreeToText
protected void doCopyTreeToText()
doCopyTreeToClipboard
protected void doCopyTreeToClipboard()
doShowLeaves
protected void doShowLeaves()
doGenerateJava
protected void doGenerateJava()
selectFragment
protected void selectFragment(int index)
getModelFacade
protected ModelFacade getModelFacade()
throws Exception
- Throws:
Exception
showTab
protected void showTab(int i)
getClipboard
protected String getClipboard()
setClipboard
protected boolean setClipboard(String content)
- Returns:
- true if the operation was successful, false otherwise
lostOwnership
public void lostOwnership(Clipboard cb,
Transferable content)
- Specified by:
lostOwnership
in interface ClipboardOwner
updateTokens
protected void updateTokens()
updateTree
protected void updateTree()
updateError
protected void updateError(Exception e)
panelAround
protected JPanel panelAround(JComponent comp)
getImage
protected Icon getImage(String name)
removeControlsFrom
protected String removeControlsFrom(String s,
boolean removeLineFeed)
getConstraintName
public String getConstraintName()
getEnteredConstraint
protected String getEnteredConstraint()
main
public static void main(String[] args)
Submit a bug
Developed at the Dresden University of Technology.
This software is published under the GNU Lesser General Public License.