File tree Expand file tree Collapse file tree 3 files changed +13
-4
lines changed
library-tests/path-resolution Expand file tree Collapse file tree 3 files changed +13
-4
lines changed Original file line number Diff line number Diff line change 11private import rust
22
3- predicate toBeTested ( Element e ) { any ( ) }
3+ predicate toBeTested ( Element e ) { not e instanceof CrateElement }
4+
5+ class CrateElement extends Element {
6+ CrateElement ( ) {
7+ this instanceof Crate or
8+ any ( Crate c ) .getModule ( ) = this .( AstNode ) .getParentNode * ( )
9+ }
10+ }
Original file line number Diff line number Diff line change 11import codeql.rust.elements
2+ import TestUtils
23
3- select any ( AstNode n )
4+ select any ( AstNode n | toBeTested ( n ) )
Original file line number Diff line number Diff line change 11import rust
22import codeql.rust.elements.internal.PathResolution
33import utils.test.InlineExpectationsTest
4+ import TestUtils
45
5- query predicate mod ( Module m ) { any ( ) }
6+ query predicate mod ( Module m ) { toBeTested ( m ) }
67
7- query predicate resolvePath ( Path p , ItemNode i ) { i = resolvePath ( p ) }
8+ query predicate resolvePath ( Path p , ItemNode i ) { toBeTested ( p ) and i = resolvePath ( p ) }
89
910module ResolveTest implements TestSig {
1011 string getARelevantTag ( ) { result = "item" }
You can’t perform that action at this time.
0 commit comments