Java: restrict test to source classes

This commit is contained in:
Chris Smowton
2023-10-05 10:08:27 +01:00
parent 0510b0c825
commit 8f985e0045

View File

@@ -2,6 +2,7 @@ import java
from Record r, boolean isFinal, boolean isStatic, string superTypes
where
r.fromSource() and
(if r.isFinal() then isFinal = true else isFinal = false) and
(if r.isStatic() then isStatic = true else isStatic = false) and
superTypes = concat(RefType superType | superType = r.getASupertype() | superType.toString(), ",")