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

Packages that use IModule

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

Fields in edu.ksu.cis.projects.bogor with type parameters of type IModule

protected HashMap<ExtSymbolTable,IModule>	DefaultBogorConfiguration.extTable
protected Map<String,IModule>	DefaultBogorConfiguration.instanceTable

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

IModule	DefaultBogorConfiguration.getExtensionModule(String extId)
IModule	IBogorConfiguration.getExtensionModule(String extId)

Methods in edu.ksu.cis.projects.bogor that return types with arguments of type IModule

Map<ExtSymbolTable,IModule>	DefaultBogorConfiguration.getExtTable()
Map<ExtSymbolTable,IModule>	IBogorConfiguration.getExtTable()

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

protected void

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

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

Classes in edu.ksu.cis.projects.bogor.ext.atomicity that implement IModule

class

AtomicModule

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

Subinterfaces of IModule in edu.ksu.cis.projects.bogor.module

interface	IActionTaker
interface	IBacktrackingInfoFactory
interface	IClassLoader A method by which plugins can provide facilities for loading
interface	ICounterExampleWriter
interface	IExpEvaluator
interface	IListener Tagging interface type for modules which attach some kind of event-listener.
interface	IProgressManager
interface	ISchedulingStrategist Main scheduler module for Bogor.
interface	ISearcher This interface is the top-level interface for a state-space search algorithm.
interface	IStateAugmenter A hook to allow state manager "plugins" that transform the state vector after a vanilla version has been completely calculated.
interface	IStateFactory A state factory interface.
interface	IStateManager
interface	ITransformationFilter Type description here.
interface	ITransformer
interface	IValueFactory A value factory interface.

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

class	AbstractProgressManager
class	DefaultActionTaker
class	DefaultClassLoader Hook for plugin modules to allow clients which do not explicitly depend on the plugin, to still load classes from it.
class	DefaultCounterExampleWriter [Document Pending]
protected class	DefaultCounterExampleWriter.DummyProgressManager [Document Pending]
protected static class	DefaultCounterExampleWriter.DummyStateManagerProxy [Document Pending]
static class	DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy [Document Pending]
protected class	DefaultCounterExampleWriter.GuidedSearcherProxy [Document Pending]
class	DefaultExpEvaluator
class	DefaultSchedulingStrategist
class	DefaultSearcher
class	DefaultStateManager
class	DefaultTransformer

Fields in edu.ksu.cis.projects.bogor.module with type parameters of type IModule

protected Map<ExtSymbolTable,IModule>	DefaultActionTaker.extTable
protected Map<ExtSymbolTable,IModule>	DefaultExpEvaluator.extTable

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

Classes in edu.ksu.cis.projects.bogor.module.backtrack that implement IModule

class

DefaultBacktrackingInfoFactory

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

Subinterfaces of IModule in edu.ksu.cis.projects.bogor.module.config

interface

ISelfDescribingModule Type description here.

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

Classes in edu.ksu.cis.projects.bogor.module.state that implement IModule

class

DefaultStateFactory The default implementation of IStateFactory.

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

Classes in edu.ksu.cis.projects.bogor.module.value that implement IModule

class

DefaultValueFactory The default implementation of IValueFactory.