com.declarativa.interprolog

Class SWISubprocessEngine

java.lang.Object

com.declarativa.interprolog.AbstractPrologEngine

com.declarativa.interprolog.SubprocessEngine

com.declarativa.interprolog.SWISubprocessEngine

All Implemented Interfaces:

PrologEngine

public class SWISubprocessEngine
extends SubprocessEngine

A PrologEngine encapsulating a SWI Prolog engine, accessed over TCP/IP sockets.

Nested Class Summary

Nested classes/interfaces inherited from class com.declarativa.interprolog.SubprocessEngine

SubprocessEngine.OutputDumper

Field Summary

Fields inherited from class com.declarativa.interprolog.SubprocessEngine

ctrl_c, ctrlc

Fields inherited from class com.declarativa.interprolog.AbstractPrologEngine

firstJavaMessageName, interPrologFileLoaded, nl, prologBinDirectoryOrCommand

Fields inherited from interface com.declarativa.interprolog.PrologEngine

MAX_INT_VALUE, MIN_INT_VALUE, version

Constructor Summary

Constructors

Constructor and Description
SWISubprocessEngine()
SWISubprocessEngine(boolean debug)
SWISubprocessEngine(String prologCommand)
SWISubprocessEngine(String[] prologCommands)
SWISubprocessEngine(String[] prologCommands, boolean debug)
SWISubprocessEngine(String[] prologCommands, boolean debug, boolean loadFromJar)
SWISubprocessEngine(String[] prologCommands, boolean outAndErrMerged, boolean debug, boolean loadFromJar)
SWISubprocessEngine(String prologCommand, boolean debug)

Method Summary

Modifier and Type	Method and Description
void	abortEngine() Assumes the engine is in a (tracer) break state
boolean	realCommand(String s) This implementation may get stuck if the command includes variables, because the Prolog top level interpreter may offer to compute more solutions; use variables prefixed with '_'
void	sendAndFlush(String s) VERY Unsafe method: does NOT make the engine unavailable (as YAP's prompts do no appear)

Methods inherited from class com.declarativa.interprolog.SubprocessEngine

addPrologOutputListener, addPrologStderrListener, addPrologStdoutListener, breakEngine, deterministicGoal, getCharset, isAvailable, isDetectErrorMessages, printPrologOutputToConsole, printPrologOutputToFile, removePrologOutputListener, removePrologStderrListener, removePrologStdoutListener, resumeEngine, sendAndFlushLn, setCharset, setDebug, setDetectErrorMessages, setEngineStarted, setSlowWindowsShutdown, shutdown, waitUntilAvailable

Methods inherited from class com.declarativa.interprolog.AbstractPrologEngine

abortTasks, add_lib_dir, addPrologEngineListener, addSoftwareLibrary, addSoftwareLibrary, assignableType, command, command, command, consultAbsolute, consultAbsolute, consultFromPackage, consultFromPackage, consultRelative, createTempDirectory, currentTimeSecs, deleteAll, deleteTempFiles, deterministicGoal, deterministicGoal, deterministicGoal, deterministicGoal, deterministicGoalJSON, doCallback, endAllTasks, exec, executingOnJavaSide, findConstructor, findMethod, firstJavaMessage, getImplementationPeer, getInterprologPath, getJarDirectory, getJarDirectory, getLoadFromJar, getPrologBaseDirectory, getPrologNumericVersion, getPrologVersion, getRealJavaObject, getRealJavaObject, getRealJavaObject, getThePrologListener, goal, goal, handleCallback, hasPrologExtension, inPrologShell, interrupt, interruptTasks, is64WindowsOS, isAllowSimultaneousThreads, isDebug, isIdle, isLinuxOS, isMacOS, isPaused, isProfiling, isSerializable, isShutingDown, isThreadedCallbacks, isWindowsOS, lastSolutionUndefined, load_dynAbsolute, load_dynRelative, loop, loop2, makeInvisible, printAllStackTraces, printAllStackTraces, printBindings, printStackTrace, profilingMessage, progressMessage, progressMessage, prologBinToBaseDirectory, prologCanWork, prologEnteredBreak, prologResumedComputation, prologReturnedToTopLevel, registerJavaObject, removePrologEngineListener, serverFileSeparatorChar, serverIsWindows, setAllowSimultaneousThreads, setProfiling, setThreadedCallbacks, setTimedCallIntervall, shortClassName, stop, teachMoreObjects, teachMoreObjects, teachMoreObjects, teachOneObject, toString, unescapedFilePath, unregisterJavaObject, unregisterJavaObject, unregisterJavaObjects, waitUntilIdle

Methods inherited from class java.lang.Object

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

Constructor Detail

SWISubprocessEngine

public SWISubprocessEngine(String[] prologCommands,
                           boolean outAndErrMerged,
                           boolean debug,
                           boolean loadFromJar)

SWISubprocessEngine

public SWISubprocessEngine(String[] prologCommands,
                           boolean debug,
                           boolean loadFromJar)

SWISubprocessEngine

public SWISubprocessEngine(String[] prologCommands,
                           boolean debug)

SWISubprocessEngine

public SWISubprocessEngine(String[] prologCommands)

SWISubprocessEngine

public SWISubprocessEngine(String prologCommand,
                           boolean debug)

SWISubprocessEngine

public SWISubprocessEngine(String prologCommand)

SWISubprocessEngine

public SWISubprocessEngine(boolean debug)

SWISubprocessEngine

public SWISubprocessEngine()

See Also:

AbstractPrologEngine.AbstractPrologEngine(String prologBinDirectoryOrCommand, boolean debug, boolean loadFromJar)

Method Detail

realCommand

public boolean realCommand(String s)

Description copied from class: SubprocessEngine

This implementation may get stuck if the command includes variables, because the Prolog top level interpreter may offer to compute more solutions; use variables prefixed with '_'

Overrides:

realCommand in class SubprocessEngine

See Also:

AbstractPrologEngine.command(String)

abortEngine

public void abortEngine()

Assumes the engine is in a (tracer) break state

Overrides:

abortEngine in class SubprocessEngine

sendAndFlush

public void sendAndFlush(String s)

VERY Unsafe method: does NOT make the engine unavailable (as YAP's prompts do no appear)

Overrides:

sendAndFlush in class SubprocessEngine