Uses of Class
edu.ksu.cis.projects.trove.custom.IntSet

Packages that use IntSet

edu.ksu.cis.projects.bogor.analyses	Provides for Bogor modules.
edu.ksu.cis.projects.bogor.module	Provide a generic framework for dataflow analysis on BIR transition systems.
edu.ksu.cis.projects.bogor.module.value	Provides for Bogor values.

Uses of IntSet in edu.ksu.cis.projects.bogor.analyses

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

protected IntObjectTable<IntSet>	CFG.predTable
protected IntObjectTable<IntSet>	CFG.succTable

Method parameters in edu.ksu.cis.projects.bogor.analyses with type arguments of type IntSet

protected void

CFG.addToTable(IntObjectTable<IntSet> table, int fromLocDesc, int toLocDesc)

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

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

protected IntSet	DefaultExpEvaluator.readGlobals
protected IntSet	DefaultActionTaker.writtenGlobals

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

protected Map<IRecordValue,IntSet>	DefaultExpEvaluator.readFieldsTable
protected Map<IRecordValue,IntSet>	DefaultActionTaker.writtenFieldsTable

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

void	DefaultExpEvaluator.setReadGlobalSet(IntSet readGlobals)
void	IExpEvaluator.setReadGlobalSet(IntSet readGlobals) Deprecated. use event framework instead
void	DefaultActionTaker.setWrittenGlobalSet(IntSet writtenGlobals)
void	IActionTaker.setWrittenGlobalSet(IntSet writtenGlobals) Deprecated. use event framework instead

Method parameters in edu.ksu.cis.projects.bogor.module with type arguments of type IntSet

void	DefaultExpEvaluator.setReadFieldsTable(Map<IRecordValue,IntSet> readFieldsTable)
void	IExpEvaluator.setReadFieldsTable(Map<IRecordValue,IntSet> readFieldsTable) Deprecated. use event framework instead
void	DefaultActionTaker.setWrittenFieldsTable(Map<IRecordValue,IntSet> writtenFieldsTable)
void	IActionTaker.setWrittenFieldsTable(Map<IRecordValue,IntSet> writeFieldsTable) Deprecated. use event framework instead

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

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

protected IntSet	DefaultLockValue.notification Holds the notification set of this lock value.
protected IntSet	DefaultLockValue.waiting Holds the wait set of this lock value.

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

IntSet	DefaultLockValue.getNotification()
IntSet	ILockValue.getNotification() Gets the notification set of this lock value.
IntSet	DefaultLockValue.getWaiting()
IntSet	ILockValue.getWaiting() Gets the wait set of this lock value.

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

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