The Meta-Environment API

nl.cwi.sen1.gui.plugin
Class Moduledetails

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

public class Moduledetails
extends nl.cwi.sen1.gui.plugin.DefaultStudioPlugin
implements ModuledetailsTif


Field Summary
private  ModuledetailsBridge bridge
           
private  nl.cwi.sen1.moduleapi.Factory factory
           
private  ModuledetailsPanel panel
           
private static java.lang.String TOOL_NAME
           
 
Constructor Summary
Moduledetails()
           
 
Method Summary
 java.lang.String getName()
           
 void initStudioPlugin(nl.cwi.sen1.gui.Studio studio)
           
 void recTerminate(aterm.ATerm t0)
           
 void setDetails(aterm.ATerm details)
           
 
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 ModuledetailsBridge bridge

factory

private nl.cwi.sen1.moduleapi.Factory factory

panel

private ModuledetailsPanel panel
Constructor Detail

Moduledetails

public Moduledetails()
Method Detail

getName

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

initStudioPlugin

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

recTerminate

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

setDetails

public void setDetails(aterm.ATerm details)
Specified by:
setDetails in interface ModuledetailsTif

The Meta-Environment API