org.kahina.prolog.bridge

Class PrologBridge

java.lang.Object

org.kahina.core.bridge.KahinaBridge

org.kahina.lp.bridge.LogicProgrammingBridge

org.kahina.prolog.bridge.PrologBridge

All Implemented Interfaces:

KahinaListener

Direct Known Subclasses:

SICStusPrologBridge, SWIPrologBridge

public class PrologBridge
extends LogicProgrammingBridge

Field Summary

Fields inherited from class org.kahina.lp.bridge.LogicProgrammingBridge

currentID, selectedID, skipFlag, skipID, state, stepIDConv, waitingForReturnFromSkip

Fields inherited from class org.kahina.core.bridge.KahinaBridge

kahina

Constructor Summary

Constructors

Constructor and Description
PrologBridge(LogicProgrammingInstance<?,?,?,?> kahina)

Method Summary

Methods

Modifier and Type	Method and Description
protected boolean	isQueryRoot(int stepID) The Prolog tracers have a virtual root, allowing for Redoing the query root.

Methods inherited from class org.kahina.lp.bridge.LogicProgrammingBridge

call, canSkipOrAutocomplete, convertStepID, deregister, end, exception, exit, exit, exit, fail, generateStep, getAction, getBridgeState, getParentCandidateID, isPaused, linkNodes, maybeUpdateStepCount, performBreakAction, performCompleteAction, performCreepAction, performFailAction, performSkipAction, processControlEvent, processEvent, processSelectionEvent, processSystemEvent, processWarnEvent, redo, registerLayer, registerStepSourceCodeLocation, select, selectIfPaused, setBridgeState, setParentCandidateID, step, step, step, virtualRedo, warning

Methods inherited from class java.lang.Object

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

Constructor Detail

PrologBridge

public PrologBridge(LogicProgrammingInstance<?,?,?,?> kahina)

Method Detail

isQueryRoot

protected boolean isQueryRoot(int stepID)

The Prolog tracers have a virtual root, allowing for Redoing the query root. Thus, returns true if the given step ID is a child of the tree root.

Overrides:

isQueryRoot in class LogicProgrammingBridge

Returns: