Package jason.jeditplugin
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
OutputStreamAdapter 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
MASLauncherInfraTier 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
-
handleMessage
public void handleMessage(org.gjt.sp.jedit.EBMessage message)- Specified by:
handleMessage
in interfaceorg.gjt.sp.jedit.EBComponent
-
addNotify
public void addNotify()- Overrides:
addNotify
in classjavax.swing.JComponent
-
removeNotify
public void removeNotify()- Overrides:
removeNotify
in classjavax.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
-
parseProjectAS
-
masFinished
public void masFinished()- Specified by:
masFinished
in interfaceRunProjectListener
-
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
-
runAntTask
public void runAntTask(java.lang.String task)
-