Serialized Form

Package basicPluginFramework

Class basicPluginFramework.JinnIdeDockable extends javax.swing.JPanel implements Serializable

serialVersionUID: 124345324L

Serialized Fields

jCheckBoxTrace

javax.swing.JCheckBox jCheckBoxTrace

jCheckBoxBackground

javax.swing.JCheckBox jCheckBoxBackground

jCheckBoxAllSolutions

javax.swing.JCheckBox jCheckBoxAllSolutions

jCheckBoxProlog

javax.swing.JCheckBox jCheckBoxProlog

jCheckBoxJinnIdeServer

javax.swing.JCheckBox jCheckBoxJinnIdeServer

Class basicPluginFramework.JinnIdeOptionsPane extends org.gjt.sp.jedit.AbstractOptionPane implements Serializable

serialVersionUID: 124376324L

Serialized Fields

labelProlog

java.lang.String labelProlog

labelServer

java.lang.String labelServer

labelBackground

java.lang.String labelBackground

labelSettings

java.lang.String labelSettings

jCheckBoxServer

javax.swing.JCheckBox jCheckBoxServer

jCheckBoxStyle

javax.swing.JCheckBox jCheckBoxStyle

jCheckBoxGroundLevel

javax.swing.JCheckBox jCheckBoxGroundLevel

jTextFieldInitializationFileName

javax.swing.JTextField jTextFieldInitializationFileName

jTextFieldLibraryPath

javax.swing.JTextField jTextFieldLibraryPath

jTextFieldServerInitializationFileName

javax.swing.JTextField jTextFieldServerInitializationFileName

jTextFieldServerLibraryPath

javax.swing.JTextField jTextFieldServerLibraryPath

jTextFieldServerURL

javax.swing.JTextField jTextFieldServerURL

jLabelTitle

javax.swing.JLabel jLabelTitle

image

javax.swing.ImageIcon image

Class basicPluginFramework.JinnIdeToolbar extends javax.swing.JPanel implements Serializable

serialVersionUID: 124349824L

Package jinnIdeExecutors.base

Class jinnIdeExecutors.base.JinnIdeGeneralExecutorException extends java.lang.Exception implements Serializable

Package tools.jinnide

Class tools.jinnide.JinniEngine extends java.lang.Object implements Serializable

Serialized Fields

isAll

boolean isAll

isPrologMode

boolean isPrologMode

jta

javax.swing.JTextArea jta

initFileName

java.lang.String initFileName

libraryPath

java.lang.String libraryPath

pureSkinPrefix

java.lang.String pureSkinPrefix

pureSkinInfix

java.lang.String pureSkinInfix

pureSkinSuffix

java.lang.String pureSkinSuffix

notImplementedMessage

java.lang.String notImplementedMessage

state

IJinniEngine.EngineState state

startupFeedback

java.lang.String startupFeedback

engine

prolog.kernel.Machine engine

separateThread

java.lang.Thread separateThread

threadEngine

prolog.kernel.Machine threadEngine

Class tools.jinnide.JinniEngineException extends java.lang.Exception implements Serializable

Package tools.jinniengineanswer

Class tools.jinniengineanswer.JinniEngineAnswer extends java.lang.Object implements Serializable

Serialized Fields

exception

JinniEngineException exception

answer

java.lang.String answer

valid

boolean valid

Package tools.rmiserver

Class tools.rmiserver.JinniRmiImpl extends java.rmi.server.UnicastRemoteObject implements Serializable

Serialized Fields

defaultPortNr

java.lang.String defaultPortNr

engine

IJinniEngine engine