org.kahina.lp

Class LogicProgrammingState

java.lang.Object

org.kahina.core.KahinaState

org.kahina.lp.LogicProgrammingState

All Implemented Interfaces:

java.io.Serializable, KahinaListener

Direct Known Subclasses:

QTypeState, TraleSLDState

public class LogicProgrammingState
extends KahinaState

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected LogicProgrammingProfile	profile

Fields inherited from class org.kahina.core.KahinaState

consoleLines, consoleMessages, kahina, matchCountByBreakpoint, warnThresholdByBreakpoint

Constructor Summary

Constructors

Constructor and Description
LogicProgrammingState(KahinaInstance<?,?,?,?> kahina)

Method Summary

Methods

Modifier and Type	Method and Description
void	addConsoleLineRefForStep(int stepID, KahinaLineReference ref)
void	breakpointConsoleMessage(int stepID, java.lang.String message)
void	consoleMessage(int stepID, int extID, int port, java.lang.String message)
void	consoleMessage(LogicProgrammingLineReference ref)
void	exceptionConsoleMessage(int stepID, int extID, java.lang.String message)
LogicProgrammingStep	get(int id) Shortcut for quick access to step data; should be overriden in the obvios way for custom step types.
LogicProgrammingLineReference	getConsoleLineRefForStep(int stepID)
LogicProgrammingProfile	getFullProfile()
java.util.Set<java.lang.Integer>	getHiddenSteps()
java.util.List<java.lang.Integer>	getLinkAnchors(int target)
java.lang.Integer	getLinkTarget(int anchor)
KahinaTree	getSecondaryStepTree()
KahinaTree	getStepTree()
void	hideStep(int stepID) Calling this method indicates that a step should be hidden in the main tree view because it was skipped over and nevertheless reported by the logic programming system because it is "unskippable".
void	initialize()
void	linkNodes(int anchor, int target)

Methods inherited from class org.kahina.core.KahinaState

consoleMessage, getConsoleMessages, getLineReferencesForStep, getMatchCountByBreakpoint, getSelectedStepID, getStepCount, getSteps, getWarnThresholdByBreakpoint, loadSteps, nextStepID, processEvent, processSelection, retrieve, store

Methods inherited from class java.lang.Object

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

Field Detail

profile

protected LogicProgrammingProfile profile

Constructor Detail

LogicProgrammingState

public LogicProgrammingState(KahinaInstance<?,?,?,?> kahina)

Method Detail

initialize

public void initialize()

Overrides:

initialize in class KahinaState

breakpointConsoleMessage

public void breakpointConsoleMessage(int stepID,
                            java.lang.String message)

consoleMessage

public void consoleMessage(int stepID,
                  int extID,
                  int port,
                  java.lang.String message)

exceptionConsoleMessage

public void exceptionConsoleMessage(int stepID,
                           int extID,
                           java.lang.String message)

consoleMessage

public void consoleMessage(LogicProgrammingLineReference ref)

getConsoleLineRefForStep

public LogicProgrammingLineReference getConsoleLineRefForStep(int stepID)

addConsoleLineRefForStep

public void addConsoleLineRefForStep(int stepID,
                            KahinaLineReference ref)

getStepTree

public KahinaTree getStepTree()

getSecondaryStepTree

public KahinaTree getSecondaryStepTree()

linkNodes

public void linkNodes(int anchor,
             int target)

getLinkTarget

public java.lang.Integer getLinkTarget(int anchor)

getLinkAnchors

public java.util.List<java.lang.Integer> getLinkAnchors(int target)

getFullProfile

public LogicProgrammingProfile getFullProfile()

hideStep

public void hideStep(int stepID)

Calling this method indicates that a step should be hidden in the main tree view because it was skipped over and nevertheless reported by the logic programming system because it is "unskippable".

Parameters:

stepID -

getHiddenSteps

public java.util.Set<java.lang.Integer> getHiddenSteps()

Returns:

The IDs of the steps that should be hidden in the main tree view because they were skipped over and nevertheless reported by the logic programming system because they are "unskippable".

get

public LogicProgrammingStep get(int id)

Description copied from class: KahinaState

Shortcut for quick access to step data; should be overriden in the obvios way for custom step types.

Overrides:

get in class KahinaState

Returns: