kites.visual
Class InterpreterWindow

java.lang.Object
  extended by java.awt.Component
      extended by java.awt.Container
          extended by java.awt.Window
              extended by java.awt.Frame
                  extended by javax.swing.JFrame
                      extended by kites.visual.InterpreterWindow
All Implemented Interfaces:
java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible, javax.swing.RootPaneContainer, javax.swing.WindowConstants

public class InterpreterWindow
extends javax.swing.JFrame

This is the interpreter window. It is opened by the MainWindow. The TRSFile object is loaded and displayed in the top. If an instance was given it will also be displayed in the second to top editor pane. From here interpretation can be started, the interpretation modes can be chosen and interpretation results will be displayed.

See Also:
Serialized Form

Nested Class Summary
 
Nested classes/interfaces inherited from class javax.swing.JFrame
javax.swing.JFrame.AccessibleJFrame
 
Nested classes/interfaces inherited from class java.awt.Frame
java.awt.Frame.AccessibleAWTFrame
 
Nested classes/interfaces inherited from class java.awt.Window
java.awt.Window.AccessibleAWTWindow
 
Nested classes/interfaces inherited from class java.awt.Container
java.awt.Container.AccessibleAWTContainer
 
Nested classes/interfaces inherited from class java.awt.Component
java.awt.Component.AccessibleAWTComponent, java.awt.Component.BaselineResizeBehavior, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy
 
Field Summary
private  javax.swing.JEditorPane instance
           
private  javax.swing.JPanel leftSide
           
private  javax.swing.JRadioButtonMenuItem menuInterpretationNonDet
           
private  javax.swing.JRadioButtonMenuItem menuInterpretationProg
           
private  javax.swing.JRadioButtonMenuItem menuInterpretationTRS
           
private  javax.swing.JRadioButtonMenuItem menuStrategyLI
           
private  javax.swing.JRadioButtonMenuItem menuStrategyLO
           
private  javax.swing.JRadioButtonMenuItem menuStrategyRI
           
private  javax.swing.JRadioButtonMenuItem menuStrategyRO
           
private  ASTNode node
           
private  java.lang.String programDirectory
           
private  javax.swing.JPanel results
           
private  Rule rule
           
private  TRSFile rulelist
           
private  javax.swing.JScrollPane scrollResults
           
private static long serialVersionUID
          Eclipse wants this class to have a serial version id
private  StepRewrite steprewrite
           
private  javax.swing.JTextField txtSize
           
private  javax.swing.JTextField txtSteps
           
 
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, ICONIFIED, MAXIMIZED_BOTH, MAXIMIZED_HORIZ, MAXIMIZED_VERT, MOVE_CURSOR, N_RESIZE_CURSOR, NE_RESIZE_CURSOR, NORMAL, NW_RESIZE_CURSOR, S_RESIZE_CURSOR, SE_RESIZE_CURSOR, SW_RESIZE_CURSOR, TEXT_CURSOR, W_RESIZE_CURSOR, WAIT_CURSOR
 
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, HIDE_ON_CLOSE
 
Fields inherited from interface java.awt.image.ImageObserver
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH
 
Constructor Summary
InterpreterWindow(TRSFile rulelist)
          Create and open the interpreter window.
 
Method Summary
 void addToResults(NodeContainer label)
          Add a tree's graphical representation to the results pane.
 javax.swing.JEditorPane getInstance()
           
 int getMode()
          Gives the current interpretation mode- Values for this can be found in the Decomposition class
 ASTNode getNode()
           
 javax.swing.JPanel getResultsPanel()
           
 Rule getRule()
           
 TRSFile getRuleList()
          Gives the current rulelist
 javax.swing.JTextField getSizeField()
           
 StepRewrite getStepRewrite()
           
 javax.swing.JTextField getStepsField()
           
 int getStrategy()
          Get the current strategy for interpretation in program mode.
 InterpreterWindow getWindow()
           
 void nextStep(ASTNode node, Rule rule)
           
 void setRuleList(TRSFile rulelist)
          Set the rulelist to be interpreted
 void updateTitle()
          Update the title bar of he window, according to the currently chosen interpretation mode.
 
Methods inherited from class javax.swing.JFrame
addImpl, createRootPane, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getGraphics, getJMenuBar, getLayeredPane, getRootPane, getTransferHandler, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processWindowEvent, remove, repaint, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setIconImage, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, setTransferHandler, update
 
