The Meta-Environment API

nl.cwi.sen1.gui.plugin
Class Navigator

java.lang.Object
  extended by nl.cwi.sen1.gui.plugin.DefaultStudioPlugin
      extended by nl.cwi.sen1.gui.plugin.Navigator
All Implemented Interfaces:
NavigatorTif, nl.cwi.sen1.gui.plugin.StudioPlugin

public class Navigator
extends nl.cwi.sen1.gui.plugin.DefaultStudioPlugin
implements NavigatorTif


Field Summary
private  NavigatorBridge bridge
           
private  nl.cwi.sen1.configapi.Factory configFactory
           
private  nl.cwi.sen1.graph.Factory graphFactory
           
private  nl.cwi.sen1.ioapi.Factory ioFactory
           
private  ModuleTreeModel moduleModel
           
private  nl.cwi.sen1.gui.component.StudioComponent navigatorComponent
           
private  javax.swing.JLabel status
           
private  java.util.Map<java.lang.String,javax.swing.JComponent> statusBarComponents
           
private  nl.cwi.sen1.gui.Studio studio
           
private  boolean suspendSelectionNotification
           
private static java.lang.String TOOL_NAME
           
private  ModuleTree tree
           
 
Constructor Summary
Navigator()
           
 
Method Summary
private  void addNavigatorComponent()
           
private  aterm.ATerm createEventId(aterm.ATerm moduleId)
           
private  void createModel()
           
 void deleteModule(aterm.ATerm moduleId)
           
 java.lang.String getName()
           
 void initStudioPlugin(nl.cwi.sen1.gui.Studio studio)
           
 void markModuleError(aterm.ATerm moduleId)
           
 void markModuleNormal(aterm.ATerm moduleId)
           
 void postPopupRequest(java.awt.event.MouseEvent e, Module module)
           
 void recAckEvent(aterm.ATerm t0)
           
 void recTerminate(aterm.ATerm t0)
           
 void selectModule(aterm.ATerm moduleId)
           
 void setModules(aterm.ATerm graphTerm)
           
 void showPopup(aterm.ATerm id, aterm.ATerm menu)
           
 void updateModule(aterm.ATerm moduleId, aterm.ATerm path)
           
 
Methods inherited from class nl.cwi.sen1.gui.plugin.DefaultStudioPlugin
addStudioPluginListener, fireStudioPluginClosed, removeStudioPluginListener
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

TOOL_NAME

private static final java.lang.String TOOL_NAME
See Also:
Constant Field Values

bridge

private NavigatorBridge bridge

moduleModel

private ModuleTreeModel moduleModel

studio

private nl.cwi.sen1.gui.Studio studio

statusBarComponents

private java.util.Map<java.lang.String,javax.swing.JComponent> statusBarComponents

status

private javax.swing.JLabel status

graphFactory

private nl.cwi.sen1.graph.Factory graphFactory

ioFactory

private nl.cwi.sen1.ioapi.Factory ioFactory

suspendSelectionNotification

private boolean suspendSelectionNotification

navigatorComponent

private nl.cwi.sen1.gui.component.StudioComponent navigatorComponent

configFactory

private nl.cwi.sen1.configapi.Factory configFactory

tree

private ModuleTree tree
Constructor Detail

Navigator

public Navigator()
Method Detail

deleteModule

public void deleteModule(aterm.ATerm moduleId)
Specified by:
deleteModule in interface NavigatorTif

updateModule

public void updateModule(aterm.ATerm moduleId,
                         aterm.ATerm path)
Specified by:
updateModule in interface NavigatorTif

setModules

public void setModules(aterm.ATerm graphTerm)

postPopupRequest

public void postPopupRequest(java.awt.event.MouseEvent e,
                             Module module)

showPopup

public void showPopup(aterm.ATerm id,
                      aterm.ATerm menu)
Specified by:
showPopup in interface NavigatorTif

recAckEvent

public void recAckEvent(aterm.ATerm t0)
Specified by:
recAckEvent in interface NavigatorTif

recTerminate

public void recTerminate(aterm.ATerm t0)
Specified by:
recTerminate in interface NavigatorTif

getName

public java.lang.String getName()
Specified by:
getName in interface nl.cwi.sen1.gui.plugin.StudioPlugin

createEventId

private aterm.ATerm createEventId(aterm.ATerm moduleId)

initStudioPlugin

public void initStudioPlugin(nl.cwi.sen1.gui.Studio studio)
Specified by:
initStudioPlugin in interface nl.cwi.sen1.gui.plugin.StudioPlugin

createModel

private void createModel()

addNavigatorComponent

private void addNavigatorComponent()

selectModule

public void selectModule(aterm.ATerm moduleId)
Specified by:
selectModule in interface NavigatorTif

markModuleError

public void markModuleError(aterm.ATerm moduleId)
Specified by:
markModuleError in interface NavigatorTif

markModuleNormal

public void markModuleNormal(aterm.ATerm moduleId)
Specified by:
markModuleNormal in interface NavigatorTif

The Meta-Environment API