Skip to content

Commit 89a4df9

Browse files
committed
Mark possibly local predicate inline to test QL-for-QL query
1 parent b291b06 commit 89a4df9

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

java/ql/lib/semmle/code/java/Type.qll

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,8 @@
99
* Classes and interfaces can also be local (`LocalClassOrInterface`, `LocalClass`) or anonymous (`AnonymousClass`).
1010
* Enumerated types (`EnumType`) and records (`Record`) are special kinds of classes.
1111
*/
12+
overlay[local?]
13+
module;
1214

1315
import Member
1416
import Modifier
@@ -612,6 +614,7 @@ class RefType extends Type, Annotatable, Modifiable, @reftype {
612614
* to the name of the enclosing type, which might be a nested type as well. For example:
613615
* `java.lang.Thread$State`.
614616
*/
617+
pragma[inline]
615618
string getQualifiedName() {
616619
exists(string pkgName | pkgName = this.getPackage().getName() |
617620
if pkgName = ""

0 commit comments

Comments
 (0)