edu.ksu.cis.projects.bogor.module
Class DefaultCounterExampleSchedulingInfo

java.lang.Object
  edu.ksu.cis.projects.bogor.module.DefaultCounterExampleSchedulingInfo

All Implemented Interfaces:

ICounterExampleSchedulingInfo, Serializable

public class DefaultCounterExampleSchedulingInfo
extends Object
implements ICounterExampleSchedulingInfo

See Also:

Serialized Form

Constructor Summary

DefaultCounterExampleSchedulingInfo()

DefaultCounterExampleSchedulingInfo(String stateId, int threadIndex, int[] numChoices, int[] choicesTaken)

Method Summary

int[]	getChosenIndices()
int[]	getNumOfChoices()
String	getStateId()
int	getThreadIndex()
void	parseString(String s)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultCounterExampleSchedulingInfo

public DefaultCounterExampleSchedulingInfo()

DefaultCounterExampleSchedulingInfo

public DefaultCounterExampleSchedulingInfo(String stateId,
                                           int threadIndex,
                                           int[] numChoices,
                                           int[] choicesTaken)

Method Detail

getChosenIndices

public int[] getChosenIndices()

Specified by:

getChosenIndices in interface ICounterExampleSchedulingInfo

getNumOfChoices

public int[] getNumOfChoices()

Specified by:

getNumOfChoices in interface ICounterExampleSchedulingInfo

getStateId

public String getStateId()

Specified by:

getStateId in interface ICounterExampleSchedulingInfo

getThreadIndex

public int getThreadIndex()

Specified by:

getThreadIndex in interface ICounterExampleSchedulingInfo

parseString

public void parseString(String s)
                 throws IllegalArgumentException

Specified by:

parseString in interface ICounterExampleSchedulingInfo

Throws:

IllegalArgumentException

toString

public String toString()

Specified by:

toString in interface ICounterExampleSchedulingInfo

Overrides:

toString in class Object