Uses of Interface
com.ibm.wala.demandpa.flowgraph.IFlowLabel

Packages that use IFlowLabel

Package	Description
com.ibm.wala.demandpa.alg
com.ibm.wala.demandpa.alg.refinepolicy
com.ibm.wala.demandpa.flowgraph

Uses of IFlowLabel in com.ibm.wala.demandpa.alg

Methods in com.ibm.wala.demandpa.alg that return types with arguments of type IFlowLabel

Modifier and Type	Method and Description
StateMachineFactory<IFlowLabel>	DemandRefinementPointsTo.getStateMachineFactory()
StateMachine<IFlowLabel>	IntraProcFilter.Factory.make()
StateMachine<IFlowLabel>	ContextSensitiveStateMachine.Factory.make()

Methods in com.ibm.wala.demandpa.alg with parameters of type IFlowLabel

Modifier and Type	Method and Description
protected boolean	DemandRefinementPointsTo.PointsToComputer.addAllToP2Set(Map<PointerKeyAndState,com.ibm.wala.util.intset.MutableIntSet> p2setMap, PointerKeyAndState pkAndState, com.ibm.wala.util.intset.IntSet vals, IFlowLabel label)
protected void	DemandRefinementPointsTo.PointsToComputer.handleBackCopy(PointerKeyAndState curPkAndState, PointerKey predPk, IFlowLabel label)
protected boolean	DemandRefinementPointsTo.PointsToComputer.handleTrackedPred(com.ibm.wala.util.intset.MutableIntSet curTrackedSet, PointerKeyAndState predPkAndState, IFlowLabel label) Handle a predecessor when processing some tracked locations
protected boolean	DemandRefinementPointsTo.FlowsToComputer.handleTrackedPred(com.ibm.wala.util.intset.MutableIntSet curTrackedSet, PointerKeyAndState predPkAndState, IFlowLabel label) also update the flows-to set of interest if necessary
protected Collection<PointerKeyAndState>	DemandRefinementPointsTo.PointsToComputer.matchingPToQueried(PointerKeyAndState curPkAndState, PointerKey predPk, IFlowLabel label)
StateMachine.State	IntraProcFilter.transition(StateMachine.State prevState, IFlowLabel label)
StateMachine.State	ContextSensitiveStateMachine.transition(StateMachine.State prevState, IFlowLabel label)

Method parameters in com.ibm.wala.demandpa.alg with type arguments of type IFlowLabel

Modifier and Type	Method and Description
static DemandRefinementPointsTo	DemandRefinementPointsTo.makeWithDefaultFlowGraph(CallGraph cg, HeapModel model, MemoryAccessMap mam, IClassHierarchy cha, AnalysisOptions options, StateMachineFactory<IFlowLabel> stateMachineFactory) create a demand points-to analysis runner
void	DemandRefinementPointsTo.setStateMachineFactory(StateMachineFactory<IFlowLabel> stateMachineFactory)

Uses of IFlowLabel in com.ibm.wala.demandpa.alg.refinepolicy

Methods in com.ibm.wala.demandpa.alg.refinepolicy with parameters of type IFlowLabel

Modifier and Type	Method and Description
boolean	TunedFieldRefinementPolicy.shouldRefine(IField field, PointerKey basePtr, PointerKey val, IFlowLabel label, StateMachine.State state)
boolean	OnlyArraysPolicy.shouldRefine(IField field, PointerKey basePtr, PointerKey val, IFlowLabel label, StateMachine.State state)
boolean	NeverRefineFieldsPolicy.shouldRefine(IField field, PointerKey basePtr, PointerKey val, IFlowLabel label, StateMachine.State state)
boolean	ManualFieldPolicy.shouldRefine(IField field, PointerKey basePtr, PointerKey val, IFlowLabel label, StateMachine.State state)
boolean	FieldRefinePolicy.shouldRefine(IField field, PointerKey basePtr, PointerKey val, IFlowLabel label, StateMachine.State state)
boolean	DelegatingFieldRefinePolicy.shouldRefine(IField field, PointerKey basePtr, PointerKey val, IFlowLabel label, StateMachine.State state) returns true if A.shouldRefine(field) || B.shouldRefine(field).
boolean	AlwaysRefineFieldsPolicy.shouldRefine(IField field, PointerKey basePtr, PointerKey val, IFlowLabel label, StateMachine.State state)

Uses of IFlowLabel in com.ibm.wala.demandpa.flowgraph

Subinterfaces of IFlowLabel in com.ibm.wala.demandpa.flowgraph

Modifier and Type	Interface and Description
interface	IFlowLabelWithFilter

Classes in com.ibm.wala.demandpa.flowgraph that implement IFlowLabel

Modifier and Type	Class and Description
class	AssignBarLabel
class	AssignGlobalBarLabel
class	AssignGlobalLabel
class	AssignLabel
class	CallLabel
class	GetFieldBarLabel
class	GetFieldLabel
class	MatchBarLabel
class	MatchLabel
class	NewBarLabel
class	NewLabel
class	ParamBarLabel
class	ParamLabel
class	PutFieldBarLabel
class	PutFieldLabel
class	ReturnBarLabel
class	ReturnLabel

Methods in com.ibm.wala.demandpa.flowgraph that return IFlowLabel

Modifier and Type	Method and Description
IFlowLabel	IFlowLabel.bar()