Uses of Class
edu.ksu.cis.projects.bogor.symboltable.SymbolTable

Packages that use SymbolTable

edu.ksu.cis.projects.bogor	Provides for Bogor command-line interface (CLI) and configuration.
edu.ksu.cis.projects.bogor.ast.checker	Provides for Bogor AST checker.
edu.ksu.cis.projects.bogor.ast.transform
edu.ksu.cis.projects.bogor.module	Provide a generic framework for dataflow analysis on BIR transition systems.
edu.ksu.cis.projects.bogor.module.backtrack	Provides types and factories for "undo" operations.
edu.ksu.cis.projects.bogor.module.config
edu.ksu.cis.projects.bogor.module.state	Provides for Bogor state.
edu.ksu.cis.projects.bogor.module.value	Provides for Bogor values.
edu.ksu.cis.projects.bogor.symboltable	Provides for Bogor symbol table.

Uses of SymbolTable in edu.ksu.cis.projects.bogor

Fields in edu.ksu.cis.projects.bogor declared as SymbolTable

protected SymbolTable

DefaultBogorConfiguration.symbolTable

Methods in edu.ksu.cis.projects.bogor that return SymbolTable

SymbolTable	DefaultBogorConfiguration.getSymbolTable()
SymbolTable	IBogorConfiguration.getSymbolTable()
static SymbolTable	Bogor.getSymbolTable(IBogorConfiguration bc, Properties configuration, String filename, PrintWriter pw, boolean applyTransformers)
static SymbolTable	Bogor.getSymbolTable(IBogorConfiguration bc, Properties configuration, String sourceFilename, Reader source, PrintWriter pw, boolean applyTransformers)
static SymbolTable	Bogor.getSymbolTable(IBogorConfiguration bc, Properties configuration, String sourceFilename, System compilationUnit, List<String> parserErrors, PrintWriter pw, boolean applyTransformers)

Methods in edu.ksu.cis.projects.bogor with parameters of type SymbolTable

IMessageStore	DefaultBogorConfiguration.initialize(SymbolTable symbolTable, IProgressManager pm, PrintWriter pw, Properties configuration)
IMessageStore	IBogorConfiguration.initialize(SymbolTable symbolTable, IProgressManager pm, PrintWriter pw, Properties configuration)
static void	Bogor.modelCheck(SymbolTable symbolTable, PrintWriter pw, IProgressManager pm, IBogorConfiguration bc, Properties c)

Uses of SymbolTable in edu.ksu.cis.projects.bogor.ast.checker

Methods in edu.ksu.cis.projects.bogor.ast.checker with parameters of type SymbolTable

void	Checker.check(SymbolTable symbolTable) Checks a BIR system.
boolean	LiveSetChecker.check(SymbolTable symbolTable, edu.ksu.cis.projects.bogor.ast.checker.TypeChecker ttc)
static Type	ExpChecker.checkExp(Exp node, boolean allowHighLevel, boolean inSideEffectFreeContext, Map<String,Type> bindingMap, edu.ksu.cis.projects.bogor.ast.checker.TypeChecker ttc, SymbolTable st, FSMSymbolTable fsmSt) Calculate the type of an expression.
static boolean	LegalInitialValueChecker.isConst(Exp e, SymbolTable st) Determine if the expression is a legal initial value for a variable.

Constructors in edu.ksu.cis.projects.bogor.ast.checker with parameters of type SymbolTable

ConstIntExpEvaluator(SymbolTable st)

Uses of SymbolTable in edu.ksu.cis.projects.bogor.ast.transform

Fields in edu.ksu.cis.projects.bogor.ast.transform declared as SymbolTable

protected SymbolTable	HighToLowAtomicExpCompiler.st Persists for lifetime of object.
protected SymbolTable	HighToLowBIRCompiler.st
protected SymbolTable	HighToLowNonAtomicExpCompiler.st Persists for lifetime of object.

Methods in edu.ksu.cis.projects.bogor.ast.transform with parameters of type SymbolTable

