org.meta_environment.eclipse.editors
Class EditorTool

java.lang.Object
  toolbus.adapter.AbstractTool
      toolbus.adapter.java.AbstractJavaTool
          toolbus.adapter.eclipse.EclipseTool
              org.meta_environment.eclipse.editors.EditorTool

All Implemented Interfaces:

toolbus.IOperations

public class EditorTool
extends toolbus.adapter.eclipse.EclipseTool

Nested Class Summary

private static class

EditorTool.InstanceKeeper

Field Summary

Fields inherited from class toolbus.adapter.eclipse.EclipseTool

factory, TIME_OUT

Fields inherited from class toolbus.adapter.AbstractTool

DIRECTTOOL, REMOTETOOL, termFactory, toolBridge

Fields inherited from interface toolbus.IOperations

ACKDO, ACKEVENT, CONNECT, DEBUGPERFORMANCESTATS, DISCONNECT, DO, END, EVAL, EVENT, PERFORMANCESTATS, REQUEST, RESPONSE, TERMINATE, UNDEFINED, VALUE

Constructor Summary

private

EditorTool()

Method Summary

void	editTerm(java.lang.String filename, java.lang.String language, java.lang.String content)
static EditorTool	getInstance()
void	open(java.lang.String filename, java.lang.String language)

Methods inherited from class toolbus.adapter.eclipse.EclipseTool

connect, connect, decode, getName, receiveAckEvent, receiveTerminate

Methods inherited from class toolbus.adapter.java.AbstractJavaTool

connectDirectly

Methods inherited from class toolbus.adapter.AbstractTool

disconnect, getFactory, getToolBridge, pack, sendEvent, sendRequest, setToolBridge, terminate, unpack

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

EditorTool

private EditorTool()

Method Detail

getInstance

public static EditorTool getInstance()

open

public void open(java.lang.String filename,
                 java.lang.String language)

editTerm

public void editTerm(java.lang.String filename,
                     java.lang.String language,
                     java.lang.String content)