Uses of Class
pascal.taie.language.classes.JField

Packages that use JField

Package	Description
pascal.taie.analysis.graph.flowgraph
pascal.taie.analysis.pta
pascal.taie.analysis.pta.core.cs.element	Provides the classes to represent and manage context-sensitive elements used in pointer analysis, including context-sensitive pointers, objects, call sites, and methods.
pascal.taie.analysis.pta.core.solver	Provide data structures and algorithms of context-sensitive pointer analysis solver.
pascal.taie.analysis.pta.plugin.taint
pascal.taie.analysis.pta.plugin.util
pascal.taie.ir.proginfo
pascal.taie.language.classes	Provides functionality related to management of classes (class loading, class members, class hierarchy, etc.) in the program being analyzed.

Uses of JField in pascal.taie.analysis.graph.flowgraph

Methods in pascal.taie.analysis.graph.flowgraph that return JField

Modifier and Type	Method	Description
JField	InstanceFieldNode.getField()
JField	StaticFieldNode.getField()

Methods in pascal.taie.analysis.graph.flowgraph with parameters of type JField

Modifier and Type	Method	Description
protected InstanceFieldNode	NodeManager.getOrCreateInstanceFieldNode(Obj base, JField field)
protected StaticFieldNode	NodeManager.getOrCreateStaticFieldNode(JField field)

Uses of JField in pascal.taie.analysis.pta

Methods in pascal.taie.analysis.pta with parameters of type JField

Modifier and Type	Method	Description
Set<Obj>	PointerAnalysisResult.getPointsToSet(Obj base, JField field)
Set<Obj>	PointerAnalysisResult.getPointsToSet(Var base, JField field)
Set<Obj>	PointerAnalysisResult.getPointsToSet(JField field)
Set<Obj>	PointerAnalysisResultImpl.getPointsToSet(Obj base, JField field)
Set<Obj>	PointerAnalysisResultImpl.getPointsToSet(Var base, JField field)
Set<Obj>	PointerAnalysisResultImpl.getPointsToSet(JField field)

Uses of JField in pascal.taie.analysis.pta.core.cs.element

Methods in pascal.taie.analysis.pta.core.cs.element that return JField

Modifier and Type	Method	Description
JField	InstanceField.getField()
JField	StaticField.getField()

Methods in pascal.taie.analysis.pta.core.cs.element with parameters of type JField

Modifier and Type	Method	Description
InstanceField	CSManager.getInstanceField(CSObj base, JField field)
InstanceField	MapBasedCSManager.getInstanceField(CSObj base, JField field)
StaticField	CSManager.getStaticField(JField field)
StaticField	MapBasedCSManager.getStaticField(JField field)

Uses of JField in pascal.taie.analysis.pta.core.solver

Methods in pascal.taie.analysis.pta.core.solver that return types with arguments of type JField

Modifier and Type	Method	Description
TwoKeyMultiMap<Obj,JField,Obj>	DeclaredParamProvider.getFieldObjs()
TwoKeyMultiMap<Obj,JField,Obj>	EmptyParamProvider.getFieldObjs()
TwoKeyMultiMap<Obj,JField,Obj>	ParamProvider.getFieldObjs()
TwoKeyMultiMap<Obj,JField,Obj>	SpecifiedParamProvider.getFieldObjs()

Methods in pascal.taie.analysis.pta.core.solver with parameters of type JField

Modifier and Type	Method	Description
SpecifiedParamProvider.Builder	SpecifiedParamProvider.Builder.addFieldObj(Obj base, JField field, Obj obj)

Uses of JField in pascal.taie.analysis.pta.plugin.taint

Methods in pascal.taie.analysis.pta.plugin.taint that return JField

Modifier and Type	Method	Description
JField	FieldSource.field()	Returns the value of the field record component.

Constructors in pascal.taie.analysis.pta.plugin.taint with parameters of type JField

Modifier	Constructor	Description
	FieldSource(JField field, Type type)	Creates an instance of a FieldSource record class.

Uses of JField in pascal.taie.analysis.pta.plugin.util

Methods in pascal.taie.analysis.pta.plugin.util that return JField

Modifier and Type	Method	Description
static JField	CSObjs.toField(CSObj csObj)	Converts a CSObj of java.lang.reflect.Method to corresponding JMethod.

Uses of JField in pascal.taie.ir.proginfo

Methods in pascal.taie.ir.proginfo that return JField

Modifier and Type	Method	Description
JField	FieldRef.resolve()
JField	FieldRef.resolveNullable()

Uses of JField in pascal.taie.language.classes

Methods in pascal.taie.language.classes that return JField

Modifier and Type	Method	Description
JField	JClass.getDeclaredField(String fieldName)	Attempts to retrieve the field with the given name.
JField	JClass.getDeclaredField(String fieldName, String typeName)	Attempts to retrieve the field with given name and type.
JField	JClass.getDeclaredField(String fieldName, Type fieldType)	Attempts to retrieve the field with given name and type.
JField	ClassHierarchy.getField(String fieldSig)	Obtains a field by its signature.
JField	ClassHierarchyImpl.getField(String fieldSig)
JField	ClassHierarchy.getJREField(String fieldSig)	Obtains a field declared in a JRE class by its signature.
JField	ClassHierarchyImpl.getJREField(String fieldSig)
JField	JClass.getPhantomField(String fieldName, Type fieldType)
JField	ClassHierarchy.resolveField(FieldRef fieldRef)	Resolves a field reference.
JField	ClassHierarchyImpl.resolveField(FieldRef fieldRef)

Methods in pascal.taie.language.classes that return types with arguments of type JField

Modifier and Type	Method	Description
Collection<JField>	JClass.getDeclaredFields()
Collection<JField>	JClassBuilder.getDeclaredFields()

Methods in pascal.taie.language.classes with parameters of type JField

Modifier and Type	Method	Description
void	JClass.addPhantomField(String fieldName, Type fieldType, JField field)
static String	StringReps.getSignatureOf(JField field)