File tree Expand file tree Collapse file tree 1 file changed +13
-1
lines changed
rust/ql/src/queries/summary Expand file tree Collapse file tree 1 file changed +13
-1
lines changed Original file line number Diff line number Diff line change @@ -11,9 +11,21 @@ import codeql.rust.Concepts
11
11
import codeql.rust.Diagnostics
12
12
import Stats
13
13
14
+ class CrateElement extends Element {
15
+ CrateElement ( ) {
16
+ this instanceof ModuleContainer or
17
+ this instanceof Type or
18
+ this instanceof ValueItem or
19
+ this instanceof TypeItem or
20
+ this instanceof VariantData or
21
+ this instanceof EnumVariant
22
+ }
23
+ }
24
+
14
25
from string key , int value
15
26
where
16
- key = "Elements extracted" and value = count ( Element e | not e instanceof Unextracted )
27
+ key = "Elements extracted" and
28
+ value = count ( Element e | not e instanceof Unextracted and not e instanceof CrateElement )
17
29
or
18
30
key = "Elements unextracted" and value = count ( Unextracted e )
19
31
or
You can’t perform that action at this time.
0 commit comments