File tree Expand file tree Collapse file tree 1 file changed +15
-1
lines changed
rust/ql/src/queries/summary Expand file tree Collapse file tree 1 file changed +15
-1
lines changed Original file line number Diff line number Diff line change @@ -11,9 +11,23 @@ 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 or
22+ this instanceof ImplItem or
23+ this instanceof TypeBoundType
24+ }
25+ }
26+
1427from string key , int value
1528where
16- key = "Elements extracted" and value = count ( Element e | not e instanceof Unextracted )
29+ key = "Elements extracted" and
30+ value = count ( Element e | not e instanceof Unextracted and not e instanceof CrateElement )
1731 or
1832 key = "Elements unextracted" and value = count ( Unextracted e )
1933 or
You can’t perform that action at this time.
0 commit comments