Class JasonID

java.lang.Object
java.awt.Component
java.awt.Container
javax.swing.JComponent
javax.swing.JPanel
jason.jeditplugin.JasonID
All Implemented Interfaces:
RunProjectListener, java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible, org.gjt.sp.jedit.EBComponent

public class JasonID
extends javax.swing.JPanel
implements org.gjt.sp.jedit.EBComponent, RunProjectListener
See Also:
Serialized Form
  • Nested Class Summary

    Nested classes/interfaces inherited from class javax.swing.JPanel

    javax.swing.JPanel.AccessibleJPanel

    Nested classes/interfaces inherited from class javax.swing.JComponent

    javax.swing.JComponent.AccessibleJComponent

    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

    Fields
    Modifier and Type Field Description
    (package private) org.gjt.sp.jedit.gui.AnimatedIcon animation  
    (package private) javax.swing.JButton btDebug  
    (package private) javax.swing.JButton btRun  
    (package private) javax.swing.JButton btStop  
    (package private) errorlist.DefaultErrorSource errorSource  
    (package private) javax.swing.DefaultListModel listModel  
    (package private) javax.swing.JList lstAgs  
    (package private) MASLauncherInfraTier masLauncher  
    (package private) OutputStreamAdapter myOut  
    private static long serialVersionUID  
    (package private) javax.swing.JTextArea textArea  
    (package private) org.gjt.sp.jedit.View view  

    Fields inherited from class javax.swing.JComponent

    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.Component

    accessibleContext, 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

    Constructors
    Constructor Description
    JasonID​(org.gjt.sp.jedit.View view, java.lang.String position)  
  • Method Summary

    Modifier and Type Method Description
    void addNotify()  
    void asl2html()  
    void asl2tex()  
    private void asl2txt​(asl2xml transformer, java.lang.String ext)  
    void createEnv()  
    private javax.swing.JPanel createToolBar()  
    protected javax.swing.JButton createToolBarButton​(java.lang.String toolTip, javax.swing.Icon icon, java.awt.event.ActionListener act)  
    void debugProject()  
    void editLog()  
    private org.gjt.sp.jedit.Buffer getProjectBuffer()
    returns the current MAS2J project
    (package private) org.gjt.sp.jedit.Buffer getProjectBuffer​(java.lang.String name)  
    void handleMessage​(org.gjt.sp.jedit.EBMessage message)  
    void masFinished()  
    void newAg()  
    void newIA()  
    void newProject()  
    (package private) void openAgentBuffer​(AgentParameters ap)  
    private MAS2JProject parseProject​(org.gjt.sp.jedit.Buffer projectBufffer)  
    protected boolean parseProjectAS​(MAS2JProject project)  
    void removeNotify()  
    void runAntTask​(java.lang.String task)  
    void runProject()  
    void runProject​(boolean debug)  
    private void saveAll()  
    void start()  
    void stop()  
    void stopMAS()  

    Methods inherited from class javax.swing.JPanel

    getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI

    Methods inherited from class javax.swing.JComponent

    addAncestorListener, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBaseline, getBaselineResizeBehavior, getBorder, getBounds, getClientProperty, getComponentGraphics, getComponentPopupMenu, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getFontMetrics, getGraphics, getHeight, getInheritsPopupMenu, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPopupLocation, getPreferredSize, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, hide, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingOrigin, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintComponent, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setComponentPopupMenu, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setEnabled, setFocusTraversalKeys, setFont, setForeground, setInheritsPopupMenu, 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, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, getMousePosition, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setLayout, 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, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, 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, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setMixingCutoutShape, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
  • Field Details

    • serialVersionUID

      private static final long serialVersionUID
      See Also:
      Constant Field Values
    • view

      org.gjt.sp.jedit.View view
    • myOut

    • textArea

      javax.swing.JTextArea textArea
    • animation

      org.gjt.sp.jedit.gui.AnimatedIcon animation
    • btStop

      javax.swing.JButton btStop
    • btRun

      javax.swing.JButton btRun
    • btDebug

      javax.swing.JButton btDebug
    • listModel

      javax.swing.DefaultListModel listModel
    • lstAgs

      javax.swing.JList lstAgs
    • errorSource

      errorlist.DefaultErrorSource errorSource
    • masLauncher

  • Constructor Details

    • JasonID

      public JasonID​(org.gjt.sp.jedit.View view, java.lang.String position)
  • Method Details

    • start

      public void start()
    • stop

      public void stop()
    • createToolBar

      private javax.swing.JPanel createToolBar()
    • createToolBarButton

      protected javax.swing.JButton createToolBarButton​(java.lang.String toolTip, javax.swing.Icon icon, java.awt.event.ActionListener act)
    • openAgentBuffer

      void openAgentBuffer​(AgentParameters ap)
    • handleMessage

      public void handleMessage​(org.gjt.sp.jedit.EBMessage message)
      Specified by:
      handleMessage in interface org.gjt.sp.jedit.EBComponent
    • addNotify

      public void addNotify()
      Overrides:
      addNotify in class javax.swing.JComponent
    • removeNotify

      public void removeNotify()
      Overrides:
      removeNotify in class javax.swing.JComponent
    • getProjectBuffer

      private org.gjt.sp.jedit.Buffer getProjectBuffer()
      returns the current MAS2J project
    • getProjectBuffer

      org.gjt.sp.jedit.Buffer getProjectBuffer​(java.lang.String name)
    • saveAll

      private void saveAll()
    • parseProject

      private MAS2JProject parseProject​(org.gjt.sp.jedit.Buffer projectBufffer)
    • parseProjectAS

      protected boolean parseProjectAS​(MAS2JProject project)
    • masFinished

      public void masFinished()
      Specified by:
      masFinished in interface RunProjectListener
    • runProject

      public void runProject​(boolean debug)
    • runProject

      public void runProject()
    • debugProject

      public void debugProject()
    • stopMAS

      public void stopMAS()
    • newProject

      public void newProject()
    • newAg

      public void newAg()
    • createEnv

      public void createEnv()
    • newIA

      public void newIA()
    • editLog

      public void editLog()
    • asl2html

      public void asl2html()
    • asl2tex

      public void asl2tex()
    • asl2txt

      private void asl2txt​(asl2xml transformer, java.lang.String ext)
    • runAntTask

      public void runAntTask​(java.lang.String task)