Uses of Record Class
pascal.taie.analysis.pta.plugin.taint.IndexRef

Packages that use IndexRef

Package	Description
pascal.taie.analysis.pta.plugin.taint

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

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

Modifier and Type	Method	Description
IndexRef	TaintTransfer.from()	Returns the value of the from record component.
IndexRef	CallSource.indexRef()	Returns the value of the indexRef record component.
IndexRef	ParamSource.indexRef()	Returns the value of the indexRef record component.
IndexRef	Sink.indexRef()	Returns the value of the indexRef record component.
IndexRef	TaintTransfer.to()	Returns the value of the to record component.

Methods in pascal.taie.analysis.pta.plugin.taint with parameters of type IndexRef

Modifier and Type	Method	Description
int	IndexRef.compareTo(IndexRef other)

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

Modifier	Constructor	Description
	CallSource(JMethod method, IndexRef indexRef, Type type)	Creates an instance of a CallSource record class.
	ParamSource(JMethod method, IndexRef indexRef, Type type)	Creates an instance of a ParamSource record class.
	Sink(JMethod method, IndexRef indexRef)	Creates an instance of a Sink record class.
	TaintTransfer(JMethod method, IndexRef from, IndexRef to, Type type)	Creates an instance of a TaintTransfer record class.