ITransformSystemResult	BIRUnitSystemTransformer.transformSystem(System ast, Properties configuration, IBogorConfiguration bc, SymbolTable st, boolean dryRun)
ITransformSystemResult	HighToLowBIRCompiler.transformSystem(System ast, Properties configuration, IBogorConfiguration bc, SymbolTable st, boolean dryRun)
ITransformSystemResult	ISystemTransformer.transformSystem(System ast, Properties configuration, IBogorConfiguration bc, SymbolTable st, boolean dryRun) Destructively update the syntax tree ast.

Constructors in edu.ksu.cis.projects.bogor.ast.transform with parameters of type SymbolTable

HighToLowAtomicExpCompiler(SymbolTable st)

HighToLowNonAtomicExpCompiler(SymbolTable st, IExpCompiler htlaec)

Uses of SymbolTable in edu.ksu.cis.projects.bogor.module

Fields in edu.ksu.cis.projects.bogor.module declared as SymbolTable

protected SymbolTable	DefaultActionTaker.symbolTable
protected SymbolTable	DefaultCounterExampleWriter.symbolTable
protected SymbolTable	DefaultCounterExampleWriter.GuidedSystemSharedState.symbolTable
protected SymbolTable	DefaultExpEvaluator.symbolTable
protected SymbolTable	DefaultSchedulingStrategist.symbolTable Runtime module connection
protected SymbolTable	DefaultSearcher.symbolTable
protected SymbolTable	DefaultStateExternalizer.symbolTable
protected SymbolTable	DefaultStateManager.symbolTable
protected SymbolTable	DefaultTransformer.symbolTable

Methods in edu.ksu.cis.projects.bogor.module that return SymbolTable

SymbolTable

DefaultCounterExampleWriter.GuidedSystemSharedState.getSymbolTable()

Methods in edu.ksu.cis.projects.bogor.module with parameters of type SymbolTable

DefaultCounterExampleWriter.IGuidedSimulator	DefaultCounterExampleWriter.getGuidedSimulator(SymbolTable symtab, Properties config, Class bcClass, List<ICounterExampleSchedulingInfo> scheduleDecisions)
DefaultCounterExampleWriter.IGuidedSimulator	DefaultCounterExampleWriter.getGuidedSimulator(SymbolTable symtab, Properties config, Class bcClass, List<ICounterExampleSchedulingInfo> scheduleDecisions, int numScheduleDecisionsToUse, boolean externalizeAllSteps)
static DefaultCounterExampleWriter.IGuidedSimulator	DefaultCounterExampleWriter.getSimulator(File trailsFile, int traceNumber, SymbolTable st, Class bogorConfigurationClass, PrintWriter pw)
static DefaultCounterExampleWriter.IGuidedSimulator	DefaultCounterExampleWriter.getSimulator(File trailsFile, int traceNumber, SymbolTable st, PrintWriter pw)
Collection<String>	DefaultActionTaker.getSuggestedValues(String id, IBogorConfiguration bc, SymbolTable st)
Collection<String>	DefaultCounterExampleWriter.getSuggestedValues(String id, IBogorConfiguration bc, SymbolTable st)
Collection<String>	DefaultExpEvaluator.getSuggestedValues(String id, IBogorConfiguration bc, SymbolTable st)
Collection<String>	DefaultSchedulingStrategist.getSuggestedValues(String id, IBogorConfiguration bc, SymbolTable st)
Collection<String>	DefaultSearcher.getSuggestedValues(String id, IBogorConfiguration bc, SymbolTable st)
Collection<String>	DefaultStateManager.getSuggestedValues(String id, IBogorConfiguration bc, SymbolTable st)
Collection<String>	DefaultTransformer.getSuggestedValues(String id, IBogorConfiguration bc, SymbolTable st)
boolean	DefaultActionTaker.validate(String id, String value, IBogorConfiguration bc, SymbolTable st, Collection<FileMessage> errors) Checks whether the value of a configuration option is legal.
boolean	DefaultCounterExampleWriter.validate(String id, String value, IBogorConfiguration bc, SymbolTable st, Collection<FileMessage> errors) Checks whether the value of a configuration option is legal.
boolean	DefaultExpEvaluator.validate(String id, String value, IBogorConfiguration bc, SymbolTable st, Collection<FileMessage> errors)
boolean	DefaultSchedulingStrategist.validate(String id, String value, IBogorConfiguration bc, SymbolTable st, Collection<FileMessage> errors) Checks whether the value of a configuration option is legal.
boolean	DefaultSearcher.validate(String id, String value, IBogorConfiguration bc, SymbolTable st, Collection<FileMessage> errors) Checks whether the value of a configuration option is legal.
boolean	DefaultStateManager.validate(String id, String value, IBogorConfiguration bc, SymbolTable st, Collection<FileMessage> errors)
boolean	DefaultTransformer.validate(String id, String value, IBogorConfiguration bc, SymbolTable st, Collection<FileMessage> errors)

