Dresden OCL Toolkit

tudresden.ocl
Class ASTViewer

java.lang.Object
  extended byjava.awt.Component
      extended byjava.awt.Container
          extended byjavax.swing.JComponent
              extended byjavax.swing.JPanel
                  extended bytudresden.ocl.ASTViewer
All Implemented Interfaces:
Accessible, ActionListener, ClipboardOwner, EventListener, ImageObserver, MenuContainer, Serializable

public class ASTViewer
extends JPanel
implements ActionListener, ClipboardOwner

See Also:
Serialized Form

Nested Class Summary
(package private)  class ASTViewer.FontDialog
           
 
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
(package private)  JPanel buttons
           
(package private)  JPanel clipButtons
           
(package private) static int counter
           
(package private)  ASTViewer.FontDialog fontDialog
           
(package private)  JButton fonts
           
(package private)  JButton generate
           
(package private)  JButton generatedTests
           
(package private)  JButton getClipboard
           
(package private)  JLabel message
           
(package private)  JButton normalize
           
(package private)  OclTree oclTree
           
(package private)  JPanel p
           
(package private)  JPanel panel
           
(package private)  JButton parse
           
(package private)  JButton print
           
(package private)  JRadioButton rbReflection
           
(package private)  JRadioButton rbSable
           
(package private)  JRadioButton rbTest
           
(package private)  JRadioButton rbXmi
           
(package private)  JScrollPane scroll
           
(package private)  JButton setClipboard
           
(package private)  JTextArea text
           
(package private)  JButton toText
           
(package private)  JTree 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
ASTViewer(boolean isNotAnApplet)
           
 
Method Summary
 void actionPerformed(ActionEvent ae)
           
 void addNotify()
           
 void createTextFile()
           
protected  void displayTree(Start root, TypeQueryable tq)
           
 void doFonts()
           
 void doGeneratedTests()
           
 void doGenerateJava()
           
 void doGetClipboard()
           
 void doLex()
           
 void doNormalize()
           
 void doParse()
           
 void doSetClipboard()
           
protected  String getDefaultText()
           
 Dimension getPreferredSize()
           
 void lostOwnership(Clipboard cb, Transferable content)
           
static void main(String[] args)
           
protected  void makeVisible(JTree tree, TreeModel model, Object node)
           
 void setBackground(Color c)
           
protected  void showMessage(Exception e)
           
protected  void showMessage(String s)
           
 
Methods inherited from class javax.swing.JPanel
getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI
 
Methods inherited from class javax.swing.JComponent
addAncestorListener, 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, 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, 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

text

JTextArea text

scroll

JScrollPane scroll

tree

JTree tree

message

JLabel message

oclTree

OclTree oclTree

parse

JButton parse

toText

JButton toText

normalize

JButton normalize

print

JButton print

fonts

JButton fonts

getClipboard

JButton getClipboard

setClipboard

JButton setClipboard

generate

JButton generate

generatedTests

JButton generatedTests

panel

JPanel panel

buttons

JPanel buttons

p

JPanel p

clipButtons

JPanel clipButtons

rbTest

JRadioButton rbTest

rbReflection

JRadioButton rbReflection

rbXmi

JRadioButton rbXmi

rbSable

JRadioButton rbSable

fontDialog

ASTViewer.FontDialog fontDialog

counter

static int counter
Constructor Detail

ASTViewer

public ASTViewer(boolean isNotAnApplet)
Method Detail

getPreferredSize

public Dimension getPreferredSize()

doParse

public void doParse()

doLex

public void doLex()

doNormalize

public void doNormalize()

createTextFile

public void createTextFile()

doFonts

public void doFonts()

doGetClipboard

public void doGetClipboard()

doSetClipboard

public void doSetClipboard()

lostOwnership

public void lostOwnership(Clipboard cb,
                          Transferable content)
Specified by:
lostOwnership in interface ClipboardOwner

doGenerateJava

public void doGenerateJava()

doGeneratedTests

public void doGeneratedTests()

displayTree

protected void displayTree(Start root,
                           TypeQueryable tq)

makeVisible

protected void makeVisible(JTree tree,
                           TreeModel model,
                           Object node)

showMessage

protected void showMessage(Exception e)

showMessage

protected void showMessage(String s)

actionPerformed

public void actionPerformed(ActionEvent ae)
Specified by:
actionPerformed in interface ActionListener

getDefaultText

protected String getDefaultText()

setBackground

public void setBackground(Color c)

addNotify

public void addNotify()

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.