Uses of Interface
edu.ksu.cis.projects.bogor.analyses.IntraFSMAnalysis.SetFactory

Packages that use IntraFSMAnalysis.SetFactory

edu.ksu.cis.projects.bogor.analyses

Provides for Bogor modules.

Uses of IntraFSMAnalysis.SetFactory in edu.ksu.cis.projects.bogor.analyses

Classes in edu.ksu.cis.projects.bogor.analyses that implement IntraFSMAnalysis.SetFactory

protected static class

LiveVariableAnalysis.HashSetFactory<T>

Fields in edu.ksu.cis.projects.bogor.analyses declared as IntraFSMAnalysis.SetFactory

protected IntraFSMAnalysis.SetFactory<L>

IntraFSMAnalysis.setFactory Factory object to create set implementations appropriate for the particular analysis "plugged into" the MDF.

Methods in edu.ksu.cis.projects.bogor.analyses with parameters of type IntraFSMAnalysis.SetFactory

Set<T>	IntraFSMAnalysis.SetMergeOperator.merge(Set<T> s1, Set<T> s2, IntraFSMAnalysis.SetFactory<T> sf)
Set<T>	LiveVariableAnalysis.UnionOperator.merge(Set<T> s1, Set<T> s2, IntraFSMAnalysis.SetFactory<T> sf)

Constructors in edu.ksu.cis.projects.bogor.analyses with parameters of type IntraFSMAnalysis.SetFactory

IntraFSMAnalysis(CFG cfg, boolean isForwardAnalysis, IntraFSMAnalysis.SetContainmentOperator<L> subsetTest, IntraFSMAnalysis.SetMergeOperator<L> mergeOp, IntraFSMAnalysis.SetFactory<L> setFactory, Set<L> init, Set<L> bottom)
Build an instance of the Monotone Data-flow Framework.