Constructors in edu.ksu.cis.projects.bogor.module with parameters of type SymbolTable

DefaultCounterExampleWriter.GuidedSystemSharedState(SymbolTable symtab)

Uses of SymbolTable in edu.ksu.cis.projects.bogor.module.backtrack

Methods in edu.ksu.cis.projects.bogor.module.backtrack with parameters of type SymbolTable

Collection<String>	DefaultBacktrackingInfoFactory.getSuggestedValues(String id, IBogorConfiguration bc, SymbolTable st)
boolean	DefaultBacktrackingInfoFactory.validate(String id, String value, IBogorConfiguration bc, SymbolTable st, Collection<FileMessage> errors)

Uses of SymbolTable in edu.ksu.cis.projects.bogor.module.config

Methods in edu.ksu.cis.projects.bogor.module.config with parameters of type SymbolTable

Collection<String>	ISelfDescribingModule.getSuggestedValues(String id, IBogorConfiguration bc, SymbolTable st)
boolean	ISelfDescribingModule.validate(String id, String value, IBogorConfiguration bc, SymbolTable st, Collection<FileMessage> errors) Checks whether the value of a configuration option is legal.

Uses of SymbolTable in edu.ksu.cis.projects.bogor.module.state

Fields in edu.ksu.cis.projects.bogor.module.state declared as SymbolTable

protected SymbolTable	DefaultState.st Holds the symbol table for the BIR model.
protected SymbolTable	DefaultStateFactory.st

Methods in edu.ksu.cis.projects.bogor.module.state with parameters of type SymbolTable

Collection<String>	DefaultStateFactory.getSuggestedValues(String id, IBogorConfiguration bc, SymbolTable st)
boolean	DefaultStateFactory.validate(String id, String value, IBogorConfiguration bc, SymbolTable st, Collection<FileMessage> errors) Checks whether the value of a configuration option is legal.

Constructors in edu.ksu.cis.projects.bogor.module.state with parameters of type SymbolTable

DefaultState(SymbolTable st, IStateFactory sf, IValueArray globalValues)
Default constructor.

StateValueVisitor(SymbolTable symbolTable, IValueVisitorAction valueVisitorAction, boolean depthFirst, boolean visitRecordLock, boolean pruneTransients)
Default constructor.

Uses of SymbolTable in edu.ksu.cis.projects.bogor.module.value

Fields in edu.ksu.cis.projects.bogor.module.value declared as SymbolTable

protected SymbolTable

DefaultValueFactory.symbolTable Holds the symbol table.

Methods in edu.ksu.cis.projects.bogor.module.value with parameters of type SymbolTable

Collection<String>	DefaultValueFactory.getSuggestedValues(String id, IBogorConfiguration bc, SymbolTable st)
boolean	DefaultValueFactory.validate(String id, String value, IBogorConfiguration bc, SymbolTable st, Collection<FileMessage> errors)

Uses of SymbolTable in edu.ksu.cis.projects.bogor.symboltable

Methods in edu.ksu.cis.projects.bogor.symboltable that return SymbolTable

SymbolTable

FSMSymbolTable.getSymbolTable() Gets the symbol table.

Constructors in edu.ksu.cis.projects.bogor.symboltable with parameters of type SymbolTable

FSMSymbolTable(SymbolTable symbolTable, FSM fsm)
Default constructor.