Dresden OCL Toolkit

tudresden.ocl
Class ConstraintEvaluation

java.lang.Object
  extended byjava.awt.Component
      extended byjava.awt.Container
          extended byjavax.swing.JComponent
              extended byjavax.swing.JPanel
                  extended bytudresden.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

Nested Class Summary
(package private)  class ConstraintEvaluation.RadioListener
           
 
Nested classes inherited from class javax.swing.JPanel
JPanel.AccessibleJPanel
 
Nested classes inherited from class javax.swing.JComponent
JComponent.AccessibleJComponent
 
Nested classes inherited from class java.awt.Container
Container.AccessibleAWTContainer
 
Nested classes inherited from class java.awt.Component
Component.AccessibleAWTComponent, Component.BltBufferStrategy, Component.FlipBufferStrategy
 
Field Summary
protected  JLabel aGeneratedTests
           
protected  JButton aNormalize
           
protected  JButton aShowLeaves
           
protected  JButton aToClipboard
           
protected  JButton aToText
           
protected  JTree aTree
           
protected  JLabel aTypeCheck
           
protected  JButton cFromClipboard
           
protected  JTextArea cInput
           
protected  String constraintName
           
protected  JButton cParse
           
protected  JButton cToClipboard
           
protected  JTextArea eText
           
protected  CodeFragment[] frags
           
protected  Icon imageEmpty
           
protected  Icon imageFailed
           
protected  Icon imageOK
           
protected  Icon imageQuestion
           
protected  JTextArea jCode
           
protected  JTextField jCOperation
           
protected  JTextField jCType
           
protected  JButton jGenerate
           
protected  JTextField jKind
           
protected  JList jList
           
protected  JTextField jResult
           
protected  LexerModel lexerModel
           
protected  JTable lTable
           
protected  JLabel message
           
protected  JRadioButton mReflection
           
protected  JTextField mReflectionPackage
           
protected  JCheckBox mReflectionSourceExtender
           
protected  JRadioButton mSable
           
protected  JRadioButton mTest
           
protected  JRadioButton mXmi
           
protected  JTextField mXmiUrl
           
protected  boolean synAndSemOK
           
protected  JTabbedPane tabs
           
protected  OclTree tree
           
 
Fields inherited from class javax.swing.JPanel
 
Fields inherited from class javax.swing.JComponent
accessibleContext, listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW
 
Fields inherited from class java.awt.Container
 
Fields inherited from class java.awt.Component
BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT
 
Fields inherited from interface java.awt.image.ImageObserver
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH
 
Constructor Summary
ConstraintEvaluation()
           
 
Method Summary
 void actionPerformed(ActionEvent event)
           
protected  void addTabs(JTabbedPane tabs)
           
protected  void doCopyTreeToClipboard()
           
protected  void doCopyTreeToText()
           
protected  void doGenerateJava()
           
protected  void doNormalize()
           
protected  void doParse()
           
protected  void doParse(boolean switchTabs)
           
protected  void doShowLeaves()
           
protected  JComponent getAboutPane()
           
protected  JPanel getASTPane()
           
protected  String getClipboard()
           
 String getConstraintName()
           
protected  JPanel getConstraintPane()
           
protected  String getEnteredConstraint()
           
protected  JComponent getErrorPane()
           
protected  Icon getImage(String name)
           
protected  int getIndexOfASTPane()
           
protected  int getIndexOfErrorPane()
           
protected  JPanel getJavaCodePane()
           
protected  JComponent getLexerPane()
           
protected  ModelFacade getModelFacade()
           
protected  JPanel getModelPane()
           
 void lostOwnership(Clipboard cb, Transferable content)
           
static void main(String[] args)
           
protected  JPanel panelAround(JComponent comp)
           
protected  String removeControlsFrom(String s, boolean removeLineFeed)
           
protected  void selectFragment(int index)
           
protected  boolean setClipboard(String content)
           
protected  void showTab(int i)
           
protected  void updateError(Exception e)
           
protected  void updateTokens()
           
protected  void updateTree()
           
 void valueChanged(ListSelectionEvent lse)
           
 
Methods inherited from class javax.swing.JPanel
getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI
 
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
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

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
Constructor Detail

ConstraintEvaluation

public ConstraintEvaluation()
Method Detail

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)

Dresden OCL Toolkit

Submit a bug
Developed at the Dresden University of Technology.
This software is published under the GNU Lesser General Public License.