jinnIdeExecutors.executors.consult
Class ConsultSelection

java.lang.Object
  jinnIdeExecutors.base.ProjectViewerExecutor
      jinnIdeExecutors.executors.consult.ConsultSelection

All Implemented Interfaces:

IExecutor

public class ConsultSelection
extends ProjectViewerExecutor
implements IExecutor

Consult the jEdit Jinni file that is selected by the project viewer

Constructor Summary

ConsultSelection()

Method Summary

StandardExecutionContext.ExecutionResult

execute(SpecificExecutionContext... context)

Methods inherited from class java.lang.Object

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

Constructor Detail

ConsultSelection

public ConsultSelection()

Method Detail

execute

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

Specified by:

execute in interface IExecutor

Throws:

JinnIdeGeneralExecutorException

java.rmi.RemoteException

JinniEngineException

java.lang.InterruptedException