Uses of Interface
com.ibm.wala.classLoader.IField

Packages that use IField

Package	Description
com.ibm.wala.classLoader	This package provides functionality related to class loading and management of loaded classes.
com.ibm.wala.demandpa.alg.refinepolicy
com.ibm.wala.demandpa.flowgraph
com.ibm.wala.demandpa.util
com.ibm.wala.ipa.callgraph.impl	This package provides some implementations of basic functions needed for various call graph construction algorithms.
com.ibm.wala.ipa.callgraph.propagation	This package provides the base layer for propagation-based call graph construction and pointer analysis.
com.ibm.wala.ipa.callgraph.propagation.cfa	This package provides RTA call graph construction.
com.ibm.wala.ipa.callgraph.propagation.rta	This package provides CFA-style call graph construction and pointer analysis.
com.ibm.wala.ipa.cha	This package provides functionality related to class hierarchies.
com.ibm.wala.ipa.modref
com.ibm.wala.ipa.summaries	This package provides class hierarchy analysis.
com.ibm.wala.types.annotations

Uses of IField in com.ibm.wala.classLoader

Classes in com.ibm.wala.classLoader that implement IField

Modifier and Type	Class and Description
class	FieldImpl Implementation of a canonical field reference.

Fields in com.ibm.wala.classLoader declared as IField

Modifier and Type	Field and Description
protected IField[]	BytecodeClass.instanceFields The instance fields declared in this class.
protected IField[]	BytecodeClass.staticFields The static fields declared in this class.

Methods in com.ibm.wala.classLoader that return IField

Modifier and Type	Method and Description
IField	IClass.getField(Atom name) Finds a field.
IField	BytecodeClass.getField(Atom name)
IField	ArrayClass.getField(Atom name)
IField	SyntheticClass.getField(Atom name, TypeName typeName) we assume synthetic classes do not need to have multiple fields with the same name.
IField	IClass.getField(Atom name, TypeName type) Finds a field, given a name and a type.
IField	BytecodeClass.getField(Atom name, TypeName type)
IField	ArrayClass.getField(Atom name, TypeName typeName)

Methods in com.ibm.wala.classLoader that return types with arguments of type IField

Modifier and Type	Method and Description
protected List<IField>	BytecodeClass.findDeclaredField(Atom name)
Collection<IField>	IClass.getAllFields() Compute the instance and static fields declared by this class or any of its superclasses.
Collection<IField>	BytecodeClass.getAllFields()
Collection<IField>	ArrayClass.getAllFields()
Collection<IField>	IClass.getAllInstanceFields() Compute the instance fields declared by this class or any of its superclasses.
Collection<IField>	BytecodeClass.getAllInstanceFields()
Collection<IField>	ArrayClass.getAllInstanceFields()
Collection<IField>	IClass.getAllStaticFields() Compute the static fields declared by this class or any of its superclasses.
Collection<IField>	BytecodeClass.getAllStaticFields()
Collection<IField>	ArrayClass.getAllStaticFields()
Collection<IField>	IClass.getDeclaredInstanceFields() Compute the instance fields declared by this class.
Collection<IField>	BytecodeClass.getDeclaredInstanceFields()
Collection<IField>	ArrayClass.getDeclaredInstanceFields()
Collection<IField>	IClass.getDeclaredStaticFields()
Collection<IField>	BytecodeClass.getDeclaredStaticFields()
Collection<IField>	ArrayClass.getDeclaredStaticFields()

Methods in com.ibm.wala.classLoader with parameters of type IField

Modifier and Type	Method and Description
protected void	BytecodeClass.populateFieldArrayFromList(List<FieldImpl> L, IField[] A)

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

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

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 IField in com.ibm.wala.demandpa.flowgraph

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

Modifier and Type	Method and Description
IField	PutFieldLabel.getField()
IField	PutFieldBarLabel.getField()
IField	GetFieldLabel.getField()
IField	GetFieldBarLabel.getField()

Methods in com.ibm.wala.demandpa.flowgraph with parameters of type IField

