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)