Java: Adapt to changes in shared CFG library

This commit is contained in:
Tom Hvitved
2026-04-28 10:32:53 +02:00
parent 99023f8b59
commit 99b5cecb18

View File

@@ -57,6 +57,15 @@ private module Ast implements AstSig<Location> {
AstNode callableGetBody(Callable c) { result = c.getBody() }
// TODO: Implement in order to include parameters in the CFG
class Parameter extends AstNode {
Parameter() { none() }
Expr getDefaultValue() { none() }
}
Parameter callableGetParameter(Callable c, int i) { result = c.getParameter(i) }
class Stmt = J::Stmt;
class Expr = J::Expr;
@@ -534,7 +543,7 @@ private module Input implements InputSig1, InputSig2 {
l = TYield() and n instanceof SwitchExpr
}
class CallableBodyPartContext = Void;
class CallableContext = Void;
predicate inConditionalContext(Ast::AstNode n, ConditionKind kind) {
kind.isBoolean() and