Skip to content

Commit 2b88a2a

Browse files
committed
Dataflow: Fix qldoc: s/accesspath/access path/.
1 parent 6359c44 commit 2b88a2a

File tree

10 files changed

+10
-10
lines changed

10 files changed

+10
-10
lines changed

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1238,7 +1238,7 @@ class TypedContent extends MkTypedContent {
12381238
string toString() { result = c.toString() }
12391239

12401240
/**
1241-
* Holds if accesspaths with this `TypedContent` at their head always should
1241+
* Holds if access paths with this `TypedContent` at their head always should
12421242
* be tracked at high precision. This disables adaptive accesspath precision
12431243
* for such accesspaths.
12441244
*/

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -241,7 +241,7 @@ predicate isUnreachableInCall(Node n, DataFlowCall call) { none() } // stub impl
241241
int accessPathLimit() { result = 5 }
242242

243243
/**
244-
* Holds if accesspaths with `c` at their head always should be tracked at high
244+
* Holds if access paths with `c` at their head always should be tracked at high
245245
* precision. This disables adaptive accesspath precision for such accesspaths.
246246
*/
247247
predicate forceHighPrecision(Content c) { none() }

cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImplCommon.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1238,7 +1238,7 @@ class TypedContent extends MkTypedContent {
12381238
string toString() { result = c.toString() }
12391239

12401240
/**
1241-
* Holds if accesspaths with this `TypedContent` at their head always should
1241+
* Holds if access paths with this `TypedContent` at their head always should
12421242
* be tracked at high precision. This disables adaptive accesspath precision
12431243
* for such accesspaths.
12441244
*/

cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -467,7 +467,7 @@ predicate isUnreachableInCall(Node n, DataFlowCall call) { none() } // stub impl
467467
int accessPathLimit() { result = 5 }
468468

469469
/**
470-
* Holds if accesspaths with `c` at their head always should be tracked at high
470+
* Holds if access paths with `c` at their head always should be tracked at high
471471
* precision. This disables adaptive accesspath precision for such accesspaths.
472472
*/
473473
predicate forceHighPrecision(Content c) { none() }

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1238,7 +1238,7 @@ class TypedContent extends MkTypedContent {
12381238
string toString() { result = c.toString() }
12391239

12401240
/**
1241-
* Holds if accesspaths with this `TypedContent` at their head always should
1241+
* Holds if access paths with this `TypedContent` at their head always should
12421242
* be tracked at high precision. This disables adaptive accesspath precision
12431243
* for such accesspaths.
12441244
*/

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1919,7 +1919,7 @@ private predicate viableConstantBooleanParamArg(
19191919
int accessPathLimit() { result = 5 }
19201920

19211921
/**
1922-
* Holds if accesspaths with `c` at their head always should be tracked at high
1922+
* Holds if access paths with `c` at their head always should be tracked at high
19231923
* precision. This disables adaptive accesspath precision for such accesspaths.
19241924
*/
19251925
predicate forceHighPrecision(Content c) { c instanceof ElementContent }

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1238,7 +1238,7 @@ class TypedContent extends MkTypedContent {
12381238
string toString() { result = c.toString() }
12391239

12401240
/**
1241-
* Holds if accesspaths with this `TypedContent` at their head always should
1241+
* Holds if access paths with this `TypedContent` at their head always should
12421242
* be tracked at high precision. This disables adaptive accesspath precision
12431243
* for such accesspaths.
12441244
*/

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -309,7 +309,7 @@ predicate isUnreachableInCall(Node n, DataFlowCall call) {
309309
int accessPathLimit() { result = 5 }
310310

311311
/**
312-
* Holds if accesspaths with `c` at their head always should be tracked at high
312+
* Holds if access paths with `c` at their head always should be tracked at high
313313
* precision. This disables adaptive accesspath precision for such accesspaths.
314314
*/
315315
predicate forceHighPrecision(Content c) {

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1238,7 +1238,7 @@ class TypedContent extends MkTypedContent {
12381238
string toString() { result = c.toString() }
12391239

12401240
/**
1241-
* Holds if accesspaths with this `TypedContent` at their head always should
1241+
* Holds if access paths with this `TypedContent` at their head always should
12421242
* be tracked at high precision. This disables adaptive accesspath precision
12431243
* for such accesspaths.
12441244
*/

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1621,7 +1621,7 @@ predicate isImmutableOrUnobservable(Node n) { none() }
16211621
int accessPathLimit() { result = 5 }
16221622

16231623
/**
1624-
* Holds if accesspaths with `c` at their head always should be tracked at high
1624+
* Holds if access paths with `c` at their head always should be tracked at high
16251625
* precision. This disables adaptive accesspath precision for such accesspaths.
16261626
*/
16271627
predicate forceHighPrecision(Content c) { none() }

0 commit comments

Comments
 (0)