File tree Expand file tree Collapse file tree 2 files changed +6
-5
lines changed Expand file tree Collapse file tree 2 files changed +6
-5
lines changed Original file line number Diff line number Diff line change @@ -238,6 +238,7 @@ class TVarDef = TVarDecl or TAsExpr;
238
238
239
239
module AstConsistency {
240
240
import ql
241
+ import codeql_ql.ast.internal.AstNodes as AstNodes
241
242
242
243
query predicate nonTotalGetParent ( AstNode node ) {
243
244
exists ( toQL ( node ) .getParent ( ) ) and
@@ -247,5 +248,8 @@ module AstConsistency {
247
248
not ( node instanceof QLDoc and node .getLocation ( ) .getFile ( ) .getExtension ( ) = "dbscheme" ) // qldoc in dbschemes are not hooked up
248
249
}
249
250
250
- query predicate nonUniqueParent ( AstNode node ) { count ( node .getParent ( ) ) >= 2 }
251
+ query predicate nonUniqueParent ( AstNode node ) {
252
+ count ( node .getParent ( ) ) >= 2 and
253
+ not exists ( AstNodes:: toMock ( node ) ) // we don't care about the mocks, they are nasty by design.
254
+ }
251
255
}
Original file line number Diff line number Diff line change @@ -15,7 +15,6 @@ import codeql_ql.ast.internal.Builtins::BuiltinsConsistency as BuiltinsConsisten
15
15
import codeql_ql.ast.internal.Module:: ModConsistency as ModConsistency
16
16
import codeql_ql.ast.internal.Variable:: VarConsistency as VarConsistency
17
17
import codeql_ql.ast.internal.AstNodes:: AstConsistency as AstConsistency
18
- import codeql_ql.ast.internal.AstNodes as AstNodes
19
18
20
19
from AstNode node , string msg
21
20
where
43
42
or
44
43
AstConsistency:: nonTotalGetParent ( node ) and msg = "AstConsistency::nonTotalGetParent"
45
44
or
46
- AstConsistency:: nonUniqueParent ( node ) and
47
- msg = "AstConsistency::nonUniqueParent" and
48
- not exists ( AstNodes:: toMock ( node ) ) // we don't care about the mocks, they are nasty by design.
45
+ AstConsistency:: nonUniqueParent ( node ) and msg = "AstConsistency::nonUniqueParent"
49
46
or
50
47
TypeConsistency:: noResolve ( node ) and msg = "TypeConsistency::noResolve"
51
48
or
You can’t perform that action at this time.
0 commit comments