hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-22 11:46:32 +01:00
Code Issues Packages Projects Releases Wiki Activity

Remove getNode as required interface

Browse Source
This commit is contained in:
Josh Brown
2024-01-29 16:15:57 -08:00
parent 2314d3be16
commit 3056e8cdab
7 changed files with 0 additions and 21 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll
View File

@@ -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`
}

3
csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowDispatch.qll
View File

@@ -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();

3
go/ql/lib/semmle/go/dataflow/internal/DataFlowPrivate.qll
View File

@@ -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() }
}

3
java/ql/lib/semmle/code/java/dataflow/internal/DataFlowPrivate.qll
View File

@@ -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() }
}

3
python/ql/lib/semmle/python/dataflow/new/internal/DataFlowDispatch.qll
View File

@@ -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
}

3
ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowDispatch.qll
View File

@@ -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
}

3
swift/ql/lib/codeql/swift/dataflow/internal/DataFlowDispatch.qll
View File

@@ -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`
}