jinnIdeExecutors.executors.consult
Class ConsultBuffer

java.lang.Object
  jinnIdeExecutors.base.ConsultExecutor
      jinnIdeExecutors.executors.consult.ConsultBuffer

All Implemented Interfaces:

IExecutor

public class ConsultBuffer
extends ConsultExecutor
implements IExecutor

Consult the current jEdit Jinni file.

Constructor Summary

ConsultBuffer()

Method Summary

StandardExecutionContext.ExecutionResult

execute(SpecificExecutionContext... spec)

Methods inherited from class java.lang.Object

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

Constructor Detail

ConsultBuffer

public ConsultBuffer()

Method Detail

execute

public StandardExecutionContext.ExecutionResult execute(SpecificExecutionContext... spec)
                                                 throws JinnIdeGeneralExecutorException,
                                                        java.rmi.RemoteException,
                                                        JinniEngineException,
                                                        java.lang.InterruptedException

Specified by:

execute in interface IExecutor

Throws:

JinnIdeGeneralExecutorException

java.rmi.RemoteException

JinniEngineException

java.lang.InterruptedException