The Meta-Environment API

nl.cwi.sen1.gui.plugin
Class Console

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

public class Console
extends nl.cwi.sen1.gui.plugin.DefaultStudioPlugin
implements ConsoleTif


Field Summary
private  ConsoleBridge bridge
           
private  nl.cwi.sen1.gui.plugin.console.ConsolePanel panel
           
private static java.lang.String TOOL_NAME
           
 
Constructor Summary
Console()
           
 
Method Summary
 void addMessage(java.lang.String message)
           
 java.lang.String getName()
           
 void initStudioPlugin(nl.cwi.sen1.gui.Studio studio)
           
 void recTerminate(aterm.ATerm t0)
           
 
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 ConsoleBridge bridge

panel

private nl.cwi.sen1.gui.plugin.console.ConsolePanel panel
Constructor Detail

Console

public Console()
Method Detail

initStudioPlugin

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

addMessage

public void addMessage(java.lang.String message)
Specified by:
addMessage in interface ConsoleTif

getName

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

recTerminate

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

The Meta-Environment API