File tree Expand file tree Collapse file tree 2 files changed +9
-7
lines changed
java/ql/test/ext/TopJdkApis Expand file tree Collapse file tree 2 files changed +9
-7
lines changed Original file line number Diff line number Diff line change 1
- | java.lang.String#valueOf(Object) |
2
- | java.lang.Throwable#printStackTrace() |
3
- | java.util.stream.Stream#collect(Collector) |
1
+ | java.lang.String#valueOf(Object) | no manual model |
2
+ | java.lang.Throwable#printStackTrace() | no manual model |
3
+ | java.util.stream.Stream#collect(Collector) | no manual model |
Original file line number Diff line number Diff line change @@ -2,18 +2,20 @@ import java
2
2
import semmle.code.java.dataflow.ExternalFlow
3
3
import TopJdkApis
4
4
5
- from string apiName
5
+ from string apiName , string message
6
6
where
7
7
// top jdk api names for which there is no callable
8
8
topJdkApiName ( apiName ) and
9
- not hasCallable ( apiName )
9
+ not hasCallable ( apiName ) and
10
+ message = "no callable"
10
11
or
11
12
// top jdk api names for which there isn't a manual model
12
13
exists ( TopJdkApi topApi |
13
14
not topApi .hasManualMadModel ( ) and
14
15
apiName =
15
16
topApi .asCallable ( ) .getDeclaringType ( ) .getPackage ( ) + "." +
16
17
topApi .asCallable ( ) .getDeclaringType ( ) .getSourceDeclaration ( ) + "#" +
17
- topApi .asCallable ( ) .getName ( ) + paramsString ( topApi .asCallable ( ) )
18
+ topApi .asCallable ( ) .getName ( ) + paramsString ( topApi .asCallable ( ) ) and
19
+ message = "no manual model"
18
20
)
19
- select apiName order by apiName
21
+ select apiName , message order by apiName
You can’t perform that action at this time.
0 commit comments