@@ -18,12 +18,12 @@ class RelevantCall extends Call {
18
18
module PointsToBasedCallGraph {
19
19
/** A call that can be resolved by points-to. */
20
20
class ResolvableCall extends RelevantCall {
21
- Value target ;
21
+ Value callee ;
22
22
23
- ResolvableCall ( ) { target .getACall ( ) = this .getAFlowNode ( ) }
23
+ ResolvableCall ( ) { callee .getACall ( ) = this .getAFlowNode ( ) }
24
24
25
- /** Gets a resolved target of this call. */
26
- Value getTarget ( ) { result = target }
25
+ /** Gets a resolved callee of this call. */
26
+ Value getCallee ( ) { result = callee }
27
27
}
28
28
29
29
/** A call that cannot be resolved by points-to. */
@@ -32,20 +32,20 @@ module PointsToBasedCallGraph {
32
32
}
33
33
34
34
/**
35
- * A call that can be resolved by points-to, where the resolved target is relevant.
36
- * Relevant targets include:
35
+ * A call that can be resolved by points-to, where the resolved callee is relevant.
36
+ * Relevant callees include:
37
37
* - builtins
38
38
* - standard library
39
39
* - source code of the project
40
40
*/
41
- class ResolvableCallRelevantTarget extends ResolvableCall {
42
- ResolvableCallRelevantTarget ( ) {
43
- target .isBuiltin ( )
41
+ class ResolvableCallRelevantCallee extends ResolvableCall {
42
+ ResolvableCallRelevantCallee ( ) {
43
+ callee .isBuiltin ( )
44
44
or
45
45
exists ( File file |
46
- file = target .( CallableValue ) .getScope ( ) .getLocation ( ) .getFile ( )
46
+ file = callee .( CallableValue ) .getScope ( ) .getLocation ( ) .getFile ( )
47
47
or
48
- file = target .( ClassValue ) .getScope ( ) .getLocation ( ) .getFile ( )
48
+ file = callee .( ClassValue ) .getScope ( ) .getLocation ( ) .getFile ( )
49
49
|
50
50
file .inStdlib ( )
51
51
or
@@ -56,10 +56,10 @@ module PointsToBasedCallGraph {
56
56
}
57
57
58
58
/**
59
- * A call that can be resolved by points-to, where the resolved target is not considered relevant.
60
- * See `ResolvableCallRelevantTarget ` for the definition of relevance.
59
+ * A call that can be resolved by points-to, where the resolved callee is not considered relevant.
60
+ * See `ResolvableCallRelevantCallee ` for the definition of relevance.
61
61
*/
62
- class ResolvableCallIrrelevantTarget extends ResolvableCall {
63
- ResolvableCallIrrelevantTarget ( ) { not this instanceof ResolvableCallRelevantTarget }
62
+ class ResolvableCallIrrelevantCallee extends ResolvableCall {
63
+ ResolvableCallIrrelevantCallee ( ) { not this instanceof ResolvableCallRelevantCallee }
64
64
}
65
65
}
0 commit comments