Skip to content

Commit 48e3e11

Browse files
committed
unified: Rename get -> to
1 parent 4be4ff5 commit 48e3e11

4 files changed

Lines changed: 9 additions & 9 deletions

File tree

‎unified/ql/lib/codeql/unified/internal/dataflow/CaptureSsa.qll‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -137,7 +137,7 @@ Node getNodeFromCaptureSsaNode(CaptureSsaOutput::ClosureNode n) {
137137
callable = thisParam.getCallable() and
138138
result
139139
.(BuilderNode)
140-
.isImplicitParameter(getDataFlowCallable(callable), any(ParameterPosition p | p.isCallee()))
140+
.isImplicitParameter(toDataFlowCallable(callable), any(ParameterPosition p | p.isCallee()))
141141
)
142142
}
143143

‎unified/ql/lib/codeql/unified/internal/dataflow/DataFlowCall.qll‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -29,4 +29,4 @@ class DataFlowCall extends TDataFlowCall {
2929
}
3030
}
3131

32-
DataFlowCall getDataFlowCall(CallExpr call) { result.asExplicitCall() = call }
32+
DataFlowCall toDataFlowCall(CallExpr call) { result.asExplicitCall() = call }

‎unified/ql/lib/codeql/unified/internal/dataflow/DataFlowCallable.qll‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,4 +22,4 @@ class DataFlowCallable extends TDataFlowCallable {
2222
Location getLocation() { result = this.asSourceCallable().getLocation() }
2323
}
2424

25-
DataFlowCallable getDataFlowCallable(Callable callable) { result.asSourceCallable() = callable }
25+
DataFlowCallable toDataFlowCallable(Callable callable) { result.asSourceCallable() = callable }

‎unified/ql/lib/codeql/unified/internal/dataflow/DataFlowNode.qll‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -159,34 +159,34 @@ class BuilderNode extends TDataFlowNodeStage1 {
159159
* this node still exists but will typically not flow anywhere.
160160
*/
161161
predicate isReceiverParameter(Callable callable) {
162-
this.isImplicitParameter(getDataFlowCallable(callable),
162+
this.isImplicitParameter(toDataFlowCallable(callable),
163163
any(ParameterPosition p | p.isReceiver()))
164164
}
165165

166166
/** Holds if this node represents the receiver argument passed to `call`. */
167167
predicate isReceiverArgument(CallExpr call) {
168-
this.isImplicitArgument(getDataFlowCall(call), any(ArgumentPosition p | p.isReceiver()), false)
168+
this.isImplicitArgument(toDataFlowCall(call), any(ArgumentPosition p | p.isReceiver()), false)
169169
}
170170

171171
/** Holds if this node represents the updated state of the receiver of `call` after the call returns. */
172172
predicate isReceiverPostUpdate(CallExpr call) {
173-
this.isImplicitArgument(getDataFlowCall(call), any(ArgumentPosition p | p.isReceiver()), true)
173+
this.isImplicitArgument(toDataFlowCall(call), any(ArgumentPosition p | p.isReceiver()), true)
174174
}
175175

176176
/** Holds if this is the canonical representative for the given `callable`. */
177177
predicate isCallableEx(DataFlowCallable callable) { this = TCallableNode(callable) }
178178

179179
/** Holds if this is the canonical representative for the given `callable`. */
180-
predicate isCallable(Callable callable) { this = TCallableNode(getDataFlowCallable(callable)) }
180+
predicate isCallable(Callable callable) { this = TCallableNode(toDataFlowCallable(callable)) }
181181

182182
/** Holds if this node represents the function being invoked at `call`. */
183183
predicate isCalleeArgument(CallExpr call) {
184-
this.isImplicitArgument(getDataFlowCall(call), any(ArgumentPosition p | p.isCallee()), false)
184+
this.isImplicitArgument(toDataFlowCall(call), any(ArgumentPosition p | p.isCallee()), false)
185185
}
186186

187187
/** Holds if this node represents the updated state of the function being invoked at `call`, after the call returns. */
188188
predicate isCalleePostUpdate(CallExpr call) {
189-
this.isImplicitArgument(getDataFlowCall(call), any(ArgumentPosition p | p.isCallee()), true)
189+
this.isImplicitArgument(toDataFlowCall(call), any(ArgumentPosition p | p.isCallee()), true)
190190
}
191191

192192
/**

0 commit comments

Comments
 (0)