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

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

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

kahina

Constructor Summary

SWIPrologBridge(LogicProgrammingInstance kahina)

Method Summary

protected SWIPrologStep	generateStep()
void	registerBindings(int externalStepID, String direction, String[] keys, 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, end, exception, exit, exit, exit, fail, getAction, linkNodes, processBreakPointMatch, processControlEvent, processCreepPointMatch, processFailPointMatch, processSelectionEvent, processSkipPointMatch, processSystemEvent, processWarnEvent, redo, registerLayer, registerStepSourceCodeLocation, select, selectIfPaused, step, step, step, warning

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

processEvent, processEvent, processProfilePointMatch

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,
                             String direction,
                             String[] keys,
                             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