File tree Expand file tree Collapse file tree 3 files changed +7
-3
lines changed Expand file tree Collapse file tree 3 files changed +7
-3
lines changed Original file line number Diff line number Diff line change 1
1
private import rust
2
2
3
- predicate toBeTested ( Element e ) { not e instanceof CrateElement }
3
+ predicate toBeTested ( Element e ) { not e instanceof CrateElement and not e instanceof Builtin }
4
4
5
5
class CrateElement extends Element {
6
6
CrateElement ( ) {
@@ -9,3 +9,7 @@ class CrateElement extends Element {
9
9
any ( Crate c ) .getModule ( ) = this .( AstNode ) .getParentNode * ( )
10
10
}
11
11
}
12
+
13
+ class Builtin extends AstNode {
14
+ Builtin ( ) { this .getFile ( ) .getAbsolutePath ( ) .matches ( "%/builtins/%.rs" ) }
15
+ }
Original file line number Diff line number Diff line change 1
- | 60 |
1
+ | 77 |
Original file line number Diff line number Diff line change 9
9
| Inconsistencies - Path resolution | 0 |
10
10
| Inconsistencies - SSA | 0 |
11
11
| Inconsistencies - data flow | 0 |
12
- | Lines of code extracted | 60 |
12
+ | Lines of code extracted | 77 |
13
13
| Lines of user code extracted | 60 |
14
14
| Macro calls - resolved | 8 |
15
15
| Macro calls - total | 9 |
You can’t perform that action at this time.
0 commit comments