Modifier and Type	Method and Description
Iterator<PointerKey>	IFlowGraph.getReadsOfInstanceField(PointerKey pk, IField f)
Iterator<PointerKey>	AbstractFlowGraph.getReadsOfInstanceField(PointerKey pk, IField f)
Iterator<PointerKey>	IFlowGraph.getWritesToInstanceField(PointerKey pk, IField f)
Iterator<PointerKey>	AbstractFlowGraph.getWritesToInstanceField(PointerKey pk, IField f)
static PutFieldLabel	PutFieldLabel.make(IField field)
static PutFieldBarLabel	PutFieldBarLabel.make(IField field)
static GetFieldLabel	GetFieldLabel.make(IField field)
static GetFieldBarLabel	GetFieldBarLabel.make(IField field)

Uses of IField in com.ibm.wala.demandpa.util

Classes in com.ibm.wala.demandpa.util that implement IField

Modifier and Type	Class and Description
class	ArrayContents Pseudo-field modelling the contents of an array of reference type.

Methods in com.ibm.wala.demandpa.util with parameters of type IField

Modifier and Type	Method and Description
Collection<MemoryAccess>	SimpleMemoryAccessMap.getFieldReads(PointerKey pk, IField field)
Collection<MemoryAccess>	PABasedMemoryAccessMap.getFieldReads(PointerKey baseRef, IField field)
Collection<MemoryAccess>	MemoryAccessMap.getFieldReads(PointerKey baseRef, IField field)
Collection<MemoryAccess>	SimpleMemoryAccessMap.getFieldWrites(PointerKey pk, IField field)
Collection<MemoryAccess>	PABasedMemoryAccessMap.getFieldWrites(PointerKey baseRef, IField field)
Collection<MemoryAccess>	MemoryAccessMap.getFieldWrites(PointerKey baseRef, IField field)
Collection<MemoryAccess>	SimpleMemoryAccessMap.getStaticFieldReads(IField field)
Collection<MemoryAccess>	PABasedMemoryAccessMap.getStaticFieldReads(IField field)
Collection<MemoryAccess>	MemoryAccessMap.getStaticFieldReads(IField field)
Collection<MemoryAccess>	SimpleMemoryAccessMap.getStaticFieldWrites(IField field)
Collection<MemoryAccess>	PABasedMemoryAccessMap.getStaticFieldWrites(IField field)
Collection<MemoryAccess>	MemoryAccessMap.getStaticFieldWrites(IField field)

Uses of IField in com.ibm.wala.ipa.callgraph.impl

Methods in com.ibm.wala.ipa.callgraph.impl that return IField

Modifier and Type	Method and Description
IField	FakeRootClass.getField(Atom name)

Methods in com.ibm.wala.ipa.callgraph.impl that return types with arguments of type IField

Modifier and Type	Method and Description
Collection<IField>	FakeRootClass.getAllFields()
Collection<IField>	FakeRootClass.getAllInstanceFields()
Collection<IField>	FakeRootClass.getAllStaticFields()
Collection<IField>	FakeRootClass.getDeclaredInstanceFields()
Collection<IField>	FakeRootClass.getDeclaredStaticFields()

Uses of IField in com.ibm.wala.ipa.callgraph.propagation

Methods in com.ibm.wala.ipa.callgraph.propagation that return IField

Modifier and Type	Method and Description
IField	StaticFieldKey.getField()
protected IField	PropagationCallGraphBuilder.GetFieldOperator.getField()
protected IField	PropagationCallGraphBuilder.PutFieldOperator.getField()
IField	InstanceFieldKey.getField()

Methods in com.ibm.wala.ipa.callgraph.propagation with parameters of type IField

Modifier and Type	Method and Description
protected int	PointerKeyComparator.compareFields(IField if1, IField if2)
PointerKey	SSAPropagationCallGraphBuilder.ConstraintVisitor.getPointerKeyForInstanceField(InstanceKey I, IField f)
PointerKey	PropagationCallGraphBuilder.getPointerKeyForInstanceField(InstanceKey I, IField field)
PointerKey	PointerKeyFactory.getPointerKeyForInstanceField(InstanceKey I, IField field)
PointerKey	PointerAnalysisImpl.HModel.getPointerKeyForInstanceField(InstanceKey I, IField field)
PointerKey	SSAPropagationCallGraphBuilder.ConstraintVisitor.getPointerKeyForStaticField(IField f)
PointerKey	PropagationCallGraphBuilder.getPointerKeyForStaticField(IField f)
PointerKey	PointerKeyFactory.getPointerKeyForStaticField(IField f)
PointerKey	PointerAnalysisImpl.HModel.getPointerKeyForStaticField(IField f)

