File tree Expand file tree Collapse file tree 6 files changed +12
-12
lines changed
csharp/ql/lib/semmle/code/csharp/dataflow/internal
go/ql/lib/semmle/go/dataflow/internal
java/ql/lib/semmle/code/java/dataflow/internal
python/ql/lib/semmle/python/dataflow/new/internal
ruby/ql/lib/codeql/ruby/dataflow/internal
swift/ql/lib/codeql/swift/dataflow/internal Expand file tree Collapse file tree 6 files changed +12
-12
lines changed Original file line number Diff line number Diff line change @@ -212,15 +212,15 @@ string getMadRepresentationSpecific(SummaryComponent sc) {
212
212
)
213
213
}
214
214
215
- /** Gets the textual representation of a parameter position in the format used for MaD models . */
215
+ /** Gets the textual representation of a parameter position in the format used for flow summaries . */
216
216
string getParameterPosition ( ParameterPosition pos ) {
217
217
result = pos .getPosition ( ) .toString ( )
218
218
or
219
219
pos .isThisParameter ( ) and
220
220
result = "this"
221
221
}
222
222
223
- /** Gets the textual representation of an argument position in the format used for MaD models . */
223
+ /** Gets the textual representation of an argument position in the format used for flow summaries . */
224
224
string getArgumentPosition ( ArgumentPosition pos ) {
225
225
result = pos .getPosition ( ) .toString ( )
226
226
or
Original file line number Diff line number Diff line change @@ -22,10 +22,10 @@ DataFlowCallable inject(SummarizedCallable c) { result.asSummarizedCallable() =
22
22
/** Gets the parameter position of the instance parameter. */
23
23
ArgumentPosition callbackSelfParameterPosition ( ) { result = - 1 }
24
24
25
- /** Gets the textual representation of a parameter position in the format used for MaD models . */
25
+ /** Gets the textual representation of a parameter position in the format used for flow summaries . */
26
26
string getParameterPosition ( ParameterPosition pos ) { result = pos .toString ( ) }
27
27
28
- /** Gets the textual representation of an argument position in the format used for MaD models . */
28
+ /** Gets the textual representation of an argument position in the format used for flow summaries . */
29
29
string getArgumentPosition ( ArgumentPosition pos ) { result = pos .toString ( ) }
30
30
31
31
/** Gets the synthesized data-flow call for `receiver`. */
Original file line number Diff line number Diff line change @@ -203,10 +203,10 @@ private string positionToString(int pos) {
203
203
if pos = - 1 then result = "this" else result = pos .toString ( )
204
204
}
205
205
206
- /** Gets the textual representation of a parameter position in the format used for MaD models . */
206
+ /** Gets the textual representation of a parameter position in the format used for flow summaries . */
207
207
string getParameterPosition ( ParameterPosition pos ) { result = positionToString ( pos ) }
208
208
209
- /** Gets the textual representation of an argument position in the format used for MaD models . */
209
+ /** Gets the textual representation of an argument position in the format used for flow summaries . */
210
210
string getArgumentPosition ( ArgumentPosition pos ) { result = positionToString ( pos ) }
211
211
212
212
/** Holds if input specification component `c` needs a reference. */
Original file line number Diff line number Diff line change @@ -154,7 +154,7 @@ string getMadRepresentationSpecific(SummaryComponent sc) {
154
154
)
155
155
}
156
156
157
- /** Gets the textual representation of a parameter position in the format used for MaD models . */
157
+ /** Gets the textual representation of a parameter position in the format used for flow summaries . */
158
158
string getParameterPosition ( ParameterPosition pos ) {
159
159
pos .isSelf ( ) and result = "self"
160
160
or
@@ -169,7 +169,7 @@ string getParameterPosition(ParameterPosition pos) {
169
169
)
170
170
}
171
171
172
- /** Gets the textual representation of an argument position in the format used for MaD models . */
172
+ /** Gets the textual representation of an argument position in the format used for flow summaries . */
173
173
string getArgumentPosition ( ArgumentPosition pos ) {
174
174
pos .isSelf ( ) and result = "self"
175
175
or
Original file line number Diff line number Diff line change @@ -187,7 +187,7 @@ string getMadRepresentationSpecific(SummaryComponent sc) {
187
187
)
188
188
}
189
189
190
- /** Gets the textual representation of a parameter position in the format used for MaD models . */
190
+ /** Gets the textual representation of a parameter position in the format used for flow summaries . */
191
191
string getParameterPosition ( ParameterPosition pos ) {
192
192
exists ( int i |
193
193
pos .isPositional ( i ) and
@@ -220,7 +220,7 @@ string getParameterPosition(ParameterPosition pos) {
220
220
result = "hash-splat"
221
221
}
222
222
223
- /** Gets the textual representation of an argument position in the format used for MaD models . */
223
+ /** Gets the textual representation of an argument position in the format used for flow summaries . */
224
224
string getArgumentPosition ( ArgumentPosition pos ) {
225
225
pos .isSelf ( ) and result = "self"
226
226
or
Original file line number Diff line number Diff line change @@ -122,10 +122,10 @@ string getMadRepresentationSpecific(SummaryComponent sc) {
122
122
)
123
123
}
124
124
125
- /** Gets the textual representation of a parameter position in the format used for MaD models . */
125
+ /** Gets the textual representation of a parameter position in the format used for flow summaries . */
126
126
string getParameterPosition ( ParameterPosition pos ) { result = pos .toString ( ) }
127
127
128
- /** Gets the textual representation of an argument position in the format used for MaD models . */
128
+ /** Gets the textual representation of an argument position in the format used for flow summaries . */
129
129
string getArgumentPosition ( ArgumentPosition pos ) { result = pos .toString ( ) }
130
130
131
131
/** Holds if input specification component `c` needs a reference. */
You can’t perform that action at this time.
0 commit comments