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

Packages that use IProgressManager

edu.ksu.cis.projects.bogor	Provides for Bogor command-line interface (CLI) and configuration.
edu.ksu.cis.projects.bogor.module	Provide a generic framework for dataflow analysis on BIR transition systems.

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

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

protected IProgressManager

DefaultBogorConfiguration.pm

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

IProgressManager	DefaultBogorConfiguration.getProgressManager()
IProgressManager	IBogorConfiguration.getProgressManager()

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

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(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)
void	DefaultBogorConfiguration.setProgressManager(IProgressManager pm)
void	IBogorConfiguration.setProgressManager(IProgressManager pm)

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

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

class	AbstractProgressManager
protected class	DefaultCounterExampleWriter.DummyProgressManager [Document Pending]

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

protected IProgressManager

DefaultSearcher.pm