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 1
1
private import rust
2
2
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 1
1
import codeql.rust.elements
2
+ import TestUtils
2
3
3
- select any ( AstNode n )
4
+ select any ( AstNode n | toBeTested ( n ) )
Original file line number Diff line number Diff line change 1
1
import rust
2
2
import codeql.rust.elements.internal.PathResolution
3
3
import utils.test.InlineExpectationsTest
4
+ import TestUtils
4
5
5
- query predicate mod ( Module m ) { any ( ) }
6
+ query predicate mod ( Module m ) { toBeTested ( m ) }
6
7
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 ) }
8
9
9
10
module ResolveTest implements TestSig {
10
11
string getARelevantTag ( ) { result = "item" }
You can’t perform that action at this time.
0 commit comments