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
1111import codeql.rust.Diagnostics
1212import Stats
1313
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+
1425from string key , int value
1526where
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 )
1729 or
1830 key = "Elements unextracted" and value = count ( Unextracted e )
1931 or
You can’t perform that action at this time.
0 commit comments