nl.cwi.sen1.gui.plugin
Class Console
java.lang.Object
nl.cwi.sen1.gui.plugin.DefaultStudioPlugin
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
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 |
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
Console
public Console()
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