Skip to content

Commit b6c6587

Browse files
committed
Java: Fixup MaD input.
1 parent 04bf908 commit b6c6587

File tree

1 file changed

+8
-2
lines changed

1 file changed

+8
-2
lines changed

java/ql/src/utils/modelgenerator/internal/CaptureModels.qll

+8-2
Original file line numberDiff line numberDiff line change
@@ -32,10 +32,16 @@ module ModelGeneratorInput implements ModelGeneratorInputSig<Location, JavaDataF
3232

3333
class Callable = J::Callable;
3434

35-
class NodeExtended extends DataFlow::Node {
36-
Callable getAsExprEnclosingCallable() { result = this.asExpr().getEnclosingCallable() }
35+
class NodeExtended = DataFlow::Node;
36+
37+
Callable getAsExprEnclosingCallable(NodeExtended node) {
38+
result = node.asExpr().getEnclosingCallable()
3739
}
3840

41+
Callable getEnclosingCallable(NodeExtended node) { result = node.getEnclosingCallable() }
42+
43+
Parameter asParameter(NodeExtended node) { result = node.asParameter() }
44+
3945
private predicate isInfrequentlyUsed(J::CompilationUnit cu) {
4046
cu.getPackage().getName().matches("javax.swing%") or
4147
cu.getPackage().getName().matches("java.awt%")

0 commit comments

Comments
 (0)