diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll index 09bdb2f62ea..f9096f104bf 100644 --- a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll +++ b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll @@ -896,9 +896,6 @@ class DataFlowCall extends CallInstruction { /** Gets an argument to this call as a Node. */ ArgumentNode getAnArgumentNode(){ none() } // TODO: JB1 return an argument as a DataFlow ArgumentNode - /** Gets the data flow node corresponding to this call. */ - ExprNode getDataFlowNode() {none() } - /** Gets the target of the call, as a DataFlowCallable. */ DataFlowCallable getARuntimeTarget(){ none() } // TODO getCallTarget() returns `Instruction` } diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowDispatch.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowDispatch.qll index 7b067dafa34..9316860dd67 100644 --- a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowDispatch.qll +++ b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowDispatch.qll @@ -294,9 +294,6 @@ abstract class DataFlowCall extends TDataFlowCall { /** Gets an argument of this call. */ final ArgumentNode getAnArgumentNode() { result.argumentOf(this, _) } - /** Gets the data flow node corresponding to this call. (An alias of `getNode()`) */ - DataFlow::Node getDataFlowNode(){ result = this.getNode() } - /** Gets a textual representation of this call. */ abstract string toString(); diff --git a/go/ql/lib/semmle/go/dataflow/internal/DataFlowPrivate.qll b/go/ql/lib/semmle/go/dataflow/internal/DataFlowPrivate.qll index 8b7bbe21ef8..09a5f9fc8fc 100644 --- a/go/ql/lib/semmle/go/dataflow/internal/DataFlowPrivate.qll +++ b/go/ql/lib/semmle/go/dataflow/internal/DataFlowPrivate.qll @@ -339,9 +339,6 @@ class DataFlowCall extends Expr { /** Gets an argument to this call as a Node. */ ArgumentNode getAnArgumentNode(){ result = this.getArgument(_) } - /* Gets the data flow node corresponding to this call. */ - ExprNode getDataFlowNode() { result = this.getNode() } - /** Gets the target of the call, as a DataFlowCallable. */ DataFlowCallable getARuntimeTarget(){ result.asCallable() = call.getACalleeIncludingExternals() } } diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowPrivate.qll b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowPrivate.qll index 1ad275a61bc..02f852b944e 100644 --- a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowPrivate.qll +++ b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowPrivate.qll @@ -463,9 +463,6 @@ class DataFlowCall extends TDataFlowCall { /** Gets an argument to this call as a Node. */ ArgumentNode getAnArgumentNode(){ none() } // TODO: JB1 return an argument as a DataFlow ArgumentNode - /** Gets the data flow node corresponding to this call. */ - ExprNode getDataFlowNode() { none() } // TODO: JB1 return this Call as a Node - /** Gets the target of the call, as a DataFlowCallable. */ DataFlowCallable getARuntimeTarget(){ none() } } diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowDispatch.qll b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowDispatch.qll index 6f9201860da..9fed68220a2 100644 --- a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowDispatch.qll +++ b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowDispatch.qll @@ -1377,9 +1377,6 @@ abstract class DataFlowCall extends TDataFlowCall { /** Gets an argument to this call as a Node. */ ArgumentNode getAnArgumentNode(){ none() } // TODO: JB1 return an argument as a DataFlow ArgumentNode - // Gets the data flow node corresponding to this call. - ExprNode getDataFlowNode() { none() } // TODO: JB1 return this Call as a Node - /** Gets the target of the call, as a DataFlowCallable. */ DataFlowCallable getARuntimeTarget(){ none() } // TODO } diff --git a/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowDispatch.qll b/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowDispatch.qll index 5c518b27773..931e79b03af 100644 --- a/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowDispatch.qll +++ b/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowDispatch.qll @@ -141,9 +141,6 @@ class DataFlowCall extends TDataFlowCall { /** Gets an argument to this call as a Node. */ ArgumentNode getAnArgumentNode(){ none() } // TODO: JB1 return an argument as a DataFlow ArgumentNode - /** Gets the data flow node corresponding to this call. */ - ExprNode getDataFlowNode() { none() } // TODO: JB1 return this Call as a Node - /** Gets the target of the call, as a DataFlowCallable. */ DataFlowCallable getARuntimeTarget(){ none() } // TODO } diff --git a/swift/ql/lib/codeql/swift/dataflow/internal/DataFlowDispatch.qll b/swift/ql/lib/codeql/swift/dataflow/internal/DataFlowDispatch.qll index 685828f628e..b8e40ffb73e 100644 --- a/swift/ql/lib/codeql/swift/dataflow/internal/DataFlowDispatch.qll +++ b/swift/ql/lib/codeql/swift/dataflow/internal/DataFlowDispatch.qll @@ -126,9 +126,6 @@ class DataFlowCall extends TDataFlowCall { /** Gets an argument to this call as a Node. */ ArgumentNode getAnArgumentNode(){ none() } // TODO: JB1 return an argument as a DataFlow ArgumentNode - /** Gets the data flow node corresponding to this call. */ - ExprNode getDataFlowNode() { none() } // TODO: JB1 return this Call as a Node - /** Gets the target of the call, as a DataFlowCallable. */ DataFlowCallable getARuntimeTarget(){ none() } // TODO getCallTarget() returns `Instruction` }