Rust: add UseTree::is_star

github · Jan 28, 2025 · 06cdaa4 · 06cdaa4
1 parent f0755bf
commit 06cdaa4
Show file tree

Hide file tree

Showing 10 changed files with 37 additions and 7 deletions.
diff --git a/rust/ast-generator/src/main.rs b/rust/ast-generator/src/main.rs
@@ -363,6 +363,12 @@ fn get_fields(node: &AstNodeSrc) -> Vec<FieldInfo> {
                 ty: FieldType::Predicate,
             });
         }
+        "UseTree" => {
+            result.push(FieldInfo {
+                name: "is_star".to_string(),
+                ty: FieldType::Predicate,
+            });
+        }
         _ => {}
     }
 

diff --git a/rust/extractor/src/generated/.generated.list b/rust/extractor/src/generated/.generated.list
diff --git a/rust/extractor/src/generated/top.rs b/rust/extractor/src/generated/top.rs
diff --git a/rust/extractor/src/translate/generated.rs b/rust/extractor/src/translate/generated.rs
diff --git a/rust/ql/.generated.list b/rust/ql/.generated.list
diff --git a/rust/ql/lib/codeql/rust/elements/internal/generated/Raw.qll b/rust/ql/lib/codeql/rust/elements/internal/generated/Raw.qll
diff --git a/rust/ql/lib/codeql/rust/elements/internal/generated/UseTree.qll b/rust/ql/lib/codeql/rust/elements/internal/generated/UseTree.qll
diff --git a/rust/ql/lib/rust.dbscheme b/rust/ql/lib/rust.dbscheme
@@ -1094,6 +1094,11 @@ use_trees(
   unique int id: @use_tree
 );
 
+#keyset[id]
+use_tree_is_star(
+  int id: @use_tree ref
+);
+
 #keyset[id]
 use_tree_paths(
   int id: @use_tree ref,

diff --git a/rust/ql/test/extractor-tests/generated/UseTree/UseTree.ql b/rust/ql/test/extractor-tests/generated/UseTree/UseTree.ql
diff --git a/rust/schema/ast.py b/rust/schema/ast.py