com.declarativa.interprolog

Class YAPSubprocessEngine

java.lang.Object

com.declarativa.interprolog.AbstractPrologEngine

com.declarativa.interprolog.SubprocessEngine

com.declarativa.interprolog.YAPSubprocessEngine

All Implemented Interfaces:

PrologEngine

public class YAPSubprocessEngine
extends SubprocessEngine

A PrologEngine encapsulating a YAP 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
YAPSubprocessEngine()
YAPSubprocessEngine(boolean debug)
YAPSubprocessEngine(String prologCommand)
YAPSubprocessEngine(String[] prologCommands)
YAPSubprocessEngine(String[] prologCommands, boolean debug)
YAPSubprocessEngine(String[] prologCommands, boolean debug, boolean loadFromJar)
YAPSubprocessEngine(String[] prologCommands, boolean outAndErrMerged, boolean debug, boolean loadFromJar)
YAPSubprocessEngine(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

YAPSubprocessEngine

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

YAPSubprocessEngine

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

YAPSubprocessEngine

public YAPSubprocessEngine(String[] prologCommands,
                           boolean debug)

YAPSubprocessEngine

public YAPSubprocessEngine(String[] prologCommands)

YAPSubprocessEngine

public YAPSubprocessEngine(String prologCommand,
                           boolean debug)

YAPSubprocessEngine

public YAPSubprocessEngine(String prologCommand)

YAPSubprocessEngine

public YAPSubprocessEngine(boolean debug)

YAPSubprocessEngine

public YAPSubprocessEngine()

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