File tree Expand file tree Collapse file tree 6 files changed +12
-12
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
ruby/ql/lib/codeql/ruby/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 @@ -18,10 +18,10 @@ module Consistency {
18
18
/** Holds if `n` should be excluded from the consistency test `uniqueEnclosingCallable`. */
19
19
predicate uniqueEnclosingCallableExclude ( Node n ) { none ( ) }
20
20
21
- /** Holds if `n` should be excluded from the consistency test `missingLocation `. */
21
+ /** Holds if `n` should be excluded from the consistency test `uniqueNodeLocation `. */
22
22
predicate uniqueNodeLocationExclude ( Node n ) { none ( ) }
23
23
24
- /** Holds if `n` should be excluded from the consistency test `uniqueNodeLocation `. */
24
+ /** Holds if `n` should be excluded from the consistency test `missingLocation `. */
25
25
predicate missingLocationExclude ( Node n ) { none ( ) }
26
26
27
27
/** Holds if `n` should be excluded from the consistency test `postWithInFlow`. */
Original file line number Diff line number Diff line change @@ -18,10 +18,10 @@ module Consistency {
18
18
/** Holds if `n` should be excluded from the consistency test `uniqueEnclosingCallable`. */
19
19
predicate uniqueEnclosingCallableExclude ( Node n ) { none ( ) }
20
20
21
- /** Holds if `n` should be excluded from the consistency test `missingLocation `. */
21
+ /** Holds if `n` should be excluded from the consistency test `uniqueNodeLocation `. */
22
22
predicate uniqueNodeLocationExclude ( Node n ) { none ( ) }
23
23
24
- /** Holds if `n` should be excluded from the consistency test `uniqueNodeLocation `. */
24
+ /** Holds if `n` should be excluded from the consistency test `missingLocation `. */
25
25
predicate missingLocationExclude ( Node n ) { none ( ) }
26
26
27
27
/** Holds if `n` should be excluded from the consistency test `postWithInFlow`. */
Original file line number Diff line number Diff line change @@ -18,10 +18,10 @@ module Consistency {
18
18
/** Holds if `n` should be excluded from the consistency test `uniqueEnclosingCallable`. */
19
19
predicate uniqueEnclosingCallableExclude ( Node n ) { none ( ) }
20
20
21
- /** Holds if `n` should be excluded from the consistency test `missingLocation `. */
21
+ /** Holds if `n` should be excluded from the consistency test `uniqueNodeLocation `. */
22
22
predicate uniqueNodeLocationExclude ( Node n ) { none ( ) }
23
23
24
- /** Holds if `n` should be excluded from the consistency test `uniqueNodeLocation `. */
24
+ /** Holds if `n` should be excluded from the consistency test `missingLocation `. */
25
25
predicate missingLocationExclude ( Node n ) { none ( ) }
26
26
27
27
/** Holds if `n` should be excluded from the consistency test `postWithInFlow`. */
Original file line number Diff line number Diff line change @@ -18,10 +18,10 @@ module Consistency {
18
18
/** Holds if `n` should be excluded from the consistency test `uniqueEnclosingCallable`. */
19
19
predicate uniqueEnclosingCallableExclude ( Node n ) { none ( ) }
20
20
21
- /** Holds if `n` should be excluded from the consistency test `missingLocation `. */
21
+ /** Holds if `n` should be excluded from the consistency test `uniqueNodeLocation `. */
22
22
predicate uniqueNodeLocationExclude ( Node n ) { none ( ) }
23
23
24
- /** Holds if `n` should be excluded from the consistency test `uniqueNodeLocation `. */
24
+ /** Holds if `n` should be excluded from the consistency test `missingLocation `. */
25
25
predicate missingLocationExclude ( Node n ) { none ( ) }
26
26
27
27
/** Holds if `n` should be excluded from the consistency test `postWithInFlow`. */
Original file line number Diff line number Diff line change @@ -18,10 +18,10 @@ module Consistency {
18
18
/** Holds if `n` should be excluded from the consistency test `uniqueEnclosingCallable`. */
19
19
predicate uniqueEnclosingCallableExclude ( Node n ) { none ( ) }
20
20
21
- /** Holds if `n` should be excluded from the consistency test `missingLocation `. */
21
+ /** Holds if `n` should be excluded from the consistency test `uniqueNodeLocation `. */
22
22
predicate uniqueNodeLocationExclude ( Node n ) { none ( ) }
23
23
24
- /** Holds if `n` should be excluded from the consistency test `uniqueNodeLocation `. */
24
+ /** Holds if `n` should be excluded from the consistency test `missingLocation `. */
25
25
predicate missingLocationExclude ( Node n ) { none ( ) }
26
26
27
27
/** Holds if `n` should be excluded from the consistency test `postWithInFlow`. */
Original file line number Diff line number Diff line change @@ -18,10 +18,10 @@ module Consistency {
18
18
/** Holds if `n` should be excluded from the consistency test `uniqueEnclosingCallable`. */
19
19
predicate uniqueEnclosingCallableExclude ( Node n ) { none ( ) }
20
20
21
- /** Holds if `n` should be excluded from the consistency test `missingLocation `. */
21
+ /** Holds if `n` should be excluded from the consistency test `uniqueNodeLocation `. */
22
22
predicate uniqueNodeLocationExclude ( Node n ) { none ( ) }
23
23
24
- /** Holds if `n` should be excluded from the consistency test `uniqueNodeLocation `. */
24
+ /** Holds if `n` should be excluded from the consistency test `missingLocation `. */
25
25
predicate missingLocationExclude ( Node n ) { none ( ) }
26
26
27
27
/** Holds if `n` should be excluded from the consistency test `postWithInFlow`. */
You can’t perform that action at this time.
0 commit comments