edu.ksu.cis.projects.bogor.module
Class DefaultCounterExampleWriter.GuidedSystemSharedState

java.lang.Object
  edu.ksu.cis.projects.bogor.module.DefaultCounterExampleWriter.GuidedSystemSharedState

Enclosing class:

DefaultCounterExampleWriter

public static class DefaultCounterExampleWriter.GuidedSystemSharedState
extends Object

Information that should be kept in sync among components of a guided search system.

Version:

CVS $Revision: 1.44 $ $Date: 2005/06/09 00:22:01 $

Author:

Matt Hoosier

Field Summary

protected int	currentChoice
protected int	currentScheduleIndex
protected SymbolTable	symbolTable

Constructor Summary

DefaultCounterExampleWriter.GuidedSystemSharedState(SymbolTable symtab)

Method Summary

int	getCurrentChoice()
int	getCurrentScheduleIndex()
SymbolTable	getSymbolTable()
void	incrementCurrentChoice()
void	incrementCurrentScheduleIndex()
void	setCurrentChoice(int currentChoice)
void	setCurrentScheduleIndex(int currentScheduleIndex)

Methods inherited from class java.lang.Object

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

Field Detail

currentScheduleIndex

protected int currentScheduleIndex

currentChoice

protected int currentChoice

symbolTable

protected SymbolTable symbolTable

Constructor Detail

DefaultCounterExampleWriter.GuidedSystemSharedState

public DefaultCounterExampleWriter.GuidedSystemSharedState(SymbolTable symtab)

Method Detail

setCurrentChoice

public void setCurrentChoice(int currentChoice)

getCurrentChoice

public int getCurrentChoice()

setCurrentScheduleIndex

public void setCurrentScheduleIndex(int currentScheduleIndex)

getCurrentScheduleIndex

public int getCurrentScheduleIndex()

getSymbolTable

public SymbolTable getSymbolTable()

incrementCurrentChoice

public void incrementCurrentChoice()

incrementCurrentScheduleIndex

public void incrementCurrentScheduleIndex()