org.kahina.core
Class KahinaState

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

All Implemented Interfaces:

Serializable, KahinaListener

Direct Known Subclasses:

LogicProgrammingState, TulipaState

public class KahinaState
extends Object
implements Serializable, KahinaListener

The current state of a Kahina instance. Implicitly contains all the information on the current run of Kahina. Can be serialized and deserialized, allowing to interrupt and continue runs.

See Also:

Serialized Form

Field Summary

protected Map<Integer,Set<KahinaLineReference>>	consoleLines
protected KahinaTextModel	consoleMessages
protected Map<KahinaBreakpoint,Integer>	matchCountByBreakpoint
protected Map<KahinaBreakpoint,Integer>	warnThresholdByBreakpoint

Constructor Summary

KahinaState()

Method Summary

void	consoleMessage(int stepID, String message)
KahinaTextModel	getConsoleMessages()
Set<KahinaLineReference>	getLineReferencesForStep(int stepID)
Map<KahinaBreakpoint,Integer>	getMatchCountByBreakpoint()
int	getSelectedStepID()
Map<KahinaBreakpoint,Integer>	getWarnThresholdByBreakpoint()
int	nextStepID()
void	processEvent(KahinaEvent event)

Methods inherited from class java.lang.Object

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

Field Detail

consoleMessages

protected final KahinaTextModel consoleMessages

consoleLines

protected final Map<Integer,Set<KahinaLineReference>> consoleLines

warnThresholdByBreakpoint

protected final Map<KahinaBreakpoint,Integer> warnThresholdByBreakpoint

matchCountByBreakpoint

protected final Map<KahinaBreakpoint,Integer> matchCountByBreakpoint

Constructor Detail

KahinaState

public KahinaState()

Method Detail

nextStepID

public int nextStepID()

processEvent

public void processEvent(KahinaEvent event)

Specified by:

processEvent in interface KahinaListener

getSelectedStepID

public int getSelectedStepID()

consoleMessage

public void consoleMessage(int stepID,
                           String message)

getConsoleMessages

public KahinaTextModel getConsoleMessages()

getLineReferencesForStep

public Set<KahinaLineReference> getLineReferencesForStep(int stepID)

getMatchCountByBreakpoint

public Map<KahinaBreakpoint,Integer> getMatchCountByBreakpoint()

getWarnThresholdByBreakpoint

public Map<KahinaBreakpoint,Integer> getWarnThresholdByBreakpoint()