org.kahina.core

Class KahinaState

java.lang.Object

org.kahina.core.KahinaState

All Implemented Interfaces:

java.io.Serializable, KahinaListener

Direct Known Subclasses:

FreeMUCState, LogicProgrammingState, MUCState, MUCState, TulipaState

public class KahinaState
extends java.lang.Object
implements java.io.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.

Author:

jdellert

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Map<java.lang.Integer,java.util.Set<KahinaLineReference>>	consoleLines
protected KahinaTextModel	consoleMessages
protected KahinaInstance<?,?,?,?>	kahina
protected java.util.Map<KahinaBreakpoint,java.lang.Integer>	matchCountByBreakpoint
protected java.util.Map<KahinaBreakpoint,java.lang.Integer>	warnThresholdByBreakpoint

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
void	consoleMessage(int stepID, java.lang.String message)
KahinaStep	get(int stepID) Shortcut for quick access to step data; should be overriden in the obvios way for custom step types.
KahinaTextModel	getConsoleMessages()
java.util.Set<KahinaLineReference>	getLineReferencesForStep(int stepID)
java.util.Map<KahinaBreakpoint,java.lang.Integer>	getMatchCountByBreakpoint()
int	getSelectedStepID()
int	getStepCount()
ObjectMagazine<KahinaStep>	getSteps()
java.util.Map<KahinaBreakpoint,java.lang.Integer>	getWarnThresholdByBreakpoint()
void	initialize()
void	loadSteps(java.io.File directory)
int	nextStepID()
void	processEvent(KahinaEvent event)
protected void	processSelection()
<T extends KahinaObject> T	retrieve(java.lang.Class<T> type, int stepID)
void	store(int id, KahinaObject object)

Methods inherited from class java.lang.Object

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

Field Detail

consoleMessages

protected KahinaTextModel consoleMessages

consoleLines

protected java.util.Map<java.lang.Integer,java.util.Set<KahinaLineReference>> consoleLines

warnThresholdByBreakpoint

protected java.util.Map<KahinaBreakpoint,java.lang.Integer> warnThresholdByBreakpoint

matchCountByBreakpoint

protected java.util.Map<KahinaBreakpoint,java.lang.Integer> matchCountByBreakpoint

kahina

protected KahinaInstance<?,?,?,?> kahina

Constructor Detail

KahinaState

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

Method Detail

initialize

public void initialize()

nextStepID

public int nextStepID()

getStepCount

public int getStepCount()

getSteps

public ObjectMagazine<KahinaStep> getSteps()

store

public void store(int id,
         KahinaObject object)

retrieve

public <T extends KahinaObject> T retrieve(java.lang.Class<T> type,
                                  int stepID)

loadSteps

public void loadSteps(java.io.File directory)

processEvent

public void processEvent(KahinaEvent event)

Specified by:

processEvent in interface KahinaListener

processSelection

protected void processSelection()

getSelectedStepID

public int getSelectedStepID()

consoleMessage

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

getConsoleMessages

public KahinaTextModel getConsoleMessages()

getLineReferencesForStep

public java.util.Set<KahinaLineReference> getLineReferencesForStep(int stepID)

getMatchCountByBreakpoint

public java.util.Map<KahinaBreakpoint,java.lang.Integer> getMatchCountByBreakpoint()

getWarnThresholdByBreakpoint

public java.util.Map<KahinaBreakpoint,java.lang.Integer> getWarnThresholdByBreakpoint()

get

public KahinaStep get(int stepID)

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

Parameters:

stepID -

Returns: