Skip to content

Commit 5062442

Browse files
committed
Go/Python/Ruby/Swift: Add stub.
1 parent 2ecce57 commit 5062442

File tree

4 files changed

+12
-0
lines changed

4 files changed

+12
-0
lines changed

go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImplSpecific.qll

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -37,6 +37,9 @@ DataFlowCall summaryDataFlowCall(SummaryNode receiver) {
3737
/** Gets the type of content `c`. */
3838
DataFlowType getContentType(Content c) { result = c.getType() }
3939

40+
/** Gets the type of the parameter at the given position. */
41+
DataFlowType getParameterType(SummarizedCallable c, ParameterPosition pos) { any() }
42+
4043
/** Gets the return type of kind `rk` for callable `c`. */
4144
DataFlowType getReturnType(SummarizedCallable c, ReturnKind rk) { any() }
4245

python/ql/lib/semmle/python/dataflow/new/internal/FlowSummaryImplSpecific.qll

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -53,6 +53,9 @@ SummaryCall summaryDataFlowCall(SummaryNode receiver) { receiver = result.getRec
5353
/** Gets the type of content `c`. */
5454
DataFlowType getContentType(Content c) { any() }
5555

56+
/** Gets the type of the parameter at the given position. */
57+
DataFlowType getParameterType(SummarizedCallable c, ParameterPosition pos) { any() }
58+
5659
/** Gets the return type of kind `rk` for callable `c`. */
5760
bindingset[c, rk]
5861
DataFlowType getReturnType(SummarizedCallable c, ReturnKind rk) { any() }

ruby/ql/lib/codeql/ruby/dataflow/internal/FlowSummaryImplSpecific.qll

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -24,6 +24,9 @@ SummaryCall summaryDataFlowCall(SummaryNode receiver) { receiver = result.getRec
2424
/** Gets the type of content `c`. */
2525
DataFlowType getContentType(ContentSet c) { any() }
2626

27+
/** Gets the type of the parameter at the given position. */
28+
DataFlowType getParameterType(SummarizedCallable c, ParameterPosition pos) { any() }
29+
2730
/** Gets the return type of kind `rk` for callable `c`. */
2831
bindingset[c, rk]
2932
DataFlowType getReturnType(SummarizedCallable c, ReturnKind rk) { any() }

swift/ql/lib/codeql/swift/dataflow/internal/FlowSummaryImplSpecific.qll

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -26,6 +26,9 @@ SummaryCall summaryDataFlowCall(SummaryNode receiver) { receiver = result.getRec
2626
/** Gets the type of content `c`. */
2727
DataFlowType getContentType(ContentSet c) { any() }
2828

29+
/** Gets the type of the parameter at the given position. */
30+
DataFlowType getParameterType(SummarizedCallable c, ParameterPosition pos) { any() }
31+
2932
/** Gets the return type of kind `rk` for callable `c`. */
3033
bindingset[c]
3134
DataFlowType getReturnType(SummarizedCallable c, ReturnKind rk) { any() }

0 commit comments

Comments
 (0)