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

Packages that use IValueFactory

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.
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 IValueFactory in edu.ksu.cis.projects.bogor

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

protected IValueFactory

DefaultBogorConfiguration.vf

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

IValueFactory	DefaultBogorConfiguration.getValueFactory()
IValueFactory	IBogorConfiguration.getValueFactory()

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

void	DefaultBogorConfiguration.setValueFactory(IValueFactory vf)
void	IBogorConfiguration.setValueFactory(IValueFactory vf)

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

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

protected IValueFactory	DefaultActionTaker.vf
protected IValueFactory	DefaultExpEvaluator.vf
protected IValueFactory	DefaultSchedulingStrategist.vf Runtime module connection
protected IValueFactory	DefaultSearcher.vf
protected IValueFactory	DefaultStateExternalizer.vf
protected IValueFactory	DefaultStateManager.vf
protected IValueFactory	DefaultTransformer.vf

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

Fields in edu.ksu.cis.projects.bogor.module.backtrack declared as IValueFactory

protected IValueFactory

DefaultBacktrackingInfoFactory.vf

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

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

protected IValueFactory

DefaultStateFactory.valueFactory Holds the value factory for this state factory.

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

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

class

DefaultValueFactory The default implementation of IValueFactory.

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

protected IValueFactory	UniformValueArray.valueFactory Holds the value factory.
protected IValueFactory	VariedValueArray.valueFactory Holds the value factory.
protected IValueFactory	DefaultArrayValue.vf Holds the value factory of this array value.
protected IValueFactory	DefaultLockValue.vf Holds the value factory of this lock value.
protected IValueFactory	DefaultRecordValue.vf Holds the value factory of this record value.
protected IValueFactory	DefaultValueFactory.vf Holds the value factory (for delegation).

Constructors in edu.ksu.cis.projects.bogor.module.value with parameters of type IValueFactory

DefaultArrayValue(IValueFactory vf, int referenceId, ArrayType type, IValueArray elementValues, IValueArray fieldValues, ILockValue lockValue)
Default constructor.

DefaultLockValue(IValueFactory vf, int referenceId, LockType type, IntSet waiting, IntSet notification)
Default constructor.

DefaultRecordValue(IValueFactory vf, int referenceId, RecordType type, IValueArray fieldValues, ILockValue lockValue)
Default constructor.

UniformValueArray(IValueFactory valueFactory, IValue[] elementValues)
Default constructor.

VariedValueArray(IValueFactory valueFactory, IValue[] elementValues)
Default constructor.