org.kahina.swi.bridge

Class SWIPrologBridge

java.lang.Object

org.kahina.core.bridge.KahinaBridge

org.kahina.lp.bridge.LogicProgrammingBridge

org.kahina.prolog.bridge.PrologBridge

org.kahina.swi.bridge.SWIPrologBridge

All Implemented Interfaces:

KahinaListener

public class SWIPrologBridge
extends PrologBridge

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
SWIPrologBridge(LogicProgrammingInstance kahina)

Method Summary

Methods

Modifier and Type	Method and Description
protected SWIPrologStep	generateStep()
void	registerBindings(int externalStepID, java.lang.String direction, java.lang.String[] keys, java.lang.String[] values) Called to register variable bindings for a step.

Methods inherited from class org.kahina.prolog.bridge.PrologBridge

isQueryRoot

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

call, canSkipOrAutocomplete, convertStepID, deregister, end, exception, exit, exit, exit, fail, 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

SWIPrologBridge

public SWIPrologBridge(LogicProgrammingInstance kahina)

Method Detail

generateStep

protected SWIPrologStep generateStep()

Overrides:

generateStep in class LogicProgrammingBridge

registerBindings

public void registerBindings(int externalStepID,
                    java.lang.String direction,
                    java.lang.String[] keys,
                    java.lang.String[] values)

Called to register variable bindings for a step.

Parameters:

externalStepID -

direction - any string, normally either "in" (for call, redo) or "out" (for exit)

keys - argument numbers or variable names

values - string representations of Prolog terms