basicPluginFramework
Class JinnIdePlugin

java.lang.Object
  org.gjt.sp.jedit.EditPlugin
      basicPluginFramework.JinnIdePlugin

public class JinnIdePlugin
extends org.gjt.sp.jedit.EditPlugin

Main class for the Jinni jEdit plugin.

Version:

Cassandra

Author:

Wolfgang Chico Toepfer

Nested Class Summary

static class

JinnIdePlugin.StartupJinniPrologServerThread

Nested classes/interfaces inherited from class org.gjt.sp.jedit.EditPlugin

org.gjt.sp.jedit.EditPlugin.Broken, org.gjt.sp.jedit.EditPlugin.Deferred

Field Summary

static java.lang.String	NAME
static java.lang.String	OPTION_PREFIX

Constructor Summary

JinnIdePlugin()

Method Summary

static void	runJinniPrologServerStartupUsingThread()
void	start()
void	stop()

Methods inherited from class org.gjt.sp.jedit.EditPlugin

createBrowserMenuItems, createMenuItems, getClassName, getPluginHome, getPluginHome, getPluginHome, getPluginJAR, getResourceAsOutputStream, getResourceAsOutputStream, getResourceAsStream, getResourceAsStream, getResourcePath, getResourcePath

Methods inherited from class java.lang.Object

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

Field Detail

OPTION_PREFIX

public static final java.lang.String OPTION_PREFIX

See Also:

Constant Field Values

NAME

public static final java.lang.String NAME

See Also:

Constant Field Values

Constructor Detail

JinnIdePlugin

public JinnIdePlugin()

Method Detail

runJinniPrologServerStartupUsingThread

public static void runJinniPrologServerStartupUsingThread()

start

public void start()

Overrides:

start in class org.gjt.sp.jedit.EditPlugin

stop

public void stop()

Overrides:

stop in class org.gjt.sp.jedit.EditPlugin