Uses of Interface
edu.ksu.cis.projects.bogor.module.IMessageStore

Packages that use IMessageStore

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.state	Provides for Bogor state.
edu.ksu.cis.projects.bogor.module.value	Provides for Bogor values.

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

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

IMessageStore	DefaultBogorConfiguration.connect()
IMessageStore	IBogorConfiguration.connect()
protected IMessageStore	DefaultBogorConfiguration.initialize()
IMessageStore	DefaultBogorConfiguration.initialize(SymbolTable symbolTable, IProgressManager pm, PrintWriter pw, Properties configuration)
IMessageStore	IBogorConfiguration.initialize(SymbolTable symbolTable, IProgressManager pm, PrintWriter pw, Properties configuration)

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

protected void

DefaultBogorConfiguration.printCopyrightAndSetOptions(String text, IModule m, String key, Properties configuration, IMessageStore moduleOptsMessages)

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

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

protected IMessageStore

DefaultTransformSystemResult.messages

Methods in edu.ksu.cis.projects.bogor.ast.transform that return IMessageStore

IMessageStore	DefaultTransformSystemResult.getMessages()
IMessageStore	ITransformSystemResult.getMessages() Fetch the set of all domain-specific errors encountered while transforming the syntax tree.

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

Methods in edu.ksu.cis.projects.bogor.ext.atomicity that return IMessageStore

IMessageStore	AtomicModule.connect(IBogorConfiguration bc)
IMessageStore	AtomicModule.setOptions(String key, Properties options)

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

Classes in edu.ksu.cis.projects.bogor.module that implement IMessageStore

class

DefaultMessageStore

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

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)
IMessageStore	DefaultStateManager.connect(IBogorConfiguration bc)
IMessageStore	DefaultTransformer.connect(IBogorConfiguration bc)
IMessageStore	IModule.connect(IBogorConfiguration bc) Connects this modules to other modules.
IMessageStore	DefaultCounterExampleWriter.IGuidedSimulator.getErrors() All the errors that occurred when initializing system.
IMessageStore	AbstractProgressManager.setOptions(String key, Properties configuration)
IMessageStore	DefaultActionTaker.setOptions(String key, Properties configuration)
IMessageStore	DefaultClassLoader.setOptions(String key, Properties options)
IMessageStore	DefaultCounterExampleWriter.setOptions(String key, Properties configuration) [Document Pending]
IMessageStore	DefaultCounterExampleWriter.DummyStateManagerProxy.setOptions(String key, Properties configuration) [Document Pending]
IMessageStore	DefaultCounterExampleWriter.GuidedSearcherProxy.setOptions(String key, Properties configuration) [Document Pending]
IMessageStore	DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy.setOptions(String key, Properties configuration) [Document Pending]
IMessageStore	DefaultExpEvaluator.setOptions(String key, Properties configuration)
IMessageStore	DefaultSchedulingStrategist.setOptions(String key, Properties configuration)
IMessageStore	DefaultSearcher.setOptions(String key, Properties configuration)
IMessageStore	DefaultStateManager.setOptions(String key, Properties configuration)
IMessageStore	DefaultTransformer.setOptions(String key, Properties configuration)
IMessageStore	IModule.setOptions(String key, Properties options) Sets the options for this module.

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

void	DefaultMessageStore.merge(IMessageStore other)
void	IMessageStore.merge(IMessageStore other) Destructively insert the contents of the second message collection into this one.

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

Methods in edu.ksu.cis.projects.bogor.module.backtrack that return IMessageStore

IMessageStore	DefaultBacktrackingInfoFactory.connect(IBogorConfiguration bc)
IMessageStore	DefaultBacktrackingInfoFactory.setOptions(String key, Properties configuration)

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

Methods in edu.ksu.cis.projects.bogor.module.state that return IMessageStore

IMessageStore	DefaultStateFactory.connect(IBogorConfiguration bc)
IMessageStore	DefaultStateFactory.setOptions(String key, Properties configuration)

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

Methods in edu.ksu.cis.projects.bogor.module.value that return IMessageStore

IMessageStore	DefaultValueFactory.connect(IBogorConfiguration bc)
IMessageStore	DefaultValueFactory.setOptions(String key, Properties configuration)