@@ -55,9 +55,7 @@ class AnnotatedCall extends DataFlow::Node {
55
55
result = - 1
56
56
}
57
57
58
- string getKind ( ) {
59
- result = kind
60
- }
58
+ string getKind ( ) { result = kind }
61
59
}
62
60
63
61
predicate callEdge ( AnnotatedCall call , AnnotatedFunction target , int boundArgs ) {
@@ -66,7 +64,9 @@ predicate callEdge(AnnotatedCall call, AnnotatedFunction target, int boundArgs)
66
64
FlowSteps:: callsBound ( call , target , boundArgs )
67
65
}
68
66
69
- query predicate spuriousCallee ( AnnotatedCall call , AnnotatedFunction target , int boundArgs , string kind ) {
67
+ query predicate spuriousCallee (
68
+ AnnotatedCall call , AnnotatedFunction target , int boundArgs , string kind
69
+ ) {
70
70
callEdge ( call , target , boundArgs ) and
71
71
kind = call .getKind ( ) and
72
72
not (
@@ -75,7 +75,9 @@ query predicate spuriousCallee(AnnotatedCall call, AnnotatedFunction target, int
75
75
)
76
76
}
77
77
78
- query predicate missingCallee ( AnnotatedCall call , AnnotatedFunction target , int boundArgs , string kind ) {
78
+ query predicate missingCallee (
79
+ AnnotatedCall call , AnnotatedFunction target , int boundArgs , string kind
80
+ ) {
79
81
not callEdge ( call , target , boundArgs ) and
80
82
kind = call .getKind ( ) and
81
83
target = call .getAnExpectedCallee ( kind ) and
0 commit comments