Uses of Interface
pascal.taie.analysis.pta.plugin.taint.SourcePoint

Packages that use SourcePoint

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

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

Classes in pascal.taie.analysis.pta.plugin.taint that implement SourcePoint

Modifier and Type	Class	Description
final record	CallSourcePoint	A CallSourcePoint is variable at an invocation site.
final record	FieldSourcePoint
final record	ParamSourcePoint	A ParamSourcePoint is a parameter of a method.

Fields in pascal.taie.analysis.pta.plugin.taint with type parameters of type SourcePoint

Modifier and Type	Field	Description
static final Comparator<SourcePoint>	SourcePoint.COMPARATOR

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

Modifier and Type	Method	Description
SourcePoint	TaintFlow.sourcePoint()	Returns the value of the sourcePoint record component.

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

Modifier and Type	Method	Description
static int	SourcePoint.compare(SourcePoint sp1, SourcePoint sp2)
int	CallSourcePoint.compareTo(SourcePoint sp)
int	FieldSourcePoint.compareTo(SourcePoint sp)
int	ParamSourcePoint.compareTo(SourcePoint sp)

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

Modifier	Constructor	Description
	TaintFlow(SourcePoint sourcePoint, SinkPoint sinkPoint)	Creates an instance of a TaintFlow record class.