org.kahina.sicstus.bridge
Class SICStusPrologBridge

java.lang.Object
  org.kahina.core.bridge.KahinaBridge
      org.kahina.lp.bridge.LogicProgrammingBridge
          org.kahina.prolog.bridge.PrologBridge
              org.kahina.sicstus.bridge.SICStusPrologBridge

All Implemented Interfaces:

KahinaListener

Direct Known Subclasses:

QTypeBridge

public class SICStusPrologBridge
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

SICStusPrologBridge(LogicProgrammingInstance<?,?,?> kahina)

Method Summary

protected SICStusPrologStep	generateStep()
void	registerBinding(int externalStepID, String direction, String variableName, String value)

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

SICStusPrologBridge

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

Method Detail

generateStep

protected SICStusPrologStep generateStep()

Overrides:

generateStep in class LogicProgrammingBridge

registerBinding

public void registerBinding(int externalStepID,
                            String direction,
                            String variableName,
                            String value)