jinnIdeExecutors.executors.consult
Class ReconsultBuffer

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

All Implemented Interfaces:

IExecutor

public class ReconsultBuffer
extends ConsultExecutor
implements IExecutor

Reconsult the current jEdit Jinni file

Constructor Summary

ReconsultBuffer()

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

ReconsultBuffer

public ReconsultBuffer()

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