File tree Expand file tree Collapse file tree 1 file changed +8
-12
lines changed
java/ql/test/ext/TopJdkApis Expand file tree Collapse file tree 1 file changed +8
-12
lines changed Original file line number Diff line number Diff line change 1
- /**
2
- * @name Test for top JDK APIs
3
- * @description Provides a test case to check that a manual models exists for each each of the top JDK APIs.
4
- * @id java/top-jdk-apis-test
5
- */
6
-
7
1
import java
8
2
import semmle.code.java.dataflow.ExternalFlow
9
3
import TopJdkApis
10
4
11
- from string apiName , TopJdkApi topApi
5
+ from string apiName
12
6
where
13
7
// top jdk api names for which there is no callable
14
8
topJdkApiName ( apiName ) and
15
9
not hasCallable ( apiName )
16
10
or
17
11
// top jdk api names for which there isn't a manual model
18
- not topApi .hasManualMadModel ( ) and
19
- apiName =
20
- topApi .asCallable ( ) .getDeclaringType ( ) .getPackage ( ) + "." +
21
- topApi .asCallable ( ) .getDeclaringType ( ) .getSourceDeclaration ( ) + "#" +
22
- topApi .asCallable ( ) .getName ( ) + paramsString ( topApi .asCallable ( ) )
12
+ exists ( TopJdkApi topApi |
13
+ not topApi .hasManualMadModel ( ) and
14
+ apiName =
15
+ topApi .asCallable ( ) .getDeclaringType ( ) .getPackage ( ) + "." +
16
+ topApi .asCallable ( ) .getDeclaringType ( ) .getSourceDeclaration ( ) + "#" +
17
+ topApi .asCallable ( ) .getName ( ) + paramsString ( topApi .asCallable ( ) )
18
+ )
23
19
select apiName order by apiName
You can’t perform that action at this time.
0 commit comments