public class JasonID extends javax.swing.JPanel implements org.gjt.sp.jedit.EBComponent, RunProjectListener
javax.swing.JPanel.AccessibleJPanel
javax.swing.JComponent.AccessibleJComponent
Modifier and Type | Field and 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 |
listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW
Constructor and Description |
---|
JasonID(org.gjt.sp.jedit.View view,
java.lang.String position) |
Modifier and Type | Method and 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() |
getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI
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
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
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, getPeer, 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, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle
private static final long serialVersionUID
org.gjt.sp.jedit.View view
OutputStreamAdapter myOut
javax.swing.JTextArea textArea
org.gjt.sp.jedit.gui.AnimatedIcon animation
javax.swing.JButton btStop
javax.swing.JButton btRun
javax.swing.JButton btDebug
javax.swing.DefaultListModel listModel
javax.swing.JList lstAgs
errorlist.DefaultErrorSource errorSource
MASLauncherInfraTier masLauncher
public void start()
public void stop()
private javax.swing.JPanel createToolBar()
protected javax.swing.JButton createToolBarButton(java.lang.String toolTip, javax.swing.Icon icon, java.awt.event.ActionListener act)
void openAgentBuffer(AgentParameters ap)
public void handleMessage(org.gjt.sp.jedit.EBMessage message)
handleMessage
in interface org.gjt.sp.jedit.EBComponent
public void addNotify()
addNotify
in class javax.swing.JComponent
public void removeNotify()
removeNotify
in class javax.swing.JComponent
private org.gjt.sp.jedit.Buffer getProjectBuffer()
org.gjt.sp.jedit.Buffer getProjectBuffer(java.lang.String name)
private void saveAll()
private MAS2JProject parseProject(org.gjt.sp.jedit.Buffer projectBufffer)
protected boolean parseProjectAS(MAS2JProject project)
public void masFinished()
masFinished
in interface RunProjectListener
public void runProject(boolean debug)
public void runProject()
public void debugProject()
public void stopMAS()
public void newProject()
public void newAg()
public void createEnv()
public void newIA()
public void editLog()
public void asl2html()
public void asl2tex()
private void asl2txt(asl2xml transformer, java.lang.String ext)
public void runAntTask(java.lang.String task)