org.kahina.lp
Class LogicProgrammingState

java.lang.Object
  org.kahina.core.KahinaState
      org.kahina.lp.LogicProgrammingState

All Implemented Interfaces:

Serializable, KahinaListener

Direct Known Subclasses:

TraleSLDState

public class LogicProgrammingState
extends KahinaState

See Also:

Serialized Form

Field Summary

protected List<KahinaBreakpoint>	creepPoints
protected List<KahinaBreakpoint>	failPoints
protected List<KahinaBreakpoint>	primaryBreakpoints
protected List<KahinaBreakpoint>	primaryWarnPoints
protected LogicProgrammingProfile	profile
protected List<KahinaBreakpoint>	secondaryBreakpoints
protected List<KahinaBreakpoint>	secondaryWarnPoints
protected List<KahinaBreakpoint>	skipPoints

Fields inherited from class org.kahina.core.KahinaState

consoleLines, consoleMessages, control, matchCountByBreakpoint, warnThresholdByBreakpoint

Constructor Summary

LogicProgrammingState(KahinaController control)

Method Summary

void	breakpointConsoleMessage(int stepID, String message)
void	consoleMessage(int stepID, int extID, int port, String message)
void	consoleMessage(LogicProgrammingLineReference ref)
void	exceptionConsoleMessage(int stepID, int extID, String message)
LogicProgrammingStep	get(int id)
LogicProgrammingLineReference	getConsoleLineRefForStep(int stepID)
List<KahinaBreakpoint>	getCreepPoints()
List<KahinaBreakpoint>	getFailPoints()
LogicProgrammingProfile	getFullProfile()
Set<Integer>	getHiddenSteps()
List<Integer>	getLinkAnchors(int target)
Integer	getLinkTarget(int anchor)
List<KahinaBreakpoint>	getPrimaryBreakpoints()
List<KahinaBreakpoint>	getPrimaryWarnPoints()
List<KahinaBreakpoint>	getSecondaryBreakpoints()
KahinaTree	getSecondaryStepTree()
List<KahinaBreakpoint>	getSecondaryWarnPoints()
List<KahinaBreakpoint>	getSkipPoints()
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, retrieve, store

Methods inherited from class java.lang.Object

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

Field Detail

primaryBreakpoints

protected List<KahinaBreakpoint> primaryBreakpoints

secondaryBreakpoints

protected List<KahinaBreakpoint> secondaryBreakpoints

primaryWarnPoints

protected List<KahinaBreakpoint> primaryWarnPoints

secondaryWarnPoints

protected List<KahinaBreakpoint> secondaryWarnPoints

skipPoints

protected List<KahinaBreakpoint> skipPoints

creepPoints

protected List<KahinaBreakpoint> creepPoints

failPoints

protected List<KahinaBreakpoint> failPoints

profile

protected LogicProgrammingProfile profile

Constructor Detail

LogicProgrammingState

public LogicProgrammingState(KahinaController control)

Method Detail

initialize

public void initialize()

Overrides:

initialize in class KahinaState

breakpointConsoleMessage

public void breakpointConsoleMessage(int stepID,
                                     String message)

consoleMessage

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

exceptionConsoleMessage

public void exceptionConsoleMessage(int stepID,
                                    int extID,
                                    String message)

consoleMessage

public void consoleMessage(LogicProgrammingLineReference ref)

getConsoleLineRefForStep

public LogicProgrammingLineReference getConsoleLineRefForStep(int stepID)

getStepTree

public KahinaTree getStepTree()

getSecondaryStepTree

public KahinaTree getSecondaryStepTree()

getPrimaryBreakpoints

public List<KahinaBreakpoint> getPrimaryBreakpoints()

getSecondaryBreakpoints

public List<KahinaBreakpoint> getSecondaryBreakpoints()

getPrimaryWarnPoints

public List<KahinaBreakpoint> getPrimaryWarnPoints()

getSecondaryWarnPoints

public List<KahinaBreakpoint> getSecondaryWarnPoints()

getSkipPoints

public List<KahinaBreakpoint> getSkipPoints()

getCreepPoints

public List<KahinaBreakpoint> getCreepPoints()

getFailPoints

public List<KahinaBreakpoint> getFailPoints()

linkNodes

public void linkNodes(int anchor,
                      int target)

getLinkTarget

public Integer getLinkTarget(int anchor)

getLinkAnchors

public List<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 Set<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)