- EclipseConnection - Interface in com.parctechnologies.eclipse
-
Interface of objects which provide a connection to an ECLiPSe engine.
- EclipseConnectionImpl - Class in com.parctechnologies.eclipse
-
Abstract superclass of classes which implement the EclipseConnection interface.
- EclipseConnectionImpl() - Constructor for class com.parctechnologies.eclipse.EclipseConnectionImpl
-
- EclipseEngine - Interface in com.parctechnologies.eclipse
-
Interface of objects providing "ownership" of an ECLiPSe engine.
- EclipseEngineOptions - Class in com.parctechnologies.eclipse
-
Encapsulates a set of options which can be used to initialise a new ECLiPSe
engine.
- EclipseEngineOptions(File) - Constructor for class com.parctechnologies.eclipse.EclipseEngineOptions
-
Construct a set of EclipseEngineOptions using a specified ECLiPSe
installation and looking up all other settings in the system properties.
- EclipseEngineOptions() - Constructor for class com.parctechnologies.eclipse.EclipseEngineOptions
-
Construct a set of EclipseEngineOptions looking up all settings in
the system properties.
- EclipseEngineOptions(Properties) - Constructor for class com.parctechnologies.eclipse.EclipseEngineOptions
-
Construct a set of EclipseEngineOptions looking up all settings in
the parameter set of properties.
- EclipseException - Exception in com.parctechnologies.eclipse
-
The superclass of exceptions relating to the execution of the ECLiPSe engine.
- EclipseException() - Constructor for exception com.parctechnologies.eclipse.EclipseException
-
Construct an EclipseException without any message.
- EclipseException(String) - Constructor for exception com.parctechnologies.eclipse.EclipseException
-
Construct an EclipseException with a given String as its message.
- EclipseMultitaskConnection - Interface in com.parctechnologies.eclipse
-
Interface of objects which provide a multitask aware connection to
an ECLiPSe connection.
- EclipseTerminatedException - Exception in com.parctechnologies.eclipse
-
Exception thrown when access to a terminated ECLiPSe is requested.
- EclipseTerminatedException() - Constructor for exception com.parctechnologies.eclipse.EclipseTerminatedException
-
- EmbeddedEclipse - Class in com.parctechnologies.eclipse
-
An ECLiPSe engine embedded in the JVM process.
- enableCompression(boolean) - Method in class com.parctechnologies.eclipse.EXDROutputStream
-
Enable / disable string compression for subsequently written terms.
- ending(EclipseMultitaskConnection, String) - Method in interface com.parctechnologies.eclipse.MultitaskListener
-
Called when ECLiPSe is leaving a multitasking phase.
- equals(Object) - Method in class com.parctechnologies.eclipse.AbstractCompoundTerm
-
Overrides equals()
in java.lang.Object.
- EXDRInputStream - Class in com.parctechnologies.eclipse
-
A stream which can read EXDR format.
- EXDRInputStream(InputStream) - Constructor for class com.parctechnologies.eclipse.EXDRInputStream
-
Construct an EXDRInputStream using a given InputStream for
incoming data.
- EXDROutputStream - Class in com.parctechnologies.eclipse
-
A stream which can write EXDR format.
- EXDROutputStream(OutputStream) - Constructor for class com.parctechnologies.eclipse.EXDROutputStream
-
Construct an EXDROutputStream which will write
EXDR to a named OutputStream.
- EXDROutputStream(OutputStream, boolean) - Constructor for class com.parctechnologies.eclipse.EXDROutputStream
-
Construct an EXDROutputStream which will write
EXDR with optionally compressed strings to a named OutputStream.
- getAsyncEclipseQueue(String) - Method in interface com.parctechnologies.eclipse.EclipseConnection
-
Create or access an asynchronous queue to transfer data between Java
and ECLiPSe.
- getAsyncEclipseQueue(String) - Method in class com.parctechnologies.eclipse.EclipseConnectionImpl
-
- getAsyncEclipseQueue(String) - Method in class com.parctechnologies.eclipse.EmbeddedEclipse
-
- getAsyncEclipseQueue(String) - Method in class com.parctechnologies.eclipse.OutOfProcessEclipse
-
- getEclipseStderr() - Method in interface com.parctechnologies.eclipse.EclipseEngine
-
Return a FromEclipseQueue which allows access to the ECLiPSe engine's
stderr
stream.
- getEclipseStderr() - Method in class com.parctechnologies.eclipse.EmbeddedEclipse
-
- getEclipseStderr() - Method in class com.parctechnologies.eclipse.OutOfProcessEclipse
-
- getEclipseStdin() - Method in interface com.parctechnologies.eclipse.EclipseEngine
-
Return a ToEclipseQueue which allows access to the ECLiPSe engine's
stdin
stream.
- getEclipseStdin() - Method in class com.parctechnologies.eclipse.EmbeddedEclipse
-
- getEclipseStdin() - Method in class com.parctechnologies.eclipse.OutOfProcessEclipse
-
- getEclipseStdout() - Method in interface com.parctechnologies.eclipse.EclipseEngine
-
Return a FromEclipseQueue which allows access to the ECLiPSe engine's
stdout
stream.
- getEclipseStdout() - Method in class com.parctechnologies.eclipse.EmbeddedEclipse
-
- getEclipseStdout() - Method in class com.parctechnologies.eclipse.OutOfProcessEclipse
-
- getFromEclipseQueue(String) - Method in interface com.parctechnologies.eclipse.EclipseConnection
-
Create or access a queue to transfer data from ECLiPSe to Java.
- getFromEclipseQueue(String) - Method in class com.parctechnologies.eclipse.EclipseConnectionImpl
-
- getFromEclipseQueue(String) - Method in class com.parctechnologies.eclipse.OutOfProcessEclipse
-
- getInputStream() - Method in class com.parctechnologies.eclipse.AsyncEclipseQueue
-
Gets the InputStream associated with the (bidirectional)
AsyncEclipseQueue.
- getInstance(EclipseEngineOptions) - Static method in class com.parctechnologies.eclipse.EmbeddedEclipse
-
If the embedded ECLiPSe has not yet been started in this JVM, start the
embedded ECLiPSe using the options specified in the parameter
EclipseEngineOptions.
- getInstance() - Static method in class com.parctechnologies.eclipse.EmbeddedEclipse
-
Returns the unique EmbeddedEclipse object if the embedded ECLiPSe
has been started, but not yet terminated in this JVM.
- getOutputStream() - Method in class com.parctechnologies.eclipse.AsyncEclipseQueue
-
Gets the OutputStream associated with the (bidirectional)
AsyncEclipseQueue.
- getPath(File) - Method in interface com.parctechnologies.eclipse.EclipseConnection
-
Convert a file path from the Java representation to the ECLiPSe
representation.
- getPath(File) - Method in class com.parctechnologies.eclipse.EclipseConnectionImpl
-
- getPath(File) - Method in class com.parctechnologies.eclipse.OutOfProcessEclipse
-
- getPeerName() - Method in interface com.parctechnologies.eclipse.EclipseConnection
-
Return the name by which the peer representing the Java side of the
connection is indexed in ECLiPSe.
- getPeerName() - Method in class com.parctechnologies.eclipse.EclipseConnectionImpl
-
- getPeerName() - Method in class com.parctechnologies.eclipse.OutOfProcessEclipse
-
- getToEclipseQueue(String) - Method in interface com.parctechnologies.eclipse.EclipseConnection
-
Create or access a queue to transfer data from Java to ECLiPSe.
- getToEclipseQueue(String) - Method in class com.parctechnologies.eclipse.EclipseConnectionImpl
-
- getToEclipseQueue(String) - Method in class com.parctechnologies.eclipse.OutOfProcessEclipse
-