File tree Expand file tree Collapse file tree 10 files changed +15
-15
lines changed
cpp/ql/lib/semmle/code/cpp
csharp/ql/lib/semmle/code/csharp/dataflow/internal
java/ql/lib/semmle/code/java/dataflow/internal
python/ql/lib/semmle/python/dataflow/new/internal Expand file tree Collapse file tree 10 files changed +15
-15
lines changed Original file line number Diff line number Diff line change @@ -1239,8 +1239,8 @@ class TypedContent extends MkTypedContent {
12391239
12401240 /**
12411241 * Holds if access paths with this `TypedContent` at their head always should
1242- * be tracked at high precision. This disables adaptive accesspath precision
1243- * for such accesspaths .
1242+ * be tracked at high precision. This disables adaptive access path precision
1243+ * for such access paths .
12441244 */
12451245 predicate forceHighPrecision ( ) { forceHighPrecision ( c ) }
12461246}
Original file line number Diff line number Diff line change @@ -242,7 +242,7 @@ int accessPathLimit() { result = 5 }
242242
243243/**
244244 * Holds if access paths with `c` at their head always should be tracked at high
245- * precision. This disables adaptive accesspath precision for such accesspaths .
245+ * precision. This disables adaptive access path precision for such access paths .
246246 */
247247predicate forceHighPrecision ( Content c ) { none ( ) }
248248
Original file line number Diff line number Diff line change @@ -1239,8 +1239,8 @@ class TypedContent extends MkTypedContent {
12391239
12401240 /**
12411241 * Holds if access paths with this `TypedContent` at their head always should
1242- * be tracked at high precision. This disables adaptive accesspath precision
1243- * for such accesspaths .
1242+ * be tracked at high precision. This disables adaptive access path precision
1243+ * for such access paths .
12441244 */
12451245 predicate forceHighPrecision ( ) { forceHighPrecision ( c ) }
12461246}
Original file line number Diff line number Diff line change @@ -468,7 +468,7 @@ int accessPathLimit() { result = 5 }
468468
469469/**
470470 * Holds if access paths with `c` at their head always should be tracked at high
471- * precision. This disables adaptive accesspath precision for such accesspaths .
471+ * precision. This disables adaptive access path precision for such access paths .
472472 */
473473predicate forceHighPrecision ( Content c ) { none ( ) }
474474
Original file line number Diff line number Diff line change @@ -1239,8 +1239,8 @@ class TypedContent extends MkTypedContent {
12391239
12401240 /**
12411241 * Holds if access paths with this `TypedContent` at their head always should
1242- * be tracked at high precision. This disables adaptive accesspath precision
1243- * for such accesspaths .
1242+ * be tracked at high precision. This disables adaptive access path precision
1243+ * for such access paths .
12441244 */
12451245 predicate forceHighPrecision ( ) { forceHighPrecision ( c ) }
12461246}
Original file line number Diff line number Diff line change @@ -1920,7 +1920,7 @@ int accessPathLimit() { result = 5 }
19201920
19211921/**
19221922 * Holds if access paths with `c` at their head always should be tracked at high
1923- * precision. This disables adaptive accesspath precision for such accesspaths .
1923+ * precision. This disables adaptive access path precision for such access paths .
19241924 */
19251925predicate forceHighPrecision ( Content c ) { c instanceof ElementContent }
19261926
Original file line number Diff line number Diff line change @@ -1239,8 +1239,8 @@ class TypedContent extends MkTypedContent {
12391239
12401240 /**
12411241 * Holds if access paths with this `TypedContent` at their head always should
1242- * be tracked at high precision. This disables adaptive accesspath precision
1243- * for such accesspaths .
1242+ * be tracked at high precision. This disables adaptive access path precision
1243+ * for such access paths .
12441244 */
12451245 predicate forceHighPrecision ( ) { forceHighPrecision ( c ) }
12461246}
Original file line number Diff line number Diff line change @@ -310,7 +310,7 @@ int accessPathLimit() { result = 5 }
310310
311311/**
312312 * Holds if access paths with `c` at their head always should be tracked at high
313- * precision. This disables adaptive accesspath precision for such accesspaths .
313+ * precision. This disables adaptive access path precision for such access paths .
314314 */
315315predicate forceHighPrecision ( Content c ) {
316316 c instanceof ArrayContent or c instanceof CollectionContent
Original file line number Diff line number Diff line change @@ -1239,8 +1239,8 @@ class TypedContent extends MkTypedContent {
12391239
12401240 /**
12411241 * Holds if access paths with this `TypedContent` at their head always should
1242- * be tracked at high precision. This disables adaptive accesspath precision
1243- * for such accesspaths .
1242+ * be tracked at high precision. This disables adaptive access path precision
1243+ * for such access paths .
12441244 */
12451245 predicate forceHighPrecision ( ) { forceHighPrecision ( c ) }
12461246}
Original file line number Diff line number Diff line change @@ -1622,7 +1622,7 @@ int accessPathLimit() { result = 5 }
16221622
16231623/**
16241624 * Holds if access paths with `c` at their head always should be tracked at high
1625- * precision. This disables adaptive accesspath precision for such accesspaths .
1625+ * precision. This disables adaptive access path precision for such access paths .
16261626 */
16271627predicate forceHighPrecision ( Content c ) { none ( ) }
16281628
You can’t perform that action at this time.
0 commit comments