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-
71import java
82import semmle.code.java.dataflow.ExternalFlow
93import TopJdkApis
104
11- from string apiName , TopJdkApi topApi
5+ from string apiName
126where
137 // top jdk api names for which there is no callable
148 topJdkApiName ( apiName ) and
159 not hasCallable ( apiName )
1610 or
1711 // 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+ )
2319select apiName order by apiName
You can’t perform that action at this time.
0 commit comments