Skip to content

Commit f143dad

Browse files
hvitvedCopilot
andauthored
Apply suggestions from code review
Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>
1 parent 686e98c commit f143dad

2 files changed

Lines changed: 4 additions & 4 deletions

File tree

shared/typeflow/codeql/typeflow/TypeFlow.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -30,8 +30,8 @@ signature module TypeFlowInput<LocationSig Location> {
3030
}
3131

3232
/**
33-
* Gets an identifier for node `n`, if any. When not implemented for a given node,
34-
* the library will use location-based ranking.
33+
* Gets an identifier for node `n`, if any. When no identifier is provided for `n`,
34+
* the library falls back to location-based ranking.
3535
*/
3636
default int getTypeFlowNodeId(TypeFlowNode n) { none() }
3737

shared/typeflow/codeql/typeflow/UniversalFlow.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -46,8 +46,8 @@ signature module UniversalFlowInput<LocationSig Location> {
4646
}
4747

4848
/**
49-
* Gets an identifier for node `n`, if any. When not implemented for a given node,
50-
* the library will use location-based ranking.
49+
* Gets an identifier for node `n`, if any. When no identifier is provided for `n`,
50+
* the library falls back to location-based ranking.
5151
*/
5252
default int getFlowNodeId(FlowNode n) { none() }
5353

0 commit comments

Comments
 (0)