Methods inherited from class java.awt.Frame
addNotify, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, remove, removeNotify, setCursor, setExtendedState, setMaximizedBounds, setMenuBar, setResizable, setState, setTitle, setUndecorated
 
Methods inherited from class java.awt.Window
addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getGraphicsConfiguration, getIconImages, getInputContext, getListeners, getLocale, getModalExclusionType, getMostRecentFocusOwner, getOwnedWindows, getOwner, getOwnerlessWindows, getToolkit, getWarningString, getWindowFocusListeners, getWindowListeners, getWindows, getWindowStateListeners, hide, isActive, isAlwaysOnTop, isAlwaysOnTopSupported, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isShowing, pack, paint, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, reshape, setAlwaysOnTop, setBounds, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setIconImages, setLocationByPlatform, setLocationRelativeTo, setMinimumSize, setModalExclusionType, setSize, setSize, setVisible, show, 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, getComponentZOrder, getContainerListeners, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, getMinimumSize, getMousePosition, getPreferredSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusTraversalKeys, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, 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, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBaseline, getBaselineResizeBehavior, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, 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, isMaximumSizeSet, isMinimumSizeSet, isOpaque, isPreferredSizeSet, 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, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resize, resize, setBackground, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setLocation, setLocation, setMaximumSize, setName, setPreferredSize, show, size, toString, transferFocus, transferFocusUpCycle
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface java.awt.MenuContainer
getFont, postEvent
 

Field Detail

serialVersionUID

private static final long serialVersionUID
Eclipse wants this class to have a serial version id

See Also:
Constant Field Values

rulelist

private TRSFile rulelist

menuInterpretationNonDet

private final javax.swing.JRadioButtonMenuItem menuInterpretationNonDet

menuInterpretationProg

private final javax.swing.JRadioButtonMenuItem menuInterpretationProg

menuInterpretationTRS

private final javax.swing.JRadioButtonMenuItem menuInterpretationTRS

menuStrategyLI

private final javax.swing.JRadioButtonMenuItem menuStrategyLI

menuStrategyLO

private final javax.swing.JRadioButtonMenuItem menuStrategyLO

menuStrategyRI

private final javax.swing.JRadioButtonMenuItem menuStrategyRI

menuStrategyRO

private final javax.swing.JRadioButtonMenuItem menuStrategyRO

results

private javax.swing.JPanel results

leftSide

private javax.swing.JPanel leftSide

scrollResults

private javax.swing.JScrollPane scrollResults

steprewrite

private StepRewrite steprewrite

txtSteps

private javax.swing.JTextField txtSteps

txtSize

private javax.swing.JTextField txtSize

instance

private javax.swing.JEditorPane instance

rule

private Rule rule

node

private ASTNode node

programDirectory

private java.lang.String programDirectory
Constructor Detail

InterpreterWindow

public InterpreterWindow(TRSFile rulelist)
Create and open the interpreter window. Before opening the interpreter window some syntax checks on the rulest are performed and the choice of interpretation modes will be restricted accordingly.

Parameters:
rulelist - The rulelist to use for interpretation
Method Detail

setRuleList

public void setRuleList(TRSFile rulelist)
Set the rulelist to be interpreted

Parameters:
rulelist - the rulelist to set

getRuleList

public TRSFile getRuleList()
Gives the current rulelist

Returns:
the rulelist

getMode

public int getMode()
Gives the current interpretation mode- Values for this can be found in the Decomposition class

Returns:
current interpretation mode
See Also:
Decomposition

getStrategy

public int getStrategy()
Get the current strategy for interpretation in program mode.

Returns:
the current strategy

getResultsPanel

public javax.swing.JPanel getResultsPanel()

getStepRewrite

public StepRewrite getStepRewrite()

getStepsField

public javax.swing.JTextField getStepsField()

getSizeField

public javax.swing.JTextField getSizeField()

addToResults

public void addToResults(NodeContainer label)
Add a tree's graphical representation to the results pane.

Parameters:
label - the tree's graphical representation to add

getInstance

public javax.swing.JEditorPane getInstance()

getRule

public Rule getRule()

getNode

public ASTNode getNode()

nextStep

public void nextStep(ASTNode node,
                     Rule rule)

getWindow

public InterpreterWindow getWindow()

updateTitle

public void updateTitle()
Update the title bar of he window, according to the currently chosen interpretation mode.