diff --git a/csharp/ql/lib/semmle/code/csharp/controlflow/internal/ControlFlowGraph.qll b/csharp/ql/lib/semmle/code/csharp/controlflow/internal/ControlFlowGraph.qll index 18a967eee28..072f611a45a 100644 --- a/csharp/ql/lib/semmle/code/csharp/controlflow/internal/ControlFlowGraph.qll +++ b/csharp/ql/lib/semmle/code/csharp/controlflow/internal/ControlFlowGraph.qll @@ -145,6 +145,8 @@ module Ast implements AstSig { final private class ParameterFinal = CS::Parameter; class Parameter extends ParameterFinal { + AstNode getPattern() { result = this } + Expr getDefaultValue() { // Avoid combinatorial explosions for callables with multiple bodies result = unique( | | super.getDefaultValue()) diff --git a/java/ql/lib/semmle/code/java/ControlFlowGraph.qll b/java/ql/lib/semmle/code/java/ControlFlowGraph.qll index 51f3046e1bf..142f9f61e56 100644 --- a/java/ql/lib/semmle/code/java/ControlFlowGraph.qll +++ b/java/ql/lib/semmle/code/java/ControlFlowGraph.qll @@ -61,6 +61,8 @@ private module Ast implements AstSig { class Parameter extends AstNode { Parameter() { none() } + AstNode getPattern() { none() } + Expr getDefaultValue() { none() } }