Uses of Interface
edu.ksu.cis.projects.bogor.IBogorConfiguration

Packages that use IBogorConfiguration

edu.ksu.cis.projects.bogor	Provides for Bogor command-line interface (CLI) and configuration.
edu.ksu.cis.projects.bogor.ast.transform
edu.ksu.cis.projects.bogor.ext.atomicity
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.

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

Classes in edu.ksu.cis.projects.bogor that implement IBogorConfiguration

class

DefaultBogorConfiguration

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

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)
static void	Bogor.modelCheck(String filename, PrintWriter pw, IProgressManager pm, IBogorConfiguration bc, Properties configuration)
static void	Bogor.modelCheck(String sourceFilename, Reader source, PrintWriter pw, IProgressManager pm, IBogorConfiguration bc, Properties configuration)
static void	Bogor.modelCheck(SymbolTable symbolTable, PrintWriter pw, IProgressManager pm, IBogorConfiguration bc, Properties c)

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

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

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.

Uses of IBogorConfiguration in edu.ksu.cis.projects.bogor.ext.atomicity

Methods in edu.ksu.cis.projects.bogor.ext.atomicity with parameters of type IBogorConfiguration

IMessageStore

AtomicModule.connect(IBogorConfiguration bc)

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

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

protected IBogorConfiguration	DefaultCounterExampleWriter.bc
protected IBogorConfiguration	DefaultSearcher.bc

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

IBogorConfiguration

DefaultCounterExampleWriter.IGuidedSimulator.getBogorConfiguration()

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

IMessageStore	AbstractProgressManager.connect(IBogorConfiguration bc)
IMessageStore	DefaultActionTaker.connect(IBogorConfiguration bc)
IMessageStore	DefaultClassLoader.connect(IBogorConfiguration bc)
IMessageStore	DefaultCounterExampleWriter.connect(IBogorConfiguration bc) [Document Pending]
IMessageStore	DefaultCounterExampleWriter.DummyStateManagerProxy.connect(IBogorConfiguration bc) [Document Pending]
IMessageStore	DefaultCounterExampleWriter.GuidedSearcherProxy.connect(IBogorConfiguration bc) [Document Pending]
IMessageStore	DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy.connect(IBogorConfiguration bc) [Document Pending]
IMessageStore	DefaultExpEvaluator.connect(IBogorConfiguration bc)
IMessageStore	DefaultSchedulingStrategist.connect(IBogorConfiguration bc)
IMessageStore	DefaultSearcher.connect(IBogorConfiguration bc)
void	DefaultStateExternalizer.connect(IBogorConfiguration bc)
IMessageStore	DefaultStateManager.connect(IBogorConfiguration bc)
IMessageStore	DefaultTransformer.connect(IBogorConfiguration bc)
IMessageStore	IModule.connect(IBogorConfiguration bc) Connects this modules to other modules.
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)

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

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

IMessageStore	DefaultBacktrackingInfoFactory.connect(IBogorConfiguration bc)
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 IBogorConfiguration in edu.ksu.cis.projects.bogor.module.config

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

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 IBogorConfiguration in edu.ksu.cis.projects.bogor.module.state

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

protected IBogorConfiguration

DefaultStateFactory.bc Holds the Bogor configuration for this state factory.

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

IMessageStore	DefaultStateFactory.connect(IBogorConfiguration bc)
Collection<String>	DefaultStateFactory.getSuggestedValues(String id, IBogorConfiguration bc, SymbolTable st)
void	DefaultState.validate(IBogorConfiguration bc)
void	DefaultThreadStore.validate(IBogorConfiguration bc)
void	IState.validate(IBogorConfiguration bc) Validates this state wrt.
boolean	DefaultStateFactory.validate(String id, String value, IBogorConfiguration bc, SymbolTable st, Collection<FileMessage> errors) Checks whether the value of a configuration option is legal.

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

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

protected IBogorConfiguration

DefaultValueFactory.bc Holds the Bogor configuration.

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

IMessageStore	DefaultValueFactory.connect(IBogorConfiguration bc)
Collection<String>	DefaultValueFactory.getSuggestedValues(String id, IBogorConfiguration bc, SymbolTable st)
void	DefaultArrayValue.validate(IBogorConfiguration bc)
void	DefaultDoubleValue.validate(IBogorConfiguration bc)
void	DefaultExpASTValue.validate(IBogorConfiguration bc)
void	DefaultFloatValue.validate(IBogorConfiguration bc)
void	DefaultIntValue.validate(IBogorConfiguration bc)
void	DefaultLockValue.validate(IBogorConfiguration bc)
void	DefaultLongValue.validate(IBogorConfiguration bc)
void	DefaultNullValue.validate(IBogorConfiguration bc)
void	DefaultRecordValue.validate(IBogorConfiguration bc)
void	DefaultStringValue.validate(IBogorConfiguration bc)
void	IValue.validate(IBogorConfiguration bc) Freshen references to Bogor model checking components and other non-serializable objects.
void	IValueArray.validate(IBogorConfiguration bc) Validates this value array wrt.
void	UniformValueArray.validate(IBogorConfiguration bc)
void	VariedValueArray.validate(IBogorConfiguration bc)
boolean	DefaultValueFactory.validate(String id, String value, IBogorConfiguration bc, SymbolTable st, Collection<FileMessage> errors)