org.kahina.lp.behavior

Class LogicProgrammingTreeBehavior

java.lang.Object

org.kahina.core.behavior.KahinaBehavior<KahinaTree>

org.kahina.core.behavior.KahinaTreeBehavior

org.kahina.lp.behavior.LogicProgrammingTreeBehavior

All Implemented Interfaces:

KahinaListener

Direct Known Subclasses:

TraleSLDTreeBehavior

public class LogicProgrammingTreeBehavior
extends KahinaTreeBehavior

Field Summary

Fields

Modifier and Type	Field and Description
protected int	lastActiveID
protected java.util.Map<java.lang.Integer,java.lang.Integer>	newStepIDByLastStepID
protected KahinaTree	secondaryTree
protected int	stepBeingRedone

Fields inherited from class org.kahina.core.behavior.KahinaBehavior

kahina, object

Constructor Summary

Constructors

Constructor and Description
LogicProgrammingTreeBehavior(KahinaTree tree, KahinaInstance<?,?,?,?> kahina, KahinaTree secondaryTree)

Method Summary

Methods

Modifier and Type	Method and Description
int	getMaxNodeLabelLength()
void	initializeCreepPoints() overwrite this to fill the creepPoints list with node patterns describing for which nodes the bridge is to automatically hand over a creep command to the logic programming system
void	initializeFailPoints() overwrite this to fill the failPoints list with node patterns describing for which nodes the bridge is to automatically hand over a fail command to the logic programming system
void	initializePrimaryBreakpoints() overwrite this to fill the primaryBreakpoints list with node patterns describing at detection of which node patterns in the primary step tree the bridge is to pause leaping or skipping
void	initializePrimaryWarnPoints()
void	initializeSecondaryBreakpoints() overwrite this to fill the secondaryBreakpoints list with node patterns describing at detection of which node patterns in the secondary step tree the bridge is to pause leaping or skipping
void	initializeSecondaryWarnPoints()
void	initializeSkipPoints() overwrite this to fill the skipPoints list with node patterns describing for which nodes the bridge is to hand over a skip command to the logic programming system
protected void	integrateIncomingNode(int stepID, int parentID) contains the logic by which the tree is formed out of callstacks called by the event processing routine for a KahinaTreeEvent of type "new step"
void	processEvent(KahinaEvent e) Does not react to any event by default; is overridden by implementations.
void	processLogicProgrammingBridgeEvent(LogicProgrammingBridgeEvent e)
void	processStepDescriptionEvent(KahinaStepDescriptionEvent e)
void	processStepException(int stepID)
void	processStepExit(int stepID, boolean deterministic) register and react to an incoming exit operation
void	processStepFail(int stepID) registers and reacts to an incoming failed step
void	processStepInformation(int stepID, java.lang.String stepInfo) integrate incoming step detail information (usually goal descriptions) into tree called by the event processing routine for a KahinaTreeEvent of type "new step"
void	processStepRedo(int lastStepID) register and react to an incoming redo operation
void	processSystemEvent(KahinaSystemEvent e)
void	processVirtualRedo(int lastStepID) register and react to an incoming virtual redo operation;
void	setMaxNodeLabelLength(int maxNodeLabelLength)

Methods inherited from class java.lang.Object

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

Field Detail

secondaryTree

protected KahinaTree secondaryTree

lastActiveID

protected int lastActiveID

stepBeingRedone

protected int stepBeingRedone

newStepIDByLastStepID

protected java.util.Map<java.lang.Integer,java.lang.Integer> newStepIDByLastStepID

Constructor Detail

LogicProgrammingTreeBehavior

public LogicProgrammingTreeBehavior(KahinaTree tree,
                            KahinaInstance<?,?,?,?> kahina,
                            KahinaTree secondaryTree)

Method Detail

getMaxNodeLabelLength

public int getMaxNodeLabelLength()

setMaxNodeLabelLength

public void setMaxNodeLabelLength(int maxNodeLabelLength)

Parameters:

maxNodeLabelLength - Length after which node labels are cut off. -1 for no cutoff.

initializePrimaryBreakpoints

public void initializePrimaryBreakpoints()

overwrite this to fill the primaryBreakpoints list with node patterns describing at detection of which node patterns in the primary step tree the bridge is to pause leaping or skipping

initializeSecondaryBreakpoints

public void initializeSecondaryBreakpoints()

overwrite this to fill the secondaryBreakpoints list with node patterns describing at detection of which node patterns in the secondary step tree the bridge is to pause leaping or skipping

initializePrimaryWarnPoints

public void initializePrimaryWarnPoints()

initializeSecondaryWarnPoints

public void initializeSecondaryWarnPoints()

initializeSkipPoints

public void initializeSkipPoints()

overwrite this to fill the skipPoints list with node patterns describing for which nodes the bridge is to hand over a skip command to the logic programming system

initializeCreepPoints

public void initializeCreepPoints()

overwrite this to fill the creepPoints list with node patterns describing for which nodes the bridge is to automatically hand over a creep command to the logic programming system

initializeFailPoints

public void initializeFailPoints()

overwrite this to fill the failPoints list with node patterns describing for which nodes the bridge is to automatically hand over a fail command to the logic programming system

integrateIncomingNode

protected void integrateIncomingNode(int stepID,
                         int parentID)

contains the logic by which the tree is formed out of callstacks called by the event processing routine for a KahinaTreeEvent of type "new step"

processStepInformation

public void processStepInformation(int stepID,
                          java.lang.String stepInfo)

integrate incoming step detail information (usually goal descriptions) into tree called by the event processing routine for a KahinaTreeEvent of type "new step"

Parameters:

stepID - - the step ID in the monitored logic programming system

stepInfo - - the step information to be associated with the step

processStepRedo

public void processStepRedo(int lastStepID)

register and react to an incoming redo operation

Parameters:

lastStepID - - the ID of the step being redone in the monitored logic programming system

processVirtualRedo

public void processVirtualRedo(int lastStepID)

register and react to an incoming virtual redo operation;

Parameters:

lastStepID - - the ID of the step being redone in the monitored logic programming system

processStepExit

public void processStepExit(int stepID,
                   boolean deterministic)

register and react to an incoming exit operation

Parameters:

stepID - - the ID of the step that exited in the monitored logic programming system

deterministic - - whether the exit was deterministic

processStepFail

public void processStepFail(int stepID)

registers and reacts to an incoming failed step

Parameters:

stepID - - the ID of the step that failed in the monitored logic programming system

processStepException

public void processStepException(int stepID)

processEvent

public void processEvent(KahinaEvent e)

Description copied from class: KahinaBehavior

Does not react to any event by default; is overridden by implementations.

Specified by:

processEvent in interface KahinaListener

Overrides:

processEvent in class KahinaBehavior<KahinaTree>

processLogicProgrammingBridgeEvent

public void processLogicProgrammingBridgeEvent(LogicProgrammingBridgeEvent e)

processSystemEvent

public void processSystemEvent(KahinaSystemEvent e)

processStepDescriptionEvent

public void processStepDescriptionEvent(KahinaStepDescriptionEvent e)