Skip to content

Commit e3c9f79

Browse files
committed
Adapt all languages to changes in shared library
1 parent 8078591 commit e3c9f79

File tree

7 files changed

+9
-9
lines changed

7 files changed

+9
-9
lines changed

cpp/ql/lib/semmle/code/cpp/dataflow/internal/FlowSummaryImpl.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -104,7 +104,7 @@ private module StepsInput implements Impl::Private::StepsInputSig {
104104
result.getStaticCallTarget().getUnderlyingCallable() = sc
105105
}
106106

107-
Node getSourceNode(Input::SourceBase source, Impl::Private::SummaryComponent sc) { none() }
107+
Node getSourceNode(Input::SourceBase source, Impl::Private::SummaryComponentStack s) { none() }
108108

109109
Node getSinkNode(Input::SinkBase sink, Impl::Private::SummaryComponent sc) { none() }
110110
}

csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImpl.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -183,7 +183,7 @@ private module TypesInput implements Impl::Private::TypesInputSig {
183183
)
184184
}
185185

186-
DataFlowType getSourceType(Input::SourceBase source, Impl::Private::SummaryComponent sc) {
186+
DataFlowType getSourceType(Input::SourceBase source, Impl::Private::SummaryComponentStack s) {
187187
none()
188188
}
189189

@@ -195,7 +195,7 @@ private module StepsInput implements Impl::Private::StepsInputSig {
195195
sc = viableCallable(result).asSummarizedCallable()
196196
}
197197

198-
Node getSourceNode(Input::SourceBase source, Impl::Private::SummaryComponent sc) { none() }
198+
Node getSourceNode(Input::SourceBase source, Impl::Private::SummaryComponentStack s) { none() }
199199

200200
Node getSinkNode(Input::SinkBase sink, Impl::Private::SummaryComponent sc) { none() }
201201
}

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -117,7 +117,7 @@ private module StepsInput implements Impl::Private::StepsInputSig {
117117
)
118118
}
119119

120-
Node getSourceNode(Input::SourceBase source, Impl::Private::SummaryComponent sc) { none() }
120+
Node getSourceNode(Input::SourceBase source, Impl::Private::SummaryComponentStack s) { none() }
121121

122122
Node getSinkNode(Input::SinkBase sink, Impl::Private::SummaryComponent sc) { none() }
123123
}

java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -132,7 +132,7 @@ private module TypesInput implements Impl::Private::TypesInputSig {
132132
exists(rk)
133133
}
134134

135-
DataFlowType getSourceType(Input::SourceBase source, Impl::Private::SummaryComponent sc) {
135+
DataFlowType getSourceType(Input::SourceBase source, Impl::Private::SummaryComponentStack s) {
136136
none()
137137
}
138138

@@ -144,7 +144,7 @@ private module StepsInput implements Impl::Private::StepsInputSig {
144144
sc = viableCallable(result).asSummarizedCallable()
145145
}
146146

147-
Node getSourceNode(Input::SourceBase source, Impl::Private::SummaryComponent sc) { none() }
147+
Node getSourceNode(Input::SourceBase source, Impl::Private::SummaryComponentStack s) { none() }
148148

149149
Node getSinkNode(Input::SinkBase sink, Impl::Private::SummaryComponent sc) { none() }
150150
}

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -105,7 +105,7 @@ private module StepsInput implements Impl::Private::StepsInputSig {
105105
])
106106
}
107107

108-
Node getSourceNode(Input::SourceBase source, Impl::Private::SummaryComponent sc) { none() }
108+
Node getSourceNode(Input::SourceBase source, Impl::Private::SummaryComponentStack s) { none() }
109109

110110
Node getSinkNode(Input::SinkBase sink, Impl::Private::SummaryComponent sc) { none() }
111111
}

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -161,7 +161,7 @@ private module StepsInput implements Impl::Private::StepsInputSig {
161161
result.asCall().getAstNode() = sc.(LibraryCallable).getACallSimple()
162162
}
163163

164-
Node getSourceNode(Input::SourceBase source, Impl::Private::SummaryComponent sc) { none() }
164+
Node getSourceNode(Input::SourceBase source, Impl::Private::SummaryComponentStack s) { none() }
165165

166166
Node getSinkNode(Input::SinkBase sink, Impl::Private::SummaryComponent sc) { none() }
167167
}

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -113,7 +113,7 @@ private import Make<Location, DataFlowImplSpecific::SwiftDataFlow, Input> as Imp
113113
private module StepsInput implements Impl::Private::StepsInputSig {
114114
DataFlowCall getACall(Public::SummarizedCallable sc) { result.asCall().getStaticTarget() = sc }
115115

116-
Node getSourceNode(Input::SourceBase source, Impl::Private::SummaryComponent sc) { none() }
116+
Node getSourceNode(Input::SourceBase source, Impl::Private::SummaryComponentStack s) { none() }
117117

118118
Node getSinkNode(Input::SinkBase sink, Impl::Private::SummaryComponent sc) { none() }
119119
}

0 commit comments

Comments
 (0)