Constructors in com.ibm.wala.ipa.callgraph.propagation with parameters of type IField

Constructor and Description
InstanceFieldKey(InstanceKey instance, IField field)
InstanceFieldKeyWithFilter(IClassHierarchy cha, InstanceKey instance, IField field)
PropagationCallGraphBuilder.GetFieldOperator(IField field, PointsToSetVariable def)
PropagationCallGraphBuilder.InstancePutFieldOperator(IField field, InstanceKey instance)
PropagationCallGraphBuilder.PutFieldOperator(IField field, PointsToSetVariable val)
StaticFieldKey(IField field)

Uses of IField in com.ibm.wala.ipa.callgraph.propagation.cfa

Methods in com.ibm.wala.ipa.callgraph.propagation.cfa with parameters of type IField

Modifier and Type	Method and Description
PointerKey	DefaultPointerKeyFactory.getPointerKeyForInstanceField(InstanceKey I, IField field)
PointerKey	DefaultPointerKeyFactory.getPointerKeyForStaticField(IField f)

Uses of IField in com.ibm.wala.ipa.callgraph.propagation.rta

Methods in com.ibm.wala.ipa.callgraph.propagation.rta with parameters of type IField

Modifier and Type	Method and Description
PointerKey	TypeBasedHeapModel.getPointerKeyForInstanceField(InstanceKey I, IField field)
PointerKey	TypeBasedHeapModel.getPointerKeyForStaticField(IField f)

Uses of IField in com.ibm.wala.ipa.cha

Methods in com.ibm.wala.ipa.cha that return IField

Modifier and Type	Method and Description
IField	IClassHierarchy.resolveField(FieldReference f)
IField	ClassHierarchy.resolveField(FieldReference f)
IField	IClassHierarchy.resolveField(IClass klass, FieldReference f)
IField	ClassHierarchy.resolveField(IClass klass, FieldReference f)

Uses of IField in com.ibm.wala.ipa.modref

Methods in com.ibm.wala.ipa.modref that return types with arguments of type IField

Modifier and Type	Method and Description
Map<IClass,Set<IField>>	ModRefFieldAccess.getMod(CGNode node)
Map<IClass,Set<IField>>	ModRefFieldAccess.getRef(CGNode node)
Map<IClass,Set<IField>>	ModRefFieldAccess.getTransitiveMod(CGNode node)
Map<IClass,Set<IField>>	ModRefFieldAccess.getTransitiveRef(CGNode node)

Methods in com.ibm.wala.ipa.modref with parameters of type IField

Modifier and Type	Method and Description
PointerKey	DelegatingExtendedHeapModel.getPointerKeyForInstanceField(InstanceKey I, IField field)
PointerKey	DelegatingExtendedHeapModel.getPointerKeyForStaticField(IField f)

Uses of IField in com.ibm.wala.ipa.summaries

Methods in com.ibm.wala.ipa.summaries that return IField

Modifier and Type	Method and Description
IField	LambdaSummaryClass.getField(Atom name)
IField	BypassSyntheticClass.getField(Atom name)

Methods in com.ibm.wala.ipa.summaries that return types with arguments of type IField

Modifier and Type	Method and Description
Collection<IField>	LambdaSummaryClass.getAllFields()
Collection<IField>	BypassSyntheticClass.getAllFields()
Collection<IField>	LambdaSummaryClass.getAllInstanceFields()
Collection<IField>	BypassSyntheticClass.getAllInstanceFields()
Collection<IField>	LambdaSummaryClass.getAllStaticFields()
Collection<IField>	BypassSyntheticClass.getAllStaticFields()
Collection<IField>	LambdaSummaryClass.getDeclaredInstanceFields()
Collection<IField>	BypassSyntheticClass.getDeclaredInstanceFields()
Collection<IField>	LambdaSummaryClass.getDeclaredStaticFields()
Collection<IField>	BypassSyntheticClass.getDeclaredStaticFields()

Uses of IField in com.ibm.wala.types.annotations

Methods in com.ibm.wala.types.annotations with parameters of type IField

Modifier and Type	Method and Description
static boolean	Annotations.hasAnnotation(IField field, TypeName type)