hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Rust: Codegen.

Browse Source
This commit is contained in:
Geoffrey White
2025-08-26 16:48:44 +01:00
parent c7947a0afa
commit 152ae1d29b
42 changed files with 575 additions and 1110 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
rust/extractor/src/generated/.generated.list generated
View File

@@ -1,2 +1,2 @@
mod.rs 4bcb9def847469aae9d8649461546b7c21ec97cf6e63d3cf394e339915ce65d7 4bcb9def847469aae9d8649461546b7c21ec97cf6e63d3cf394e339915ce65d7
top.rs cf4f3f6b3fd0dee0d8b35f346695cfd3e080ca328ca1726ce851f6abfbabc631 cf4f3f6b3fd0dee0d8b35f346695cfd3e080ca328ca1726ce851f6abfbabc631
top.rs ef1e4ee1ec10669092c216f95bc34a1740e1fadfc4f3ad91ef14dccc5f2a7490 ef1e4ee1ec10669092c216f95bc34a1740e1fadfc4f3ad91ef14dccc5f2a7490

761
rust/extractor/src/generated/top.rs generated
View File

@@ -331,17 +331,6 @@ pub struct Addressable {
_unused: ()
}
impl Addressable {
pub fn emit_extended_canonical_path(id: trap::Label<Self>, value: String, out: &mut trap::Writer) {
out.add_tuple("addressable_extended_canonical_paths", vec![id.into(), value.into()]);
}
pub fn emit_crate_origin(id: trap::Label<Self>, value: String, out: &mut trap::Writer) {
out.add_tuple("addressable_crate_origins", vec![id.into(), value.into()]);
}
}
impl trap::TrapClass for Addressable {
fn class_name() -> &'static str { "Addressable" }
}
@@ -1949,6 +1938,42 @@ impl From<trap::Label<Path>> for trap::Label<Element> {
}
}
#[derive(Debug)]
pub struct PathAstNode {
_unused: ()
}
impl trap::TrapClass for PathAstNode {
fn class_name() -> &'static str { "PathAstNode" }
}
impl From<trap::Label<PathAstNode>> for trap::Label<AstNode> {
fn from(value: trap::Label<PathAstNode>) -> Self {
// SAFETY: this is safe because in the dbscheme PathAstNode is a subclass of AstNode
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<PathAstNode>> for trap::Label<Locatable> {
fn from(value: trap::Label<PathAstNode>) -> Self {
// SAFETY: this is safe because in the dbscheme PathAstNode is a subclass of Locatable
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<PathAstNode>> for trap::Label<Element> {
fn from(value: trap::Label<PathAstNode>) -> Self {
// SAFETY: this is safe because in the dbscheme PathAstNode is a subclass of Element
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
#[derive(Debug)]
pub struct PathSegment {
pub id: trap::TrapId<PathSegment>,
@@ -2076,53 +2101,6 @@ impl From<trap::Label<Rename>> for trap::Label<Element> {
}
}
#[derive(Debug)]
pub struct Resolvable {
_unused: ()
}
impl Resolvable {
pub fn emit_resolved_path(id: trap::Label<Self>, value: String, out: &mut trap::Writer) {
out.add_tuple("resolvable_resolved_paths", vec![id.into(), value.into()]);
}
pub fn emit_resolved_crate_origin(id: trap::Label<Self>, value: String, out: &mut trap::Writer) {
out.add_tuple("resolvable_resolved_crate_origins", vec![id.into(), value.into()]);
}
}
impl trap::TrapClass for Resolvable {
fn class_name() -> &'static str { "Resolvable" }
}
impl From<trap::Label<Resolvable>> for trap::Label<AstNode> {
fn from(value: trap::Label<Resolvable>) -> Self {
// SAFETY: this is safe because in the dbscheme Resolvable is a subclass of AstNode
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<Resolvable>> for trap::Label<Locatable> {
fn from(value: trap::Label<Resolvable>) -> Self {
// SAFETY: this is safe because in the dbscheme Resolvable is a subclass of Locatable
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<Resolvable>> for trap::Label<Element> {
fn from(value: trap::Label<Resolvable>) -> Self {
// SAFETY: this is safe because in the dbscheme Resolvable is a subclass of Element
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
#[derive(Debug)]
pub struct RetTypeRepr {
pub id: trap::TrapId<RetTypeRepr>,
@@ -6940,51 +6918,6 @@ impl From<trap::Label<ParenTypeRepr>> for trap::Label<Element> {
}
}
#[derive(Debug)]
pub struct PathAstNode {
_unused: ()
}
impl trap::TrapClass for PathAstNode {
fn class_name() -> &'static str { "PathAstNode" }
}
impl From<trap::Label<PathAstNode>> for trap::Label<Resolvable> {
fn from(value: trap::Label<PathAstNode>) -> Self {
// SAFETY: this is safe because in the dbscheme PathAstNode is a subclass of Resolvable
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<PathAstNode>> for trap::Label<AstNode> {
fn from(value: trap::Label<PathAstNode>) -> Self {
// SAFETY: this is safe because in the dbscheme PathAstNode is a subclass of AstNode
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<PathAstNode>> for trap::Label<Locatable> {
fn from(value: trap::Label<PathAstNode>) -> Self {
// SAFETY: this is safe because in the dbscheme PathAstNode is a subclass of Locatable
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<PathAstNode>> for trap::Label<Element> {
fn from(value: trap::Label<PathAstNode>) -> Self {
// SAFETY: this is safe because in the dbscheme PathAstNode is a subclass of Element
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
#[derive(Debug)]
pub struct PathExprBase {
_unused: ()
@@ -7030,6 +6963,74 @@ impl From<trap::Label<PathExprBase>> for trap::Label<Element> {
}
}
#[derive(Debug)]
pub struct PathPat {
pub id: trap::TrapId<PathPat>,
pub path: Option<trap::Label<Path>>,
}
impl trap::TrapEntry for PathPat {
fn extract_id(&mut self) -> trap::TrapId<Self> {
std::mem::replace(&mut self.id, trap::TrapId::Star)
}
fn emit(self, id: trap::Label<Self>, out: &mut trap::Writer) {
out.add_tuple("path_pats", vec![id.into()]);
if let Some(v) = self.path {
out.add_tuple("path_ast_node_paths", vec![id.into(), v.into()]);
}
}
}
impl trap::TrapClass for PathPat {
fn class_name() -> &'static str { "PathPat" }
}
impl From<trap::Label<PathPat>> for trap::Label<Pat> {
fn from(value: trap::Label<PathPat>) -> Self {
// SAFETY: this is safe because in the dbscheme PathPat is a subclass of Pat
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<PathPat>> for trap::Label<AstNode> {
fn from(value: trap::Label<PathPat>) -> Self {
// SAFETY: this is safe because in the dbscheme PathPat is a subclass of AstNode
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<PathPat>> for trap::Label<Locatable> {
fn from(value: trap::Label<PathPat>) -> Self {
// SAFETY: this is safe because in the dbscheme PathPat is a subclass of Locatable
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<PathPat>> for trap::Label<Element> {
fn from(value: trap::Label<PathPat>) -> Self {
// SAFETY: this is safe because in the dbscheme PathPat is a subclass of Element
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<PathPat>> for trap::Label<PathAstNode> {
fn from(value: trap::Label<PathPat>) -> Self {
// SAFETY: this is safe because in the dbscheme PathPat is a subclass of PathAstNode
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
#[derive(Debug)]
pub struct PathTypeRepr {
pub id: trap::TrapId<PathTypeRepr>,
@@ -7885,6 +7886,78 @@ impl From<trap::Label<SliceTypeRepr>> for trap::Label<Element> {
}
}
#[derive(Debug)]
pub struct StructExpr {
pub id: trap::TrapId<StructExpr>,
pub path: Option<trap::Label<Path>>,
pub struct_expr_field_list: Option<trap::Label<StructExprFieldList>>,
}
impl trap::TrapEntry for StructExpr {
fn extract_id(&mut self) -> trap::TrapId<Self> {
std::mem::replace(&mut self.id, trap::TrapId::Star)
}
fn emit(self, id: trap::Label<Self>, out: &mut trap::Writer) {
out.add_tuple("struct_exprs", vec![id.into()]);
if let Some(v) = self.path {
out.add_tuple("path_ast_node_paths", vec![id.into(), v.into()]);
}
if let Some(v) = self.struct_expr_field_list {
out.add_tuple("struct_expr_struct_expr_field_lists", vec![id.into(), v.into()]);
}
}
}
impl trap::TrapClass for StructExpr {
fn class_name() -> &'static str { "StructExpr" }
}
impl From<trap::Label<StructExpr>> for trap::Label<Expr> {
fn from(value: trap::Label<StructExpr>) -> Self {
// SAFETY: this is safe because in the dbscheme StructExpr is a subclass of Expr
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<StructExpr>> for trap::Label<AstNode> {
fn from(value: trap::Label<StructExpr>) -> Self {
// SAFETY: this is safe because in the dbscheme StructExpr is a subclass of AstNode
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<StructExpr>> for trap::Label<Locatable> {
fn from(value: trap::Label<StructExpr>) -> Self {
// SAFETY: this is safe because in the dbscheme StructExpr is a subclass of Locatable
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<StructExpr>> for trap::Label<Element> {
fn from(value: trap::Label<StructExpr>) -> Self {
// SAFETY: this is safe because in the dbscheme StructExpr is a subclass of Element
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<StructExpr>> for trap::Label<PathAstNode> {
fn from(value: trap::Label<StructExpr>) -> Self {
// SAFETY: this is safe because in the dbscheme StructExpr is a subclass of PathAstNode
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
#[derive(Debug)]
pub struct StructFieldList {
pub id: trap::TrapId<StructFieldList>,
@@ -7944,6 +8017,78 @@ impl From<trap::Label<StructFieldList>> for trap::Label<Element> {
}
}
#[derive(Debug)]
pub struct StructPat {
pub id: trap::TrapId<StructPat>,
pub path: Option<trap::Label<Path>>,
pub struct_pat_field_list: Option<trap::Label<StructPatFieldList>>,
}
impl trap::TrapEntry for StructPat {
fn extract_id(&mut self) -> trap::TrapId<Self> {
std::mem::replace(&mut self.id, trap::TrapId::Star)
}
fn emit(self, id: trap::Label<Self>, out: &mut trap::Writer) {
out.add_tuple("struct_pats", vec![id.into()]);
if let Some(v) = self.path {
out.add_tuple("path_ast_node_paths", vec![id.into(), v.into()]);
}
if let Some(v) = self.struct_pat_field_list {
out.add_tuple("struct_pat_struct_pat_field_lists", vec![id.into(), v.into()]);
}
}
}
impl trap::TrapClass for StructPat {
fn class_name() -> &'static str { "StructPat" }
}
impl From<trap::Label<StructPat>> for trap::Label<Pat> {
fn from(value: trap::Label<StructPat>) -> Self {
// SAFETY: this is safe because in the dbscheme StructPat is a subclass of Pat
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<StructPat>> for trap::Label<AstNode> {
fn from(value: trap::Label<StructPat>) -> Self {
// SAFETY: this is safe because in the dbscheme StructPat is a subclass of AstNode
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<StructPat>> for trap::Label<Locatable> {
fn from(value: trap::Label<StructPat>) -> Self {
// SAFETY: this is safe because in the dbscheme StructPat is a subclass of Locatable
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<StructPat>> for trap::Label<Element> {
fn from(value: trap::Label<StructPat>) -> Self {
// SAFETY: this is safe because in the dbscheme StructPat is a subclass of Element
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<StructPat>> for trap::Label<PathAstNode> {
fn from(value: trap::Label<StructPat>) -> Self {
// SAFETY: this is safe because in the dbscheme StructPat is a subclass of PathAstNode
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
#[derive(Debug)]
pub struct TryExpr {
pub id: trap::TrapId<TryExpr>,
@@ -8188,6 +8333,78 @@ impl From<trap::Label<TuplePat>> for trap::Label<Element> {
}
}
#[derive(Debug)]
pub struct TupleStructPat {
pub id: trap::TrapId<TupleStructPat>,
pub path: Option<trap::Label<Path>>,
pub fields: Vec<trap::Label<Pat>>,
}
impl trap::TrapEntry for TupleStructPat {
fn extract_id(&mut self) -> trap::TrapId<Self> {
std::mem::replace(&mut self.id, trap::TrapId::Star)
}
fn emit(self, id: trap::Label<Self>, out: &mut trap::Writer) {
out.add_tuple("tuple_struct_pats", vec![id.into()]);
if let Some(v) = self.path {
out.add_tuple("path_ast_node_paths", vec![id.into(), v.into()]);
}
for (i, v) in self.fields.into_iter().enumerate() {
out.add_tuple("tuple_struct_pat_fields", vec![id.into(), i.into(), v.into()]);
}
}
}
impl trap::TrapClass for TupleStructPat {
fn class_name() -> &'static str { "TupleStructPat" }
}
impl From<trap::Label<TupleStructPat>> for trap::Label<Pat> {
fn from(value: trap::Label<TupleStructPat>) -> Self {
// SAFETY: this is safe because in the dbscheme TupleStructPat is a subclass of Pat
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<TupleStructPat>> for trap::Label<AstNode> {
fn from(value: trap::Label<TupleStructPat>) -> Self {
// SAFETY: this is safe because in the dbscheme TupleStructPat is a subclass of AstNode
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<TupleStructPat>> for trap::Label<Locatable> {
fn from(value: trap::Label<TupleStructPat>) -> Self {
// SAFETY: this is safe because in the dbscheme TupleStructPat is a subclass of Locatable
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<TupleStructPat>> for trap::Label<Element> {
fn from(value: trap::Label<TupleStructPat>) -> Self {
// SAFETY: this is safe because in the dbscheme TupleStructPat is a subclass of Element
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<TupleStructPat>> for trap::Label<PathAstNode> {
fn from(value: trap::Label<TupleStructPat>) -> Self {
// SAFETY: this is safe because in the dbscheme TupleStructPat is a subclass of PathAstNode
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
#[derive(Debug)]
pub struct TupleTypeRepr {
pub id: trap::TrapId<TupleTypeRepr>,
@@ -9775,15 +9992,6 @@ impl From<trap::Label<MethodCallExpr>> for trap::Label<Element> {
}
}
impl From<trap::Label<MethodCallExpr>> for trap::Label<Resolvable> {
fn from(value: trap::Label<MethodCallExpr>) -> Self {
// SAFETY: this is safe because in the dbscheme MethodCallExpr is a subclass of Resolvable
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
#[derive(Debug)]
pub struct Module {
pub id: trap::TrapId<Module>,
@@ -9954,254 +10162,6 @@ impl From<trap::Label<PathExpr>> for trap::Label<PathAstNode> {
}
}
impl From<trap::Label<PathExpr>> for trap::Label<Resolvable> {
fn from(value: trap::Label<PathExpr>) -> Self {
// SAFETY: this is safe because in the dbscheme PathExpr is a subclass of Resolvable
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
#[derive(Debug)]
pub struct PathPat {
pub id: trap::TrapId<PathPat>,
pub path: Option<trap::Label<Path>>,
}
impl trap::TrapEntry for PathPat {
fn extract_id(&mut self) -> trap::TrapId<Self> {
std::mem::replace(&mut self.id, trap::TrapId::Star)
}
fn emit(self, id: trap::Label<Self>, out: &mut trap::Writer) {
out.add_tuple("path_pats", vec![id.into()]);
if let Some(v) = self.path {
out.add_tuple("path_ast_node_paths", vec![id.into(), v.into()]);
}
}
}
impl trap::TrapClass for PathPat {
fn class_name() -> &'static str { "PathPat" }
}
impl From<trap::Label<PathPat>> for trap::Label<Pat> {
fn from(value: trap::Label<PathPat>) -> Self {
// SAFETY: this is safe because in the dbscheme PathPat is a subclass of Pat
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<PathPat>> for trap::Label<AstNode> {
fn from(value: trap::Label<PathPat>) -> Self {
// SAFETY: this is safe because in the dbscheme PathPat is a subclass of AstNode
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<PathPat>> for trap::Label<Locatable> {
fn from(value: trap::Label<PathPat>) -> Self {
// SAFETY: this is safe because in the dbscheme PathPat is a subclass of Locatable
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<PathPat>> for trap::Label<Element> {
fn from(value: trap::Label<PathPat>) -> Self {
// SAFETY: this is safe because in the dbscheme PathPat is a subclass of Element
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<PathPat>> for trap::Label<PathAstNode> {
fn from(value: trap::Label<PathPat>) -> Self {
// SAFETY: this is safe because in the dbscheme PathPat is a subclass of PathAstNode
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<PathPat>> for trap::Label<Resolvable> {
fn from(value: trap::Label<PathPat>) -> Self {
// SAFETY: this is safe because in the dbscheme PathPat is a subclass of Resolvable
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
#[derive(Debug)]
pub struct StructExpr {
pub id: trap::TrapId<StructExpr>,
pub path: Option<trap::Label<Path>>,
pub struct_expr_field_list: Option<trap::Label<StructExprFieldList>>,
}
impl trap::TrapEntry for StructExpr {
fn extract_id(&mut self) -> trap::TrapId<Self> {
std::mem::replace(&mut self.id, trap::TrapId::Star)
}
fn emit(self, id: trap::Label<Self>, out: &mut trap::Writer) {
out.add_tuple("struct_exprs", vec![id.into()]);
if let Some(v) = self.path {
out.add_tuple("path_ast_node_paths", vec![id.into(), v.into()]);
}
if let Some(v) = self.struct_expr_field_list {
out.add_tuple("struct_expr_struct_expr_field_lists", vec![id.into(), v.into()]);
}
}
}
impl trap::TrapClass for StructExpr {
fn class_name() -> &'static str { "StructExpr" }
}
impl From<trap::Label<StructExpr>> for trap::Label<Expr> {
fn from(value: trap::Label<StructExpr>) -> Self {
// SAFETY: this is safe because in the dbscheme StructExpr is a subclass of Expr
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<StructExpr>> for trap::Label<AstNode> {
fn from(value: trap::Label<StructExpr>) -> Self {
// SAFETY: this is safe because in the dbscheme StructExpr is a subclass of AstNode
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<StructExpr>> for trap::Label<Locatable> {
fn from(value: trap::Label<StructExpr>) -> Self {
// SAFETY: this is safe because in the dbscheme StructExpr is a subclass of Locatable
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<StructExpr>> for trap::Label<Element> {
fn from(value: trap::Label<StructExpr>) -> Self {
// SAFETY: this is safe because in the dbscheme StructExpr is a subclass of Element
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<StructExpr>> for trap::Label<PathAstNode> {
fn from(value: trap::Label<StructExpr>) -> Self {
// SAFETY: this is safe because in the dbscheme StructExpr is a subclass of PathAstNode
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<StructExpr>> for trap::Label<Resolvable> {
fn from(value: trap::Label<StructExpr>) -> Self {
// SAFETY: this is safe because in the dbscheme StructExpr is a subclass of Resolvable
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
#[derive(Debug)]
pub struct StructPat {
pub id: trap::TrapId<StructPat>,
pub path: Option<trap::Label<Path>>,
pub struct_pat_field_list: Option<trap::Label<StructPatFieldList>>,
}
impl trap::TrapEntry for StructPat {
fn extract_id(&mut self) -> trap::TrapId<Self> {
std::mem::replace(&mut self.id, trap::TrapId::Star)
}
fn emit(self, id: trap::Label<Self>, out: &mut trap::Writer) {
out.add_tuple("struct_pats", vec![id.into()]);
if let Some(v) = self.path {
out.add_tuple("path_ast_node_paths", vec![id.into(), v.into()]);
}
if let Some(v) = self.struct_pat_field_list {
out.add_tuple("struct_pat_struct_pat_field_lists", vec![id.into(), v.into()]);
}
}
}
impl trap::TrapClass for StructPat {
fn class_name() -> &'static str { "StructPat" }
}
impl From<trap::Label<StructPat>> for trap::Label<Pat> {
fn from(value: trap::Label<StructPat>) -> Self {
// SAFETY: this is safe because in the dbscheme StructPat is a subclass of Pat
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<StructPat>> for trap::Label<AstNode> {
fn from(value: trap::Label<StructPat>) -> Self {
// SAFETY: this is safe because in the dbscheme StructPat is a subclass of AstNode
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<StructPat>> for trap::Label<Locatable> {
fn from(value: trap::Label<StructPat>) -> Self {
// SAFETY: this is safe because in the dbscheme StructPat is a subclass of Locatable
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<StructPat>> for trap::Label<Element> {
fn from(value: trap::Label<StructPat>) -> Self {
// SAFETY: this is safe because in the dbscheme StructPat is a subclass of Element
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<StructPat>> for trap::Label<PathAstNode> {
fn from(value: trap::Label<StructPat>) -> Self {
// SAFETY: this is safe because in the dbscheme StructPat is a subclass of PathAstNode
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<StructPat>> for trap::Label<Resolvable> {
fn from(value: trap::Label<StructPat>) -> Self {
// SAFETY: this is safe because in the dbscheme StructPat is a subclass of Resolvable
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
#[derive(Debug)]
pub struct Trait {
pub id: trap::TrapId<Trait>,
@@ -10408,87 +10368,6 @@ impl From<trap::Label<TraitAlias>> for trap::Label<Addressable> {
}
}
#[derive(Debug)]
pub struct TupleStructPat {
pub id: trap::TrapId<TupleStructPat>,
pub path: Option<trap::Label<Path>>,
pub fields: Vec<trap::Label<Pat>>,
}
impl trap::TrapEntry for TupleStructPat {
fn extract_id(&mut self) -> trap::TrapId<Self> {
std::mem::replace(&mut self.id, trap::TrapId::Star)
}
fn emit(self, id: trap::Label<Self>, out: &mut trap::Writer) {
out.add_tuple("tuple_struct_pats", vec![id.into()]);
if let Some(v) = self.path {
out.add_tuple("path_ast_node_paths", vec![id.into(), v.into()]);
}
for (i, v) in self.fields.into_iter().enumerate() {
out.add_tuple("tuple_struct_pat_fields", vec![id.into(), i.into(), v.into()]);
}
}
}
impl trap::TrapClass for TupleStructPat {
fn class_name() -> &'static str { "TupleStructPat" }
}
impl From<trap::Label<TupleStructPat>> for trap::Label<Pat> {
fn from(value: trap::Label<TupleStructPat>) -> Self {
// SAFETY: this is safe because in the dbscheme TupleStructPat is a subclass of Pat
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<TupleStructPat>> for trap::Label<AstNode> {
fn from(value: trap::Label<TupleStructPat>) -> Self {
// SAFETY: this is safe because in the dbscheme TupleStructPat is a subclass of AstNode
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<TupleStructPat>> for trap::Label<Locatable> {
fn from(value: trap::Label<TupleStructPat>) -> Self {
// SAFETY: this is safe because in the dbscheme TupleStructPat is a subclass of Locatable
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<TupleStructPat>> for trap::Label<Element> {
fn from(value: trap::Label<TupleStructPat>) -> Self {
// SAFETY: this is safe because in the dbscheme TupleStructPat is a subclass of Element
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<TupleStructPat>> for trap::Label<PathAstNode> {
fn from(value: trap::Label<TupleStructPat>) -> Self {
// SAFETY: this is safe because in the dbscheme TupleStructPat is a subclass of PathAstNode
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
impl From<trap::Label<TupleStructPat>> for trap::Label<Resolvable> {
fn from(value: trap::Label<TupleStructPat>) -> Self {
// SAFETY: this is safe because in the dbscheme TupleStructPat is a subclass of Resolvable
unsafe {
Self::from_untyped(value.as_untyped())
}
}
}
#[derive(Debug)]
pub struct Use {
pub id: trap::TrapId<Use>,

71
rust/ql/.generated.list generated
View File

@@ -103,7 +103,7 @@ lib/codeql/rust/elements/MatchArmList.qll f221c5e344814fa44db06ab897afdc249e8e88
lib/codeql/rust/elements/MatchExpr.qll e9ef1664f020823b6f4bb72d906a9dc0c1ee6432d4a9a13f7dbdbab2b2b1ee4d 38d71e5c487abcb5682293c573343be66e499a6e131bb630604c120d34b7777b
lib/codeql/rust/elements/MatchGuard.qll 58256689a90f24b16401543452c2a32f00d619ddac6c0fe8b65a8cd3e46401bb 8efb2ac03c69a9db687e382331085d7a6cfbf8eca559174ba2727a9549ec7ddd
lib/codeql/rust/elements/Meta.qll b17d7bf605bd0cf4f6d6c6cf4f39a16cfc431d256d45b93663a7569181d36168 815cdfef06231de4b4b1c85e321b8ccb3e22379e5a4e111df9cc9ca6be593841
lib/codeql/rust/elements/MethodCallExpr.qll 318a46ba61e3e4f0d6ce0e8fa9f79ccbbf2d0f3d0638e6813e1bcb44d624715a 35e03ed4beddd75834fcfc4371bd65eaf099053aa23f7f1d1e6bea2e5825aa6e
lib/codeql/rust/elements/MethodCallExpr.qll 91b411e0fb1a0547dcad8726db460dccc61bed972741598d5cb3740593fe75a7 538d23b6db115bb699389d29a1829bb0449c08424a1fff80377828eb7ceb2563
lib/codeql/rust/elements/Missing.qll 70e6ac9790314752849c9888443c98223ccfc93a193998b7ce350b2c6ebe8ea4 e2f0623511acaa76b091f748d417714137a8b94f1f2bdbbd177f1c682c786dad
lib/codeql/rust/elements/Module.qll 0bc85019177709256f8078d9de2a36f62f848d476225bff7bba1e35f249875c7 3fbb70e0c417a644dd0cada2c364c6e6876cfa16f37960e219c87e49c966c94e
lib/codeql/rust/elements/Name.qll af41479d4260fe931d46154dda15484e4733c952b98f0e370106e6e9e8ce398b e188a0d0309dd1b684c0cb88df435b38e306eb94d6b66a2b748e75252f15e095
@@ -120,7 +120,7 @@ lib/codeql/rust/elements/ParenTypeRepr.qll 2388b6c663b2d02c834592c5da5cafac71baa
lib/codeql/rust/elements/ParenthesizedArgList.qll aa3be48d2f8b5cec56db3866fb7d4e0cd97787e9123e2d947912eb8155bf372b 32790971728c9ae2f3d59155d46283aaf4f08238e47bb028a1f20a6d3a734b98
lib/codeql/rust/elements/Pat.qll 56211c5cb4709e7c12a2bfd2da5e413a451672d99e23a8386c08ad0b999fd45c b1b1893a13a75c4f0390f7e2a14ee98a46f067cfdc991a8d43adc82497d20aff
lib/codeql/rust/elements/Path.qll 16264a9c978a3027f623530e386a9ad16541305b252fed5e1bedcfbe1d6475d5 8c21063c7f344ce686342e7c12542fec05004e364681f7a31b65f5ee9263a46d
lib/codeql/rust/elements/PathAstNode.qll c5c8627caaf863089d4d6004e206b2e62bc466db2ed5da9f3f443bf3dc29faf9 01107b1ce17cbee08a764962fb13d3f02edbd10675fa5bd89e089f03075ba443
lib/codeql/rust/elements/PathAstNode.qll 68160b08272ecde0e636779b7c547f808356d69d1150863b37188ea84e110cab cafa2de0bf3be978854319bbcf5ad1591acd64abd7b0958ff14c96a7529fcc99
lib/codeql/rust/elements/PathExpr.qll 0232228845a2005fc63d6b8aea8b49ff50415e0e90fd18f863ee1d6e44f53c07 47b15cc6ae576d13f14b29ffa4620451accc603ff87071dfe48660dbe018bf36
lib/codeql/rust/elements/PathExprBase.qll bb41092ec690ae926e3233c215dcaf1fd8e161b8a6955151949f492e02dba13a b2257072f8062d31c29c63ee1311b07e0d2eb37075f582cfc76bb542ef773198
lib/codeql/rust/elements/PathPat.qll a7069d1dd77ba66814d6c84e135ed2975d7fcf379624079e6a76dc44b5de832e 2294d524b65ab0d038094b2a00f73feb8ab70c8f49fb4d91e9d390073205631d
@@ -134,7 +134,6 @@ lib/codeql/rust/elements/RefExpr.qll 91a0d3a86002289dc01ffbe8daca13e34e92e522fbb
lib/codeql/rust/elements/RefPat.qll fe076bdccb454111b38f360837d180274ba8a003b4cffe910b5197cd74188089 2604c8bb2b0b47091d5fc4aa276de46fe3561e346bd98f291c3783cef402ba06
lib/codeql/rust/elements/RefTypeRepr.qll 563d2edc097aa1896b3dea5a3918e6225f23dda91b3fb46e2f4c32feb813d56c af3bd746239130e3e94dd41ab682473b29b8b900b05c557beb8a2eba6508ebd9
lib/codeql/rust/elements/Rename.qll 5cb0ebad580d9842cfe65033059d4d373a1386f047f3a78f402a93e060e2c13e 642c6f37d94442575df12b2e998572a725d094ac5ae76147a56057e75138d72b
lib/codeql/rust/elements/Resolvable.qll efeec2b4b14d85334ec745b9a0c5aa6f7b9f86fe3caa45b005dccaee4f5265c4 7efe0063340ba61dd31125bc770773ca23a7067893c0d1e06d149da6e9a9ee92
lib/codeql/rust/elements/RestPat.qll 5fedfac18080b068f597c9bbb84de672834f72cc22295d6312e111f151f8e3c7 c0e1f77bfcdd40e8ab06ad8c138e6098d79940247758adf9de03a05b00c23de3
lib/codeql/rust/elements/RetTypeRepr.qll a603393d373f38831dded00878c3299d61fdb977723d3e1038692f7a46bfebc5 583c626f7ae7fb4ec9a9f93f072330c16560ab52c8dfec566c46af40fb9f39f8
lib/codeql/rust/elements/ReturnExpr.qll b87187cff55bc33c8c18558c9b88617179183d1341b322c1cab35ba07167bbdb 892f3a9df2187e745c869e67f33c228ee42754bc9e4f8f4c1718472eb8f8c80f
@@ -368,7 +367,6 @@ lib/codeql/rust/elements/internal/RefTypeReprConstructor.qll 8e7012b456ebf1cc7a2
lib/codeql/rust/elements/internal/RefTypeReprImpl.qll 553dd95e1a49ab7aef5db08e7bb550104c604ec33c9a3c7529370cd47c6a0965 8902db7c814f631c2a995df5911a7b13b6a38c524417e4bbbf2bda74ad53e14c
lib/codeql/rust/elements/internal/RenameConstructor.qll 65fa2e938978d154701e6cac05b56320b176ee014ef5c20a7b66f3e94fd5c4a7 dfc0ff4606b8e1c14003cc93a0811f4d62ec993b07ff3c1aa0776746577ed103
lib/codeql/rust/elements/internal/RenameImpl.qll 61c681055f1f86402af0772539f702e9e19a123f8cfcfca225535c3a1a4cb1d7 1aa1c78616c4b54a31c8af74de141aef9e5ada53f3859df631ecb4238faabdbf
lib/codeql/rust/elements/internal/ResolvableImpl.qll 7d6d02eceef54d588de6204abbcf7a6454916e49180e3db8a72131032cec5837 9c3a28ea0d293b449c69982e3695903a10510096e765a53c1b34ac3ad009a9f4
lib/codeql/rust/elements/internal/RestPatConstructor.qll 45430925ddf08fba70ede44c7f413ddb41b3113c149b7efc276e0c2bf72507b4 25c678898d72446e7a975bb8b7f2fde51e55b59dbd42f2cca997c833b1a995f1
lib/codeql/rust/elements/internal/RetTypeReprConstructor.qll 6dcb56c92a13f5ca2c9a8344bc05638cc611543896c578cd6ca185054f155537 3fe34953ba397dc31533bd28b48df76693e86b51c4a89c26ad4dfdbd816a0874
lib/codeql/rust/elements/internal/RetTypeReprImpl.qll 799e55ffcf27bf6f010419e1d61ebbbf3448e37b903b0f13984d0b44d6b7a999 be774bb09d121c35f40c75d5bee08918e7a6b5fccb4fd573fc55a650466b46e0
@@ -454,7 +452,7 @@ lib/codeql/rust/elements/internal/YeetExprImpl.qll e8924147c3ebe0c32d04c5b33edfd
lib/codeql/rust/elements/internal/YieldExprConstructor.qll 8cbfa6405acb151ee31ccc7c89336948a597d783e8890e5c3e53853850871712 966f685eb6b9063bc359213323d3ff760b536158ecd17608e7618a3e9adf475f
lib/codeql/rust/elements/internal/YieldExprImpl.qll af184649a348ddd0be16dee9daae307240bf123ace09243950342e9d71ededd9 17df90f67dd51623e8a5715b344ccd8740c8fc415af092469f801b99caacb70d
lib/codeql/rust/elements/internal/generated/Abi.qll f5a22afe5596c261b4409395056ce3227b25d67602d51d0b72734d870f614df3 06d1c242ccd31f1cc90212823077e1a7a9e93cd3771a14ebe2f0659c979f3dd1
lib/codeql/rust/elements/internal/generated/Addressable.qll 96a8b45166dd035b8d2c6d36b8b67019f2d4d0b4ccff6d492677c0c87197613e d8f1ce29feafc8ff7179399fc7eac5db031a7e1a8bc6b2cd75cfce1da3132e9b
lib/codeql/rust/elements/internal/generated/Addressable.qll 624c380d385af6563885417d1e8ecd5d9b7abf1435c0ab79a1b9a405387874a3 e2755dc2155d6f2bc0e2d54006da0e62ee359440592db9d6a8b73202ef28e64f
lib/codeql/rust/elements/internal/generated/Adt.qll 155f4025a26c3d2d5d3c42dfce9274a10f0862ea0574843c5d276179de421569 17138b271eea81d3ee2697c82cccfd7af752cd18cd925dd5fa20d7fce0e2432f
lib/codeql/rust/elements/internal/generated/ArgList.qll e41f48258082876a8ceac9107209d94fdd00a62d2e4c632987a01a8394c4aff6 bf1982d14f8cd55fa0c3da2c6aab56fc73b15a3572ffc72d9a94f2c860f8f3b7
lib/codeql/rust/elements/internal/generated/ArrayExpr.qll 73806a0de8168b38a9436fa6b8c6d68c92eeab3d64a1ae7edfff82f871929992 7ad998cdd8f4fed226473517ad7a5765cb35608033047aad53bf8aa3969fd03b
@@ -559,7 +557,7 @@ lib/codeql/rust/elements/internal/generated/MatchArmList.qll 12d969ecb267a749918
lib/codeql/rust/elements/internal/generated/MatchExpr.qll b686842e7000fd61e3a0598bf245fb4e18167b99eca9162fdfdff0b0963def22 00f1743b1b0f1a92c5a687f5260fda02d80cc5871694cad0d5e7d94bac7fe977
lib/codeql/rust/elements/internal/generated/MatchGuard.qll 58fa1d6979ef22de2bd68574c7ffcf4a021d7543445f68834d879ff8cee3abcb 072f22a7929df3c0e764b2a770b4cdf03504b3053067d9b9008d6655fb5837e1
lib/codeql/rust/elements/internal/generated/Meta.qll 15e98e8d38f5618b7053057a629b135aae5e105fbf72731833a644fb695244c0 2977b6a0781c89383e87c595b14a39851f27b2508296f3e77466eea44c916188
lib/codeql/rust/elements/internal/generated/MethodCallExpr.qll 816267f27f990d655f1ef2304eb73a9468935ffbfddd908773a77fa3860bb970 adda2574300a169a13ea9e33af05c804bf00868d3e8930f0f78d6a8722ad688d
lib/codeql/rust/elements/internal/generated/MethodCallExpr.qll 0cd0f84147e5f3887d609cc58246eb493d3461aee00ff37e7d26282c835f73af 6f4c5dc1decbce54fc12300d34798b890a85129208b25565130205c9d8ee2e29
lib/codeql/rust/elements/internal/generated/Missing.qll 16735d91df04a4e1ae52fae25db5f59a044e540755734bbab46b5fbb0fe6b0bd 28ca4e49fb7e6b4734be2f2f69e7c224c570344cc160ef80c5a5cd413e750dad
lib/codeql/rust/elements/internal/generated/Module.qll ebae5d8963c9fd569c0fbad1d7770abd3fd2479437f236cbce0505ba9f9af52c fa3c382115fed18a26f1a755d8749a201b9489f82c09448a88fb8e9e1435fe5f
lib/codeql/rust/elements/internal/generated/Name.qll e6bd6240a051383a52b21ab539bc204ce7bcd51a1a4379e497dff008d4eef5b4 578a3b45e70f519d57b3e3a3450f6272716c849940daee49889717c7aaa85fc9
@@ -574,11 +572,11 @@ lib/codeql/rust/elements/internal/generated/ParamList.qll eaa0cd4402d3665013d47e
lib/codeql/rust/elements/internal/generated/ParenExpr.qll 812d2ff65079277f39f15c084657a955a960a7c1c0e96dd60472a58d56b945eb eb8c607f43e1fcbb41f37a10de203a1db806690e10ff4f04d48ed874189cb0eb
lib/codeql/rust/elements/internal/generated/ParenPat.qll 24f9dc7fce75827d6fddb856cd48f80168143151b27295c0bab6db5a06567a09 ebadbc6f5498e9ed754b39893ce0763840409a0721036a25b56e1ead7dcc09aa
lib/codeql/rust/elements/internal/generated/ParenTypeRepr.qll 03f5c5b96a37adeb845352d7fcea3e098da9050e534972d14ac0f70d60a2d776 ed3d6e5d02086523087adebce4e89e35461eb95f2a66d1d4100fe23fc691b126
lib/codeql/rust/elements/internal/generated/ParentChild.qll d43d7486ed04a3930fa476694fc74d972f4413992968de425573ccf823343c87 3d4245aee40a38bff658f2c0cb220d5276ae751194c5b728b65054ec98c841e4
lib/codeql/rust/elements/internal/generated/ParentChild.qll 7d67059559590954faf55aab56885fedc7b7a63a37b7a871b19204c42d493a4d 04ad386fd2b4e5d0150887aad97cf3ed8406391c8bc95dd2de29eb29a2ac0b6e
lib/codeql/rust/elements/internal/generated/ParenthesizedArgList.qll d901fdc8142a5b8847cc98fc2afcfd16428b8ace4fbffb457e761b5fd3901a77 5dbb0aea5a13f937da666ccb042494af8f11e776ade1459d16b70a4dd193f9fb
lib/codeql/rust/elements/internal/generated/Pat.qll 3605ac062be2f294ee73336e9669027b8b655f4ad55660e1eab35266275154ee 7f9400db2884d336dd1d21df2a8093759c2a110be9bf6482ce8e80ae0fd74ed4
lib/codeql/rust/elements/internal/generated/Path.qll 9b12afb46fc5a9ad3a811b05472621bbecccb900c47504feb7f29d96b28421ca bcacbffc36fb3e0c9b26523b5963af0ffa9fd6b19f00a2a31bdb2316071546bd
lib/codeql/rust/elements/internal/generated/PathAstNode.qll e6d4d5bffd3c623baaaee46bc183eb31ce88795535f164f6a9b9b4d98bbd6101 168db515404933479ba6b150c72e012d28592cbc32366aefcb1bf9599dbcd183
lib/codeql/rust/elements/internal/generated/PathAstNode.qll b02654422f80e398027069135bb01205358f0ab82ded3408d83d066f300996a3 345e7f92a75bfc71657b223602f60c36f7637d6f2e3798f07e2d2926eea2431b
lib/codeql/rust/elements/internal/generated/PathExpr.qll 34ebad4d062ce8b7e517f2ab09d52745fb8455203f4a936df7284ad296638387 ba66781cdbdeb89c27a4bfb2be0f27f85fb34978d699b4e343446fb0d7ad2aa6
lib/codeql/rust/elements/internal/generated/PathExprBase.qll d8218e201b8557fa6d9ca2c30b764e5ad9a04a2e4fb695cc7219bbd7636a6ac2 4ef178426d7095a156f4f8c459b4d16f63abc64336cb50a6cf883a5f7ee09113
lib/codeql/rust/elements/internal/generated/PathPat.qll 003d10a4d18681da67c7b20fcb16b15047cf9cc4b1723e7674ef74e40589cc5a 955e66f6d317ca5562ad1b5b13e1cd230c29e2538b8e86f072795b0fdd8a1c66
@@ -589,12 +587,11 @@ lib/codeql/rust/elements/internal/generated/PtrTypeRepr.qll 8d0ea4f6c7f8203340bf
lib/codeql/rust/elements/internal/generated/PureSynthConstructors.qll e5b8e69519012bbaae29dcb82d53f7f7ecce368c0358ec27ef6180b228a0057f e5b8e69519012bbaae29dcb82d53f7f7ecce368c0358ec27ef6180b228a0057f
lib/codeql/rust/elements/internal/generated/RangeExpr.qll 23cca03bf43535f33b22a38894f70d669787be4e4f5b8fe5c8f7b964d30e9027 18624cef6c6b679eeace2a98737e472432e0ead354cca02192b4d45330f047c9
lib/codeql/rust/elements/internal/generated/RangePat.qll 80826a6a6868a803aa2372e31c52a03e1811a3f1f2abdb469f91ca0bfdd9ecb6 34ee1e208c1690cba505dff2c588837c0cd91e185e2a87d1fe673191962276a9
lib/codeql/rust/elements/internal/generated/Raw.qll a608725b53de8509b1b5f2a29e1636bda2e6baaa5d4218397f690f43f3c89011 6c09465d83f71e9e54917f2d4436eeb865c9abaf7a941e8a8cfc2faf29c794f4
lib/codeql/rust/elements/internal/generated/Raw.qll 53fc373ce72ac66e58c68f27e90f627f190590d226602f55b38827422aa1c78a 958aaf7f788fe126de27610203a87cf9fdd8a02f2d2e2dd77e69a7b8fef5db55
lib/codeql/rust/elements/internal/generated/RefExpr.qll 7d995884e3dc1c25fc719f5d7253179344d63650e217e9ff6530285fe7a57f64 f2c3c12551deea4964b66553fb9b6423ee16fec53bd63db4796191aa60dc6c66
lib/codeql/rust/elements/internal/generated/RefPat.qll 456ede39837463ee22a630ec7ab6c8630d3664a8ea206fcc6e4f199e92fa564c 5622062765f32930465ba6b170e986706f159f6070f48adee3c20e24e8df4e05
lib/codeql/rust/elements/internal/generated/RefTypeRepr.qll 5b0663a6d234572fb3e467e276d019415caa95ef006438cc59b7af4e1783161e 0e27c8a8f0e323c0e4d6db01fca821bf07c0864d293cdf96fa891b10820c1e4b
lib/codeql/rust/elements/internal/generated/Rename.qll 53dd50d35aa38cb6eb4174c94e8e23042b42bdc4f38df009489ebf707380483b db14fbce0d95b4dae3d7512f9bdee92e0dc2dffde5ba5d7458f2f5dd632876b0
lib/codeql/rust/elements/internal/generated/Resolvable.qll 586eefb01794220679c3b5d69c059d50c2238cf78ab33efe7185bbd07dea8dbd 1b7c7297d541b9de9e881d18fed4ae40dd327396366a3a6f52a24b85685fa9c1
lib/codeql/rust/elements/internal/generated/RestPat.qll 369f5828bb78f2856d528679a9869f81859b375c2f831ff72f4507daaee976e3 17f24ce8aa6a27359c10a654667b7877ca7a1509509e2ab246ed26fe15ef66b4
lib/codeql/rust/elements/internal/generated/RetTypeRepr.qll 7e782d6ca346fd4057e95a6eefe796e3fba7eef62144a0df78e2d115a7ae9ba9 d5da144e06d180673fa7ce274c5e7e2ca2db12b064df1155bc56f2f9378b58b4
lib/codeql/rust/elements/internal/generated/ReturnExpr.qll c9c05400d326cd8e0da11c3bfa524daa08b2579ecaee80e468076e5dd7911d56 e7694926727220f46a7617b6ca336767450e359c6fa3782e82b1e21d85d37268
@@ -615,7 +612,7 @@ lib/codeql/rust/elements/internal/generated/StructFieldList.qll 5da528a51a6a5db9
lib/codeql/rust/elements/internal/generated/StructPat.qll c76fa005c2fd0448a8803233e1e8818c4123301eb66ac5cf69d0b9eaafc61e98 6e0dffccdce24bca20e87d5ba0f0995c9a1ae8983283e71e7dbfcf6fffc67a58
lib/codeql/rust/elements/internal/generated/StructPatField.qll 5b5c7302dbc4a902ca8e69ff31875c867e295a16a626ba3cef29cd0aa248f179 4e192a0df79947f5cb0d47fdbbba7986137a6a40a1be92ae119873e2fad67edf
lib/codeql/rust/elements/internal/generated/StructPatFieldList.qll 1a95a1bd9f64fb18e9571657cf2d02a8b13c747048a1f0f74baf31b91f0392ad fc274e414ff4ed54386046505920de92755ad0b4d39a7523cdffa4830bd53b37
lib/codeql/rust/elements/internal/generated/Synth.qll e1f47da257976aa7689461ee3ea9022fc0d27494a556f14f1086f8149b885d5c 59b979f378be6ce75ecfd3430887bff747c273d1536c686f90def9e6c4ed2c12
lib/codeql/rust/elements/internal/generated/Synth.qll 4c741d502d21d449c4e01010776f767c69b408c80ce7d10784b599463bcfd0e3 c76b8628663c126914ead897c779ce782294e9109125d61de958e0eee543abce
lib/codeql/rust/elements/internal/generated/SynthConstructors.qll f41abfc73415b7accb38da7c107faebfe6843c270ad54e0e54a96e930dfe479a f41abfc73415b7accb38da7c107faebfe6843c270ad54e0e54a96e930dfe479a
lib/codeql/rust/elements/internal/generated/Token.qll 77a91a25ca5669703cf3a4353b591cef4d72caa6b0b9db07bb9e005d69c848d1 2fdffc4882ed3a6ca9ac6d1fb5f1ac5a471ca703e2ffdc642885fa558d6e373b
lib/codeql/rust/elements/internal/generated/TokenTree.qll 1a3c4f5f30659738641abdd28cb793dab3cfde484196b59656fc0a2767e53511 de2ebb210c7759ef7a6f7ee9f805e1cac879221287281775fc80ba34a5492edf
@@ -652,7 +649,7 @@ lib/codeql/rust/elements/internal/generated/WhileExpr.qll 0353aab87c49569e1fbf58
lib/codeql/rust/elements/internal/generated/WildcardPat.qll d74b70b57a0a66bfae017a329352a5b27a6b9e73dd5521d627f680e810c6c59e 4b913b548ba27ff3c82fcd32cf996ff329cb57d176d3bebd0fcef394486ea499
lib/codeql/rust/elements/internal/generated/YeetExpr.qll cac328200872a35337b4bcb15c851afb4743f82c080f9738d295571eb01d7392 94af734eea08129b587fed849b643e7572800e8330c0b57d727d41abda47930b
lib/codeql/rust/elements/internal/generated/YieldExpr.qll 37e5f0c1e373a22bbc53d8b7f2c0e1f476e5be5080b8437c5e964f4e83fad79a 4a9a68643401637bf48e5c2b2f74a6bf0ddcb4ff76f6bffb61d436b685621e85
lib/codeql/rust/elements.qll 49df59c1b9574135b6ff2b0480b645f7303e81df042714b22b1070351d0076b9 49df59c1b9574135b6ff2b0480b645f7303e81df042714b22b1070351d0076b9
lib/codeql/rust/elements.qll d3beb3a35f2b5ea47d60aeefd86fb0d6406dd0a1b7cd89aecbb2732b4e72da38 d3beb3a35f2b5ea47d60aeefd86fb0d6406dd0a1b7cd89aecbb2732b4e72da38
test/extractor-tests/generated/Abi/Abi.ql 086ed104ab1a7e7fe5c1ed29e03f1719a797c7096c738868bf6ebe872ab8fdaa fe23fe67ab0d9201e1177ea3f844b18ed428e13e3ce77381bf2b6910adfa3a0e
test/extractor-tests/generated/ArgList/ArgList.ql da97b5b25418b2aa8cb8df793f48870c89fa00759cdade8ddba60d7f1f4bbc01 acfd5d2caf67282ad2d57b961068472100482d0f770a52a3c00214c647d18c75
test/extractor-tests/generated/ArrayListExpr/ArrayListExpr.ql 42b365276aa43e2cad588338463542d3ce1dd0db3a428621554584b07a1431d5 08a66a8b69af35ee3bc64c35c453a19a6c9881cc6cc7e65275d1fff056121270
@@ -661,7 +658,7 @@ test/extractor-tests/generated/ArrayTypeRepr/ArrayTypeRepr.ql b262300235ab5bf4fe
test/extractor-tests/generated/AsmClobberAbi/AsmClobberAbi.ql adfcfcdc6ac2a9a4849ea592e37da4221b6279cf2ea1112d32b6c89fda33e85e 7438490536e27b7173dec731f6925531a0e3fa839639c97a53905ba72d7efbe5
test/extractor-tests/generated/AsmConst/AsmConst.ql 82f322fc8a01f4ccc86b3ecca86a9515313120764c6a3ac00b968e4441625422 62831f204c5c2d0f155152c661f9b5d4a4b685df6e40693106fbef0379378981
test/extractor-tests/generated/AsmDirSpec/AsmDirSpec.ql 518a739c91481f67b27bfd1989d9dcbada12de54901eb6d598c896cd72f1f5fe 4567661eecf475fb05e13749b9250bcec51056b6db5a6ae7df24b7ba5cfb88c2
test/extractor-tests/generated/AsmExpr/AsmExpr.ql 2ecffe80979c6b49ec84466c913ef6424e0b1f61cf8a8d6f68ac24744a08eb0e 0bd5ee2a93d75c4daa1698613b5d5a462341d53b99e3da8af81ad51fa15a7f7e
test/extractor-tests/generated/AsmExpr/AsmExpr.ql 817faad3ea0b9da9a12026a8cfd91a0363595ce594fc5bc6ac43b112f911b2cd f0d5866dec3474f13fc85686aeb63e2fa8079b8f2774f0185959be00314eff87
test/extractor-tests/generated/AsmLabel/AsmLabel.ql 130bf49dc1f5ae79e3588415b9a4c25dfdcbcac1884db9b2fb802a68e33180e5 c087e47d8953d312488fcc0b1bcbfca02521e3683e2063eaf380d76399bca037
test/extractor-tests/generated/AsmOperandExpr/AsmOperandExpr.ql e866fd4715e78511352bb286c1120cbd52c4d960664d57dd99f0380eb1db7109 081d6a6267a3e251a123099b4c1e7d3c5a3b56e0efe9db7c7db24db1c08b7e0d
test/extractor-tests/generated/AsmOperandNamed/AsmOperandNamed.ql fb1eb1f275ad251ba2e0876cf1d097bb33f20d06b0e50f8c01f7c11c71057688 e308567ffd18671cf172853a5c594f0f211d492c7e2fb58be412703d1b342b41
@@ -682,17 +679,17 @@ test/extractor-tests/generated/CallExpr/CallExpr.ql 2a1cd4485ccd8d4eb24a75889e83
test/extractor-tests/generated/CastExpr/CastExpr.ql 3480ec51072399409b7553ab6139c832db6ed4ca991f3a7a2282a39afe07c6f2 614c8ea7a2fe30d57583dbf84ed7a12743c2aba49d8c6252d31af3ed10853a39
test/extractor-tests/generated/ClosureExpr/ClosureExpr.ql f9002cc327769edff05ae428d0c01ba80e18a217057d4d2c3a31eb24ab659ed6 8af2986890d0f3dd77c72023d992d5e587c9922b6f3ea378a6e268a51cfbbda5
test/extractor-tests/generated/Comment/Comment.ql 0e0454911d2cf2e7ef5c6d860b84c57b9d490090914ebcf4fa0e8a70f777f066 cbd1c195276ef163f8d3c122344738c884dc9fb70eb2f9b7067829d735d48c4c
test/extractor-tests/generated/Const/Const.ql 28a0f2debbf73ae867fc2d08d8e54d9e96fea69522b7180a48495c9b7fce9367 54d4a68a2b67db95ceb856535a8b27860ce2b502da17a7eeea3bb554d7fb5e43
test/extractor-tests/generated/Const/Const.ql 97797a56743b519c1990682ccb22af6d997ed5eea1e280b52ad31b16a5836f9e e5289ebcb71a25b7ac0a7e1aa0111e4f3ec83d26b7f83e819509c9b9d756921d
test/extractor-tests/generated/ConstArg/ConstArg.ql 21c7caf1939ff9fcc1bf0fe6dec5c6a6929f714cf1e17faf7a2f4a31c910194b 61eac00f4727f7269f926c53f53a62b5fae82ce7a02b42d23b9de6337b6f9d6e
test/extractor-tests/generated/ConstBlockPat/ConstBlockPat.ql e2198f9ef913f7ecb9e96a4e5e4849737b664dbdf1ef67428d372ea1c29bbb35 c49aaaafd65c4dfadd1fae42a2078dba90bbd3fa1bcb09b88501c5085ab22c49
test/extractor-tests/generated/ConstParam/ConstParam.ql 6facb2402e1cbf23d836f619ef68e2d8496b3c0c438e71266de24d8690852468 211ed6f7384f86d849f559410b2ac09da3df278bdeea9e77c4d9c26a727a6990
test/extractor-tests/generated/ContinueExpr/ContinueExpr.ql 58b5046a4da06a4cd2d942720603313126888b2249b218bef6f7c44ca469ccfa eeb84a04deb4c4496b7f9b38798cc7fdc179a486c8beaa0b33bf87e7f9482b1a
test/extractor-tests/generated/Crate/MISSING_SOURCE.txt b6cf5771fdbbe981aeb3f443ec7a40517b6e99ffc9817fd8872c2e344240dae1 b6cf5771fdbbe981aeb3f443ec7a40517b6e99ffc9817fd8872c2e344240dae1
test/extractor-tests/generated/DynTraitTypeRepr/DynTraitTypeRepr.ql ff54195d2e09424faaac4e145a40208bf0e57acc57dfa8247b3751862a317c4b 583d5b98aa31a9af6ad73df000ca529f57f67aa6daaa50ca5673a56eb57bf507
test/extractor-tests/generated/Enum/Enum.ql 11b8b502f0e79e0447a3d014616798448130ec5d686b5b12e0db687786065f4f 5ea58a9b57ece63253a82599c096ebbbd0a3c4ad136ca20662f47a4bafd2df41
test/extractor-tests/generated/Enum/Enum.ql 64ed7f25aaf5eff67687cd3aa2690017fb6f9651c959aed7b655d486be0e0c5b 1df131d8e12c4594715ed31191e960792c21727b403dce59207c514671e88d62
test/extractor-tests/generated/ExprStmt/ExprStmt.ql 7c62a97f7f910ae6e0e9aff7fdd78b369d21257ccab52afe6307ddea2e15dad1 2d32a366c4acbea3136ff1f9f9dadf76b148f82ad1d7170f02efd977d8a07ae9
test/extractor-tests/generated/ExternBlock/ExternBlock.ql ceb04a9596c73dc2e750ce1950cefcf0b5fffd1ab7dc3e723e4a6500b3ef3ab2 4f6ab037d307ff351a9e48c37b47b8f8f25de5f3d5ecb78cb8c39d7275751d29
test/extractor-tests/generated/ExternCrate/ExternCrate.ql 7cd54aa65300453fc031e69fde24466d01cdfb8ba73e24e4d134fbd3847b15a8 6a6fdeaee88c74caf7345dc8b85f326032eb27e63aa63a6ed883256e4da86d3b
test/extractor-tests/generated/ExternBlock/ExternBlock.ql b61e37f1c387bc91be127b5425089f9f1d687f4f1708cad334c0bb00dba5bae3 dc03f0f0912b2cfbce74c3bc31d261cdbea740847212ac3472ecf719d8eb71f7
test/extractor-tests/generated/ExternCrate/ExternCrate.ql 55d2d9d32cb5e894cc2ee5242d688aaa8428ba7757cccea67d1c064db6de2514 46a2c57660a42ee6eaa532b0c86f4cc2d3de795c33ee7cadbff650bd0f23206b
test/extractor-tests/generated/ExternItemList/ExternItemList.ql 7f4d538d8878a0166b1868f391abf34df1d5e986a7a2e9ceaddb36d95bc7f46c 37072596f5a1e28ad98cc87dbfed00afadd83fa007f03d5b17d4dee8922b100f
test/extractor-tests/generated/FieldExpr/FieldExpr.ql 2a04baaf57a22b65bd5b9e142e59cc2b7d3dd3174910ddc0c2510094f2dd32b1 d8e4fb4384aade1770c907d16795a4af9884051390a5a05935ad4b4df2e757a0
test/extractor-tests/generated/FnPtrTypeRepr/FnPtrTypeRepr.ql 1501730f1e02e9d22b07b18bb42a5372e1d327bda62bdc81d75f9966946cb97d 28625f0b7ee4d7ab37fc13206585961e89a5e509a93215c16136d2382418b7af
@@ -704,12 +701,12 @@ test/extractor-tests/generated/FormatArgsExpr/FormatArgsArg.ql 5abcb565dcd2822e2
test/extractor-tests/generated/FormatArgsExpr/FormatArgsExpr.ql 243c2f9d830f1eae915749e81ac78d3c140280385b0002d10fcc4d2feaf14711 72b90a99a8b1c16baf1e254e1e3463c3ce5409624a2a90829122717d4e5a2b74
test/extractor-tests/generated/FormatArgsExpr/FormatArgument.ql 0a345eb48dba8e535d12a00e88008e71b3ce692fbf8f9686c8885e158635dffe eab1f230fd572474a3f304f97d05bbf4a004c52773aaf2d34f999192244c0b80
test/extractor-tests/generated/FormatArgsExpr/FormatTemplateVariableAccess.ql 24108cdc54feb77c24bb7894744e36e374f0c03d46d6e6c3fcb2012b1ad117f6 05a6b6f51029ee1a15039aa9d738bb1fd7145148f1aad790198fba832572c719
test/extractor-tests/generated/Function/Function.ql 3a30225887bd7d6fbcd6dda1c946683a2b0e289f45bc8a8fe832abe662024d4e 225475fa02be09a1b0c0fcd56a003b026b3ac938f591a47e8fbead4873b2b202
test/extractor-tests/generated/Function/Function.ql 061b34449c170b0fe50bbf8fe7b47f7ffc30d119c2479b906cb233f4dff9f006 5bc406906ea1537ee8ae299e29a1fbfa197c5920f97ff87f2c82b555c739de82
test/extractor-tests/generated/GenericArgList/GenericArgList.ql 9bd6873e56a381a693fed0f595d60d973d0073ba7afa303750d5c6a0b887a811 0b373079f65aa91cacabfc9729c91215082a915197eb657b66bcdb3b6d5e7e53
test/extractor-tests/generated/GenericParamList/GenericParamList.ql 206f270690f5c142777d43cf87b65d6dda5ec9f3953c17ee943fe3d0e7b7761c 38a6e0bbca916778f85b106609df6d5929baed006d55811ec0d71c75fe137e92
test/extractor-tests/generated/IdentPat/IdentPat.ql 23006eddf0ca1188e11ba5ee25ad62a83157b83e0b99119bf924c7f74fd8e70d 6e572f48f607f0ced309113304019ccc0a828f6ddd71e818369504dcf832a0b5
test/extractor-tests/generated/IfExpr/IfExpr.ql 540b21838ad3e1ed879b66c1903eb8517d280f99babcbf3c5307c278db42f003 a6f84a7588ce7587936f24375518a365c571210844b99cb614596e14dd5e4dfd
test/extractor-tests/generated/Impl/Impl.ql 6db0831b8b6bbb0168a63b49aae27022546256c19cc9b36d7fdebbea6a51f2f3 4d2e6b46a9a9397e6da6a58fcea6e75c5b5df37360cdfb2d6d477140c3958fb7
test/extractor-tests/generated/Impl/Impl.ql a36ea392729a6be3ee0cc0d8871b3682cf8f0c15fb657d4d35f2ca76eeef3a74 1fa345ca3b4c16c740b5684c7fdaf1116d52c2932287703b33143a08e4d7d38e
test/extractor-tests/generated/ImplTraitTypeRepr/ImplTraitTypeRepr.ql 311c6c1e18bd74fbcd367f940d2cf91777eaba6b3d6307149beb529216d086fb 16c7c81618d7f49da30b4f026dcacfb23ed130dbfcfa19b5cb44dc6e15101401
test/extractor-tests/generated/IndexExpr/IndexExpr.ql ecfca80175a78b633bf41684a0f8f5eebe0b8a23f8de9ff27142936687711263 27d4832911f7272376a199550d57d8488e75e0eeeeb7abbfb3b135350a30d277
test/extractor-tests/generated/InferTypeRepr/InferTypeRepr.ql 6ba01a9e229e7dfdb2878a0bdbeb6c0888c4a068984b820e7a48d4b84995daa2 7120cafd267e956dbb4af5e19d57237275d334ffe5ff0fb635d65d309381aa46
@@ -725,20 +722,20 @@ test/extractor-tests/generated/LiteralExpr/LiteralExpr.ql 00570642966d233a10ec31
test/extractor-tests/generated/LiteralPat/LiteralPat.ql 863d4902e7e22de3176398cbb908e6f5f487b3d22c0f9f7a5498a1ebc112c0fd 47e3f70c5c32f17050d3ca8c8b42d94ecd38e378627880d8100b7ca182cfa793
test/extractor-tests/generated/LoopExpr/LoopExpr.ql a178e25f63b4d517482ec63e5dfb6903dd41dadd8db39be2dd2a831e8456811f f34165f78179960cc7e5876dac26a1d0f6f67933eff9a015b92ca0e2872b63e8
test/extractor-tests/generated/MacroBlockExpr/MacroBlockExpr.ql 936920b5b609b1e62b201004055bbce449d2d7c1f8016f57d9b27d3ea8107f07 21493009ed3b1810aa4fd8af4d8c7b7794982da032dfb6b7e9048445d651eecb
test/extractor-tests/generated/MacroCall/MacroCall.ql f98017f6070e2a5e4b191d5380cc0491d7358c456e8459b313235e44eb368794 437129210d9b7f6850adf4d2c8ef7d0644193418645d631b8edf229656fc57ac
test/extractor-tests/generated/MacroDef/MacroDef.ql 9e3647a92713d32f87e876f37d703081855ea88a7a3104757f90bd94eb382fa9 b50e9797c1b8ea5491267ddb6778862f0541617ee60bd8e167cc23a499e36733
test/extractor-tests/generated/MacroCall/MacroCall.ql 28abee68c0681334e4ffd412f1b9b9b0fe844a6ae6c915ec18ea186b4766f58e c8c73902827d69a4b903ab3028408086b64b9f5d9a4da97620a2100f45ceaf69
test/extractor-tests/generated/MacroDef/MacroDef.ql edcdd65706641c2827cac546091a99e0a1473ff8d383efd968023db411591197 b7832c67c6dd32e9e5ecfa4b6256e7cd820f55d49c44458a140cbf4d46542eb3
test/extractor-tests/generated/MacroExpr/MacroExpr.ql 83fadb88fd8f913bb1b1cda26d21b173bdc94bb6682a74eaddce650ebf72aa41 1c502cde6a95ec637e43d348c613be3dec4092b69d2c8692abdc5a9377e37f5f
test/extractor-tests/generated/MacroItems/MacroItems.ql 0f8c1d134a28b80c70d5fff7c120f17350f6116689fdd7f67bdbfbaa0302c224 9f0594aa6d96c4f368d6c6521d0b58ab456611842afbfd040cb84f8858241677
test/extractor-tests/generated/MacroPat/MacroPat.ql 71f65d80e670ec43db768693b8d44d627278a69e938517dc9068c76785ffd102 b1577dd669cafa9cf97aa998a7f30ac4a94aff129787a2d5a1cdac553fd56397
test/extractor-tests/generated/MacroRules/MacroRules.ql d97daa29929a5bc4e25e65755c1929f9854beb1d2a183579a1ebec1d4b346dca 8b81026fa36152d870f91981a020ed0fa06cae0380d4e8d9496fea12a95b0326
test/extractor-tests/generated/MacroRules/MacroRules.ql 9a6d5d9ec6cc77dd2f893e5315910c73f2ae2fc418b4a3a172799a16fefea456 413c8005e02dc1d79e6710e7dfc184cfa0e6bfb34d172b6b97bd7fa81ccd2594
test/extractor-tests/generated/MacroTypeRepr/MacroTypeRepr.ql ebe8451a9256c9d7e77749beca88d0fd5ab73c76404bed4ff6e0c75f126159cc 72dd6d5ca4133e318fd51bb9007519b938e618cd4ef27bfe52b9c8c8cbd484ea
test/extractor-tests/generated/MatchArm/MatchArm.ql 704976bd48e56a0a2fce7c2d9454b6cd24b1bf924633702ebcd71d8521b9b171 7c2bb501002c997a680c69b6d0856da13868125913e726f1a12b97907f32064a
test/extractor-tests/generated/MatchArmList/MatchArmList.ql bbc679fe6d8dedf9131d0fa5faa7b44c138c5f56b9cf3cb209fd3ccd614b689c 916c53a2b68646b52f2d28eca2a19218ba9d12eb8edf7c6cc4140dace1bf4e0d
test/extractor-tests/generated/MatchExpr/MatchExpr.ql b75a5936401bb5ca38686f1413f5c8267ad685722560a2e9041dacf2f8d54abc 7da57118fe5b1f7f5cbe8d6b5f3ae70816fd4837b1c2e6401b98175b36ca233f
test/extractor-tests/generated/MatchGuard/MatchGuard.ql 91de18a0a18d120db568b2c329e5cb26f83e327cf22c5825c555ea17249d7d23 0bcdb25895362128517227c860b9dad76851215c2cdf9b2d0e5cc3534278f4ec
test/extractor-tests/generated/Meta/Meta.ql 43dd1cd669099b38396b316616992af6d84b0c1cee953b19235a00ab3d3bb43c 80b1885809aa074357e21707d1f8c6dca19f0b968ccff43229bb0d5c6fffb2b2
test/extractor-tests/generated/MethodCallExpr/MethodCallExpr.ql 617bc809816dc3cc1de1c0b49c494568164fe2a048472f4cce1b83f0a1f54a42 1b323e0b1812dbfdd78ee58798353e20326a3ca7529f52d5c984d1d92889a65f
test/extractor-tests/generated/Module/Module.ql 4e154af13f19ee06e88ce8ff85e143bf6ddde798b2ec6fecebf43b8015211087 78f91c2827883ea7ed1f546de80d0909f4ac57b06027439f07dcdc0a09d7888d
test/extractor-tests/generated/MethodCallExpr/MethodCallExpr.ql 05ca29fdab8ce600469728b964c369368e5097b2a5eb35b84a7630ef044ac6b6 aa45fdbb7fba8afee9f6cef10d337622429d3f0fb71f7fbf861afb4906bdef71
test/extractor-tests/generated/Module/Module.ql d7c442fd1b1f4f00da87e2228fc1aeeab0bb86648b2aa06a9dd6f40dbae1ee28 3229388727d14048e87238bcda5fde1bed503e5cac088922381e5833cfc32fa9
test/extractor-tests/generated/Name/Name.ql b2fe417f7c816f71d12622b4f84ece74eba3c128c806266a55b53f8120fa4fb3 8bc65bbf3f2909637485f5db7830d6fc110a94c9b12eefe12d7627f41eae2256
test/extractor-tests/generated/NameRef/NameRef.ql 210a70e0957f3444195eed3a3dfbb5806e349238c0b390dc00597e6b8b05fcec d74fbce3c71aa7b08ae4cb646ccb114335767cb4fe000322f9dd371c1bb3784f
test/extractor-tests/generated/NeverTypeRepr/NeverTypeRepr.ql 4e73ec96fccb00fe241546ff12c47329a9c67b7ae40a58a5afa39ecb611b84d4 bb716f72db039e0a82de959e390259a82cf99ba4482070602b7b6b42511976e5
@@ -751,8 +748,8 @@ test/extractor-tests/generated/ParenPat/ParenPat.ql 50f99c6a7e5e2f76dc5bbc10a6b2
test/extractor-tests/generated/ParenTypeRepr/ParenTypeRepr.ql 86a45a9f9696a55562a7125f08297bcd50b368225a13cd31b6e9eb4071d04e13 53c0b8c4f453a748c9534220960c6ce8c52bd7501cf1d1f74e3928fc6512667c
test/extractor-tests/generated/ParenthesizedArgList/ParenthesizedArgList.ql 6d0e3f7cbcc835f2a5784ccb09b0d65c2bb063c1904edded2e7fc8c9fb57c4fa e41c898b8b0d61078e0d76c6e2e141251dca71f79ad5fa119c012220c54cc409
test/extractor-tests/generated/Path/Path.ql 0f6b63c723da7f140411c8e9a4bb9fbe043a997a1748a4a491add4bd6e81fd6e 5081db5bd590b72780c3c8032532e65b5d453c327c8771da6b87c10e30071523
test/extractor-tests/generated/Path/PathExpr.ql 2b032a00d8f5570b34f44bdb4209f199f821e093011472b5c686918a063442a5 9f10b1e38863da09365fc45f749578dde74bbb64d35972fa34b83e6814f0004a
test/extractor-tests/generated/Path/PathPat.ql 8d8053588dba1f35fff3bb89eb66f1534f637cf3b56338a6f3c19d748db7e1ca d7405ca5bf3bfa6960426964be3ea32562e1367c74b1f438c0827573eeaf773a
test/extractor-tests/generated/Path/PathExpr.ql caa2a41b5cc3af837fcf52b49abc5f45ba924821ea0f75d5b25daa8d2b6d4b66 7c2d587d7a73c21dcc0a85c38baa0adcd64826719b2f12f92ae758d290f37706
test/extractor-tests/generated/Path/PathPat.ql 8a6a759f4bbf4fa9c23fd235ce4d63f04bd715a86a6e71bba0a324fe1231d947 be23d83e4f6ac209f3f7c382fce6b9bc57db17a26b236bdf8215848285e345ff
test/extractor-tests/generated/Path/PathSegment.ql 87774cc2e9d1be7aaf8748d418b151d7ec03fb20fda9430ebabd86ddaebf5538 699545d8eb2d6325bcd2c253d56339bd71170b34e80efe5155189fbbdde9fbbc
test/extractor-tests/generated/Path/PathTypeRepr.ql 32023340cb9aa1fbf52a1a3e330c6f3206e1c64c9dce2f795d9e434aa5a1533b f451de0d4941ab79014d2883b46291f9f05f79d479fcdcab387020ab3ed68703
test/extractor-tests/generated/PrefixExpr/PrefixExpr.ql 63e9dbae0d0b46d5e9d60c313e408c4c7ee1a93c5a26fe4c01a632911de961d0 09fcc28bb22553356aebf9ea93811703e5404b88022be8dab61ac81d3b187b75
@@ -771,40 +768,40 @@ test/extractor-tests/generated/SelfParam/SelfParam.ql 7e57dd845ddc9142cce250c7e6
test/extractor-tests/generated/SlicePat/SlicePat.ql ec056b803471d22c8575313e0caca89a3d527d228719375e87cc6061c3da4ffe fb0af765ce9d04805cdd445e2222d6f956c6789285705bb1079e540935ae6cc5
test/extractor-tests/generated/SliceTypeRepr/SliceTypeRepr.ql a009f2ba47f3b082db274b6bd7068d65c0205bd11b13d2c202e43a6b9b48e76b a3092ea5f2b7113235aec5136800205265f1607c5cfac9f5a3552bed5d98cdf2
test/extractor-tests/generated/SourceFile/SourceFile.ql 19ae5570a88b9e2d82db66685a31b01cc8e0c86c622a4bfaabe8c5b397b27eea 60e2ba5eb82518d6408254fb4ec01277b6c6c0e4316d4f3cdc809da9c32c4a57
test/extractor-tests/generated/Static/Static.ql 103276adfe23b609b5965439d024007d4ed6831562452f880ee89300aab3e3a6 0418668d83b2e570bddb6edbf4eb7927f4fa6933ccda86c0354463bb839f724f
test/extractor-tests/generated/Static/Static.ql ec2e5cf081453bbae16216d1250f5d8324be81d1d6ad8744e969934d2ef21b0d 7bde1afbafdc16f9c999e902626c77dc0efe3f1b3d687e9fe1a3e9db6b1f62a9
test/extractor-tests/generated/StmtList/StmtList.ql 4c6b9d5d8fd7535f97d81b968d4f67fc50e10c5d0f980e7c2704bbf5cd07481e ad972adb8d9a7892e6f8a12d96649340441f947afc99e633ea438c4d5c795ce4
test/extractor-tests/generated/Struct/Struct.ql 197de8de01ede52110d827c4a673fcedc9175b1245b736a211b8724b4345902b fdf5d848a3b5dde164f1a540d7212fd3a3f6b0228c4645ddca773190830e2eb4
test/extractor-tests/generated/StructExpr/StructExpr.ql 1e577f7cc83aa86fc82e4ac467bfb8a0c239408d4217f92a0a689957ea4fe6fe 35568a6cb7f0aaa3026e11a3b0e750eb5e93d4c0b6f737171e27c84f5dc967ac
test/extractor-tests/generated/Struct/Struct.ql 846ef41cb4dfbe94f495fd68de26a68609e7b5ab0830d6ee844a67afea3ac591 6799a1246da45ecbf1f1040ffb7d1a5578ab9e236cce3029e6cc17c93b3bf138
test/extractor-tests/generated/StructExpr/StructExpr.ql 3b98205260e750cc7adc42b318deef2854cc3b4f921cbcfffc6d701553af3903 368bccf01db2fa069dca30d9fb0878f8e6a88d4ce58b333b24a18620933e4c91
test/extractor-tests/generated/StructExprField/StructExprField.ql b65375963aa24f0d1dd4c10784e32ab8c337ad431462ea1d081a0e456fbb1362 7f5a49e8df03ed0890b51c2e941d636fbbf70445a53d3af2c0f34a04f26bc6ef
test/extractor-tests/generated/StructExprFieldList/StructExprFieldList.ql 01dc3ef66d79836a3d372464f05454015648ab093f9547c5d9c5d55271acb718 83625301c097fa38d4e6021ea28b8adc6338076c8c2aa88a86a22aac412839f6
test/extractor-tests/generated/StructField/StructField.ql dbdb627202975a0ca07ed441449ecc95d9d0764084a49a18e7849164b2e65ce2 8e7f32f28d15104575eaa985e892c162ec775adf3481c227ef618b5668168de7
test/extractor-tests/generated/StructFieldList/StructFieldList.ql 292170b20f3a55c0cd6a8d78ce99474ca68daf6fb380cffe00b2bd7074e1b73a 404bab780f290ae04d1d71d3c6d4e0092bb3d8c55e956168d2a445cbd6d1f06d
test/extractor-tests/generated/StructPat/StructPat.ql 73bd755ffb8d5ff3c77d7570c6d50eab7b51d8d4a44b638cf5904c37065f496e 9589dc8d8abd80d9f48d445af3dbdbd906a9c19dc75582688bf9c3abaa16861e
test/extractor-tests/generated/StructPat/StructPat.ql 894babd64d3def35717cbeed6eb4799cf9f52e73992822b72fc521c93efb4935 5bd1502b69014d70464b4b76795e1732ac2a6db5d028bea52929cf1998af5f07
test/extractor-tests/generated/StructPatField/StructPatField.ql 92cb6a4b5234359c02d66085b10d41f37b77370491ed478ad6d4d9b12b943ecf 14bc2079763b53bc6ab11356f3bb21820ae9e4dd1b2a42a78665c32181c4ef92
test/extractor-tests/generated/StructPatFieldList/StructPatFieldList.ql a3ba3e99d3c87d5e0ae0ad82cbea3600ac1745e9364d54d8d51224b51a5a09a5 5942ed2722c006bae99de9174249110bfc79594c5ef9a6dfc098ae2be269b8f3
test/extractor-tests/generated/TokenTree/TokenTree.ql 55592f43a6fe99045d0b0b1e2323211d3a3fd64a8c7d2b083f2518d4c3e2e4b0 8eeef2060c80b0918857ba9b3a8543a4b866ca04be3d5ca18aae8a26cbdb836e
test/extractor-tests/generated/Trait/AssocItemList.ql 065c4903992500423d796800e7dc9a5835a07cbada595108f3af6efa72517782 aa797bf5ddefb800d5ca7f49c19c5124b1007e1658129b27c8c3de34427c7f08
test/extractor-tests/generated/Trait/Trait.ql ba40c2de2e8f2225ea7876c36b2510079838c0f4a99232bf0f3a3ab56b7705c4 c34364d0425f597a645fbb8b6a3874588cc652044909f1db73b09f2b6deae072
test/extractor-tests/generated/TraitAlias/TraitAlias.ql 434558e26e1cdc4054536dd7a3e5e636509cd0f8576ba1612224a9873882a383 c904109afa94cffeacd6749dd4ad8b9d2e2cb3b228c275898d88625615dbedfc
test/extractor-tests/generated/Trait/Trait.ql e59d9d97baedc5691f9fb837e3600b1b33808c598971d8abe28121a9c70292b4 0da2808421a1e1acbc61076d4b50c559f2abf02cbd5f69ba15a65457887ff435
test/extractor-tests/generated/TraitAlias/TraitAlias.ql 9a4bcbf850afd833606f9447493b848e9a5df593198e5fc7a3a5bfb1c4c0782c 1f738eaf245220142d9fe5b88718980494b1e3c5b68609f5ee591056f23ea765
test/extractor-tests/generated/TryExpr/TryExpr.ql 4e3c224a7d5fb8f01654c7d3c79414daa575897cfa6f351fcd5b5832f53a151f d961a497c304c1c5aa1d94e04aed2bf17a2c422e315f05986e1a9027e69dbd2a
test/extractor-tests/generated/TupleExpr/TupleExpr.ql 4011d94438903e96fa321285558f5791bee7e1d1fb26be0381586511cf439d1b c6bc8d08a8d5d98d7a52b72d5c597b63754fe12cec653c520833e4b71a9dcea4
test/extractor-tests/generated/TupleField/TupleField.ql ed681b7fee5e68d24db4999389727b2589e5af793d3c2ddc8b1e245713c0e1f8 4f867b29adf91b4bfa5052e16d392c16bf260e858aad11b60c42f1eddb476e61
test/extractor-tests/generated/TupleFieldList/TupleFieldList.ql 3c3fcef21231550bbbf6804314b94d44cc18d445987c23cb6f2c88015570cc4a 8958e6748296bc6d0ad469e52852c38445fe462a8599a2e71867aa5d7066595e
test/extractor-tests/generated/TuplePat/TuplePat.ql 80609f1c525e90e13f34d55a81d47a83a03e064241f8d33232e2a79eaeea5159 d289b19dae4cbae0180cc58bb946f41646bb9dc008f5ce8a0e12eaddbc7e63e9
test/extractor-tests/generated/TupleStructPat/TupleStructPat.ql d00b185013bb4e5f878a5ec261ab2cfbf1fe2f67d1ad2e05d062629211f677ec 24254631a28c24ca78b4fa1b89c53b0b002cb43fe585e274155fcca0c481056c
test/extractor-tests/generated/TupleStructPat/TupleStructPat.ql ea588383e16328486156e872f4d6f999a35534cde49d69b66a6186f01b1c2581 2a2e179b4241a4ff7d486e987cb667ba62025bc8dd48a507142cfec882bd35cc
test/extractor-tests/generated/TupleTypeRepr/TupleTypeRepr.ql 2f1503734d272cd0616e5885cd344659cbd0ae7309a375c8351f57f2b86c3302 276a4fe91b8dc64cdca4467343e2bb2e240c66ec1e4e11bf8cba73819c6532cc
test/extractor-tests/generated/TypeAlias/TypeAlias.ql 2b120c7fe640b233540f6982153fddf50ddc089b8284dca321b4c48eecf93dfd 6d40a0d8c927dd499fd92fd95638c50eeca8f956aa1706c17913dbf83f0f500c
test/extractor-tests/generated/TypeAlias/TypeAlias.ql cbd2ed23ffff6bae81b121e32c9a7efce43c23d33f82fbfcee833b1043892c60 abf9779da9ee2b267a3dc3be7143f111cac8441c378828329749457bb56aeee3
test/extractor-tests/generated/TypeArg/TypeArg.ql e1ca286c03bd2d44054f5dd75aac250382037f243046c49ec752ad8d65e4c0ba f316d5fa84a721427c0aadf6bfa0ed4cfd86e4d318cfb0fe82efc52e65c4733b
test/extractor-tests/generated/TypeBound/TypeBound.ql 41d0a7b6538de12797c5aa4152ea701517abe685b1160615f2d74203e7a00d34 f57128c66df37791f93db269451b1c617c991d8723ecb9efe4b8ff8b2559472c
test/extractor-tests/generated/TypeBoundList/TypeBoundList.ql 6827529eca62f5e7be87538af6231099f5932f39d8694f7a76369273b93f28ea 539dac4ccda7e51b7ae1a9e05d8a56a98176d9de25d5ed4347ebe2fbea8adeb1
test/extractor-tests/generated/TypeParam/TypeParam.ql c5f8f62f2877c719c3cf069f9d0ca83cebc14f7611c6c2dce86c85114ea2635c 751c630986f35a8d0d32fbeb61ca6ff801c96cd1829dbccc874fbf5f5158e98d
test/extractor-tests/generated/UnderscoreExpr/UnderscoreExpr.ql a7b7a93104fff28515154cf8e79045d3eea2494b5c46f1caf36639c53b1c64a7 070ee2e1664e3291646ea56681b5c93331f94dcc519deb28622beca3e26e16f3
test/extractor-tests/generated/Union/Union.ql ef31f8b10ced5ed3a441f8ad0640e2fb46e566c859856e84f5a7fd6c85424b2c 1066561577ab19bf028ea29622750adc17de5b4d5dd0a8f77a8a50c8a15062b6
test/extractor-tests/generated/Use/Use.ql a12b9867cc71a681cd4602c4045e75288a7cca502d48e20ccf17e155be130b3b 2b9dcac18670b062461193a6b40fcf569f19605b14daff82239fb39fd7fa3408
test/extractor-tests/generated/Union/Union.ql 71e367ea4b541ee4ae831c69d0dfa2d1ba0c2d3dd9e9aba770dd00fd1f546ef8 61dbc6364a9f486d0de8c27cacbb9d1027282d92f89058e93e2c376588d809f9
test/extractor-tests/generated/Use/Use.ql 1f084f3b49c910c6e01d2a81be2443e84c2836a5855b89874965efaf25d17511 d5bf37ba65f4d280312ca798bae22d2735c00cf91ff05ed6321f69b76b4551bc
test/extractor-tests/generated/UseBoundGenericArgs/UseBoundGenericArgs.ql 46ff2cf0fc8b561b21f8dff3230550f2feafbe52a7ea8b28bf183abef94ff241 92646f3bd15a8cf4c23ee9de4d857ac5c147e570ef0eb223423a109b4b79aedf
test/extractor-tests/generated/UseTree/UseTree.ql 3c2bc924b54b9af5c95784023d4098924571ba464c5982124acea712c3ce0e93 8d9f963b61a9a8a83efd93438ce8b43d4aa763493338ad9afd2a3dc7a440892d
test/extractor-tests/generated/UseTreeList/UseTreeList.ql faff7bfc060d5b0a922f38b37bf586596566186f704c9921651785580e86d684 81e5b90edeef0d3883547844a030e72b555d714de1ed8dded1c22a3772b4449a
test/extractor-tests/generated/Variant/Variant.ql 9405704e9192cac4838dcba8625261d5c1f839bb8c26dac44c2d517d172a06da 7236de83eb542cb4024e07d2cb5a899c851116a3a66b3896270ecf663439c6fe
test/extractor-tests/generated/Variant/Variant.ql 6b1936698cec413f1645d52e3f4d6d995968d432466241eb823c1ae635c852dd 0b5b0248f09ae01b683ea835299d51fa26f6b5a584e889c538b0f0cf13106d0f
test/extractor-tests/generated/VariantList/VariantList.ql 1c1d82ce3ecfa7daaae1920662510e81892ed899a3c2f785e2ff3670245a03cd 29d4c5ab2b737a92c7525789e10a4aa9848f1a327e34f4e9543018021106b303
test/extractor-tests/generated/Visibility/Visibility.ql 725d47d7444332133df603f9b06592dc40b0f83bf5e21ad4781c5658e001a3aa 2d65a30702a8bb5bc91caf6ae2d0e4c769b3eeb0d72ffbd9cdb81048be4061ad
test/extractor-tests/generated/WhereClause/WhereClause.ql a6f0e69ffa6b997cac04d4da442eb8bde517a576840c953abcc40863b9099ba1 7ce888fffc3038d5b18f8c94d3b045815cd45500e1bb3849c05fc874edbeb695

3
rust/ql/.gitattributes generated vendored
View File

@@ -136,7 +136,6 @@
/lib/codeql/rust/elements/RefPat.qll linguist-generated
/lib/codeql/rust/elements/RefTypeRepr.qll linguist-generated
/lib/codeql/rust/elements/Rename.qll linguist-generated
/lib/codeql/rust/elements/Resolvable.qll linguist-generated
/lib/codeql/rust/elements/RestPat.qll linguist-generated
/lib/codeql/rust/elements/RetTypeRepr.qll linguist-generated
/lib/codeql/rust/elements/ReturnExpr.qll linguist-generated
@@ -370,7 +369,6 @@
/lib/codeql/rust/elements/internal/RefTypeReprImpl.qll linguist-generated
/lib/codeql/rust/elements/internal/RenameConstructor.qll linguist-generated
/lib/codeql/rust/elements/internal/RenameImpl.qll linguist-generated
/lib/codeql/rust/elements/internal/ResolvableImpl.qll linguist-generated
/lib/codeql/rust/elements/internal/RestPatConstructor.qll linguist-generated
/lib/codeql/rust/elements/internal/RetTypeReprConstructor.qll linguist-generated
/lib/codeql/rust/elements/internal/RetTypeReprImpl.qll linguist-generated
@@ -596,7 +594,6 @@
/lib/codeql/rust/elements/internal/generated/RefPat.qll linguist-generated
/lib/codeql/rust/elements/internal/generated/RefTypeRepr.qll linguist-generated
/lib/codeql/rust/elements/internal/generated/Rename.qll linguist-generated
/lib/codeql/rust/elements/internal/generated/Resolvable.qll linguist-generated
/lib/codeql/rust/elements/internal/generated/RestPat.qll linguist-generated
/lib/codeql/rust/elements/internal/generated/RetTypeRepr.qll linguist-generated
/lib/codeql/rust/elements/internal/generated/ReturnExpr.qll linguist-generated

1
rust/ql/lib/codeql/rust/elements.qll generated
View File

@@ -139,7 +139,6 @@ import codeql.rust.elements.RefExpr
import codeql.rust.elements.RefPat
import codeql.rust.elements.RefTypeRepr
import codeql.rust.elements.Rename
import codeql.rust.elements.Resolvable
import codeql.rust.elements.RestPat
import codeql.rust.elements.RetTypeRepr
import codeql.rust.elements.ReturnExpr

1
rust/ql/lib/codeql/rust/elements/MethodCallExpr.qll generated
View File

@@ -8,7 +8,6 @@ import codeql.rust.elements.CallExprBase
import codeql.rust.elements.Expr
import codeql.rust.elements.GenericArgList
import codeql.rust.elements.NameRef
import codeql.rust.elements.Resolvable
/**
* A method call expression. For example:

2
rust/ql/lib/codeql/rust/elements/PathAstNode.qll generated
View File

@@ -4,8 +4,8 @@
*/
private import internal.PathAstNodeImpl
import codeql.rust.elements.AstNode
import codeql.rust.elements.Path
import codeql.rust.elements.Resolvable
/**
* An AST element wrapping a path (`PathExpr`, `RecordExpr`, `PathPat`, `RecordPat`, `TupleStructPat`).

12
rust/ql/lib/codeql/rust/elements/Resolvable.qll
View File

@@ -1,12 +0,0 @@
// generated by codegen, do not edit
/**
* This module provides the public class `Resolvable`.
*/
private import internal.ResolvableImpl
import codeql.rust.elements.AstNode
/**
* One of `PathExpr`, `RecordExpr`, `PathPat`, `RecordPat`, `TupleStructPat` or `MethodCallExpr`.
*/
final class Resolvable = Impl::Resolvable;

19
rust/ql/lib/codeql/rust/elements/internal/ResolvableImpl.qll
View File

@@ -1,19 +0,0 @@
// generated by codegen, remove this comment if you wish to edit this file
/**
* This module provides a hand-modifiable wrapper around the generated class `Resolvable`.
*
* INTERNAL: Do not use.
*/
private import codeql.rust.elements.internal.generated.Resolvable
/**
* INTERNAL: This module contains the customizable definition of `Resolvable` and should not
* be referenced directly.
*/
module Impl {
/**
* One of `PathExpr`, `RecordExpr`, `PathPat`, `RecordPat`, `TupleStructPat` or `MethodCallExpr`.
*/
class Resolvable extends Generated::Resolvable { }
}

36
rust/ql/lib/codeql/rust/elements/internal/generated/Addressable.qll generated
View File

@@ -20,39 +20,5 @@ module Generated {
* INTERNAL: Do not reference the `Generated::Addressable` class directly.
* Use the subclass `Addressable`, where the following predicates are available.
*/
class Addressable extends Synth::TAddressable, AstNodeImpl::AstNode {
/**
* Gets the extended canonical path of this addressable, if it exists.
*
* Either a canonical path (see https://doc.rust-lang.org/reference/paths.html#canonical-paths),
* or `{<block id>}::name` for addressable items defined in an anonymous block (and only
* addressable there-in).
* INTERNAL: Do not use.
*/
string getExtendedCanonicalPath() {
result = Synth::convertAddressableToRaw(this).(Raw::Addressable).getExtendedCanonicalPath()
}
/**
* Holds if `getExtendedCanonicalPath()` exists.
* INTERNAL: Do not use.
*/
final predicate hasExtendedCanonicalPath() { exists(this.getExtendedCanonicalPath()) }
/**
* Gets the crate origin of this addressable, if it exists.
*
* One of `rustc:<name>`, `repo:<repository>:<name>` or `lang:<name>`.
* INTERNAL: Do not use.
*/
string getCrateOrigin() {
result = Synth::convertAddressableToRaw(this).(Raw::Addressable).getCrateOrigin()
}
/**
* Holds if `getCrateOrigin()` exists.
* INTERNAL: Do not use.
*/
final predicate hasCrateOrigin() { exists(this.getCrateOrigin()) }
}
class Addressable extends Synth::TAddressable, AstNodeImpl::AstNode { }
}

5
rust/ql/lib/codeql/rust/elements/internal/generated/MethodCallExpr.qll generated
View File

@@ -10,7 +10,6 @@ import codeql.rust.elements.internal.CallExprBaseImpl::Impl as CallExprBaseImpl
import codeql.rust.elements.Expr
import codeql.rust.elements.GenericArgList
import codeql.rust.elements.NameRef
import codeql.rust.elements.internal.ResolvableImpl::Impl as ResolvableImpl
/**
* INTERNAL: This module contains the fully generated definition of `MethodCallExpr` and should not
@@ -26,9 +25,7 @@ module Generated {
* INTERNAL: Do not reference the `Generated::MethodCallExpr` class directly.
* Use the subclass `MethodCallExpr`, where the following predicates are available.
*/
class MethodCallExpr extends Synth::TMethodCallExpr, CallExprBaseImpl::CallExprBase,
ResolvableImpl::Resolvable
{
class MethodCallExpr extends Synth::TMethodCallExpr, CallExprBaseImpl::CallExprBase {
override string getAPrimaryQlClass() { result = "MethodCallExpr" }
/**

144
rust/ql/lib/codeql/rust/elements/internal/generated/ParentChild.qll generated
View File

@@ -1669,6 +1669,18 @@ private module Impl {
)
}
private Element getImmediateChildOfPathPat(PathPat e, int index, string partialPredicateCall) {
exists(int n, int nPath |
n = 0 and
nPath = n + 1 and
(
none()
or
index = n and result = e.getPath() and partialPredicateCall = "Path()"
)
)
}
private Element getImmediateChildOfPathTypeRepr(
PathTypeRepr e, int index, string partialPredicateCall
) {
@@ -1870,6 +1882,23 @@ private module Impl {
)
}
private Element getImmediateChildOfStructExpr(StructExpr e, int index, string partialPredicateCall) {
exists(int n, int nPath, int nStructExprFieldList |
n = 0 and
nPath = n + 1 and
nStructExprFieldList = nPath + 1 and
(
none()
or
index = n and result = e.getPath() and partialPredicateCall = "Path()"
or
index = nPath and
result = e.getStructExprFieldList() and
partialPredicateCall = "StructExprFieldList()"
)
)
}
private Element getImmediateChildOfStructFieldList(
StructFieldList e, int index, string partialPredicateCall
) {
@@ -1885,6 +1914,23 @@ private module Impl {
)
}
private Element getImmediateChildOfStructPat(StructPat e, int index, string partialPredicateCall) {
exists(int n, int nPath, int nStructPatFieldList |
n = 0 and
nPath = n + 1 and
nStructPatFieldList = nPath + 1 and
(
none()
or
index = n and result = e.getPath() and partialPredicateCall = "Path()"
or
index = nPath and
result = e.getStructPatFieldList() and
partialPredicateCall = "StructPatFieldList()"
)
)
}
private Element getImmediateChildOfTryExpr(TryExpr e, int index, string partialPredicateCall) {
exists(int n, int nAttr, int nExpr |
n = 0 and
@@ -1946,6 +1992,24 @@ private module Impl {
)
}
private Element getImmediateChildOfTupleStructPat(
TupleStructPat e, int index, string partialPredicateCall
) {
exists(int n, int nPath, int nField |
n = 0 and
nPath = n + 1 and
nField = nPath + 1 + max(int i | i = -1 or exists(e.getField(i)) | i) and
(
none()
or
index = n and result = e.getPath() and partialPredicateCall = "Path()"
or
result = e.getField(index - nPath) and
partialPredicateCall = "Field(" + (index - nPath).toString() + ")"
)
)
}
private Element getImmediateChildOfTupleTypeRepr(
TupleTypeRepr e, int index, string partialPredicateCall
) {
@@ -2433,52 +2497,6 @@ private module Impl {
)
}
private Element getImmediateChildOfPathPat(PathPat e, int index, string partialPredicateCall) {
exists(int n, int nPath |
n = 0 and
nPath = n + 1 and
(
none()
or
index = n and result = e.getPath() and partialPredicateCall = "Path()"
)
)
}
private Element getImmediateChildOfStructExpr(StructExpr e, int index, string partialPredicateCall) {
exists(int n, int nPath, int nStructExprFieldList |
n = 0 and
nPath = n + 1 and
nStructExprFieldList = nPath + 1 and
(
none()
or
index = n and result = e.getPath() and partialPredicateCall = "Path()"
or
index = nPath and
result = e.getStructExprFieldList() and
partialPredicateCall = "StructExprFieldList()"
)
)
}
private Element getImmediateChildOfStructPat(StructPat e, int index, string partialPredicateCall) {
exists(int n, int nPath, int nStructPatFieldList |
n = 0 and
nPath = n + 1 and
nStructPatFieldList = nPath + 1 and
(
none()
or
index = n and result = e.getPath() and partialPredicateCall = "Path()"
or
index = nPath and
result = e.getStructPatFieldList() and
partialPredicateCall = "StructPatFieldList()"
)
)
}
private Element getImmediateChildOfTrait(Trait e, int index, string partialPredicateCall) {
exists(
int n, int nAttributeMacroExpansion, int nAssocItemList, int nAttr, int nGenericParamList,
@@ -2568,24 +2586,6 @@ private module Impl {
)
}
private Element getImmediateChildOfTupleStructPat(
TupleStructPat e, int index, string partialPredicateCall
) {
exists(int n, int nPath, int nField |
n = 0 and
nPath = n + 1 and
nField = nPath + 1 + max(int i | i = -1 or exists(e.getField(i)) | i) and
(
none()
or
index = n and result = e.getPath() and partialPredicateCall = "Path()"
or
result = e.getField(index - nPath) and
partialPredicateCall = "Field(" + (index - nPath).toString() + ")"
)
)
}
private Element getImmediateChildOfUse(Use e, int index, string partialPredicateCall) {
exists(int n, int nAttributeMacroExpansion, int nAttr, int nUseTree, int nVisibility |
n = 0 and
@@ -3249,6 +3249,8 @@ private module Impl {
or
result = getImmediateChildOfParenTypeRepr(e, index, partialAccessor)
or
result = getImmediateChildOfPathPat(e, index, partialAccessor)
or
result = getImmediateChildOfPathTypeRepr(e, index, partialAccessor)
or
result = getImmediateChildOfPrefixExpr(e, index, partialAccessor)
@@ -3275,8 +3277,12 @@ private module Impl {
or
result = getImmediateChildOfSliceTypeRepr(e, index, partialAccessor)
or
result = getImmediateChildOfStructExpr(e, index, partialAccessor)
or
result = getImmediateChildOfStructFieldList(e, index, partialAccessor)
or
result = getImmediateChildOfStructPat(e, index, partialAccessor)
or
result = getImmediateChildOfTryExpr(e, index, partialAccessor)
or
result = getImmediateChildOfTupleExpr(e, index, partialAccessor)
@@ -3285,6 +3291,8 @@ private module Impl {
or
result = getImmediateChildOfTuplePat(e, index, partialAccessor)
or
result = getImmediateChildOfTupleStructPat(e, index, partialAccessor)
or
result = getImmediateChildOfTupleTypeRepr(e, index, partialAccessor)
or
result = getImmediateChildOfTypeArg(e, index, partialAccessor)
@@ -3329,18 +3337,10 @@ private module Impl {
or
result = getImmediateChildOfPathExpr(e, index, partialAccessor)
or
result = getImmediateChildOfPathPat(e, index, partialAccessor)
or
result = getImmediateChildOfStructExpr(e, index, partialAccessor)
or
result = getImmediateChildOfStructPat(e, index, partialAccessor)
or
result = getImmediateChildOfTrait(e, index, partialAccessor)
or
result = getImmediateChildOfTraitAlias(e, index, partialAccessor)
or
result = getImmediateChildOfTupleStructPat(e, index, partialAccessor)
or
result = getImmediateChildOfUse(e, index, partialAccessor)
or
result = getImmediateChildOfConst(e, index, partialAccessor)

4
rust/ql/lib/codeql/rust/elements/internal/generated/PathAstNode.qll generated
View File

@@ -6,8 +6,8 @@
private import codeql.rust.elements.internal.generated.Synth
private import codeql.rust.elements.internal.generated.Raw
import codeql.rust.elements.internal.AstNodeImpl::Impl as AstNodeImpl
import codeql.rust.elements.Path
import codeql.rust.elements.internal.ResolvableImpl::Impl as ResolvableImpl
/**
* INTERNAL: This module contains the fully generated definition of `PathAstNode` and should not
@@ -19,7 +19,7 @@ module Generated {
* INTERNAL: Do not reference the `Generated::PathAstNode` class directly.
* Use the subclass `PathAstNode`, where the following predicates are available.
*/
class PathAstNode extends Synth::TPathAstNode, ResolvableImpl::Resolvable {
class PathAstNode extends Synth::TPathAstNode, AstNodeImpl::AstNode {
/**
* Gets the path of this path ast node, if it exists.
*/

206
rust/ql/lib/codeql/rust/elements/internal/generated/Raw.qll generated
View File

@@ -138,23 +138,7 @@ module Raw {
*
* TODO: This does not yet include all possible cases.
*/
class Addressable extends @addressable, AstNode {
/**
* Gets the extended canonical path of this addressable, if it exists.
*
* Either a canonical path (see https://doc.rust-lang.org/reference/paths.html#canonical-paths),
* or `{<block id>}::name` for addressable items defined in an anonymous block (and only
* addressable there-in).
*/
string getExtendedCanonicalPath() { addressable_extended_canonical_paths(this, result) }
/**
* Gets the crate origin of this addressable, if it exists.
*
* One of `rustc:<name>`, `repo:<repository>:<name>` or `lang:<name>`.
*/
string getCrateOrigin() { addressable_crate_origins(this, result) }
}
class Addressable extends @addressable, AstNode { }
/**
* INTERNAL: Do not use.
@@ -803,6 +787,17 @@ module Raw {
PathSegment getSegment() { path_segments_(this, result) }
}
/**
* INTERNAL: Do not use.
* An AST element wrapping a path (`PathExpr`, `RecordExpr`, `PathPat`, `RecordPat`, `TupleStructPat`).
*/
class PathAstNode extends @path_ast_node, AstNode {
/**
* Gets the path of this path ast node, if it exists.
*/
Path getPath() { path_ast_node_paths(this, result) }
}
/**
* INTERNAL: Do not use.
* A path segment, which is one part of a whole path.
@@ -873,22 +868,6 @@ module Raw {
Name getName() { rename_names(this, result) }
}
/**
* INTERNAL: Do not use.
* One of `PathExpr`, `RecordExpr`, `PathPat`, `RecordPat`, `TupleStructPat` or `MethodCallExpr`.
*/
class Resolvable extends @resolvable, AstNode {
/**
* Gets the resolved path of this resolvable, if it exists.
*/
string getResolvedPath() { resolvable_resolved_paths(this, result) }
/**
* Gets the resolved crate origin of this resolvable, if it exists.
*/
string getResolvedCrateOrigin() { resolvable_resolved_crate_origins(this, result) }
}
/**
* INTERNAL: Do not use.
* A return type in a function signature.
@@ -2902,23 +2881,26 @@ module Raw {
TypeRepr getTypeRepr() { paren_type_repr_type_reprs(this, result) }
}
/**
* INTERNAL: Do not use.
* An AST element wrapping a path (`PathExpr`, `RecordExpr`, `PathPat`, `RecordPat`, `TupleStructPat`).
*/
class PathAstNode extends @path_ast_node, Resolvable {
/**
* Gets the path of this path ast node, if it exists.
*/
Path getPath() { path_ast_node_paths(this, result) }
}
/**
* INTERNAL: Do not use.
* A path expression or a variable access in a formatting template. See `PathExpr` and `FormatTemplateVariableAccess` for further details.
*/
class PathExprBase extends @path_expr_base, Expr { }
/**
* INTERNAL: Do not use.
* A path pattern. For example:
* ```rust
* match x {
* Foo::Bar => "ok",
* _ => "fail",
* }
* ```
*/
class PathPat extends @path_pat, Pat, PathAstNode {
override string toString() { result = "PathPat" }
}
/**
* INTERNAL: Do not use.
* A path referring to a type. For example:
@@ -3277,6 +3259,27 @@ module Raw {
TypeRepr getTypeRepr() { slice_type_repr_type_reprs(this, result) }
}
/**
* INTERNAL: Do not use.
* A struct expression. For example:
* ```rust
* let first = Foo { a: 1, b: 2 };
* let second = Foo { a: 2, ..first };
* Foo { a: 1, b: 2 }[2] = 10;
* Foo { .. } = second;
* ```
*/
class StructExpr extends @struct_expr, Expr, PathAstNode {
override string toString() { result = "StructExpr" }
/**
* Gets the struct expression field list of this struct expression, if it exists.
*/
StructExprFieldList getStructExprFieldList() {
struct_expr_struct_expr_field_lists(this, result)
}
}
/**
* INTERNAL: Do not use.
* A list of fields in a struct declaration.
@@ -3296,6 +3299,25 @@ module Raw {
StructField getField(int index) { struct_field_list_fields(this, index, result) }
}
/**
* INTERNAL: Do not use.
* A struct pattern. For example:
* ```rust
* match x {
* Foo { a: 1, b: 2 } => "ok",
* Foo { .. } => "fail",
* }
* ```
*/
class StructPat extends @struct_pat, Pat, PathAstNode {
override string toString() { result = "StructPat" }
/**
* Gets the struct pattern field list of this struct pattern, if it exists.
*/
StructPatFieldList getStructPatFieldList() { struct_pat_struct_pat_field_lists(this, result) }
}
/**
* INTERNAL: Do not use.
* A try expression using the `?` operator.
@@ -3378,6 +3400,26 @@ module Raw {
Pat getField(int index) { tuple_pat_fields(this, index, result) }
}
/**
* INTERNAL: Do not use.
* A tuple struct pattern. For example:
* ```rust
* match x {
* Tuple("a", 1, 2, 3) => "great",
* Tuple(.., 3) => "fine",
* Tuple(..) => "fail",
* };
* ```
*/
class TupleStructPat extends @tuple_struct_pat, Pat, PathAstNode {
override string toString() { result = "TupleStructPat" }
/**
* Gets the `index`th field of this tuple struct pattern (0-based).
*/
Pat getField(int index) { tuple_struct_pat_fields(this, index, result) }
}
/**
* INTERNAL: Do not use.
* A tuple type.
@@ -3936,7 +3978,7 @@ module Raw {
* x.foo::<u32, u64>(42);
* ```
*/
class MethodCallExpr extends @method_call_expr, CallExprBase, Resolvable {
class MethodCallExpr extends @method_call_expr, CallExprBase {
override string toString() { result = "MethodCallExpr" }
/**
@@ -4010,60 +4052,6 @@ module Raw {
Attr getAttr(int index) { path_expr_attrs(this, index, result) }
}
/**
* INTERNAL: Do not use.
* A path pattern. For example:
* ```rust
* match x {
* Foo::Bar => "ok",
* _ => "fail",
* }
* ```
*/
class PathPat extends @path_pat, Pat, PathAstNode {
override string toString() { result = "PathPat" }
}
/**
* INTERNAL: Do not use.
* A struct expression. For example:
* ```rust
* let first = Foo { a: 1, b: 2 };
* let second = Foo { a: 2, ..first };
* Foo { a: 1, b: 2 }[2] = 10;
* Foo { .. } = second;
* ```
*/
class StructExpr extends @struct_expr, Expr, PathAstNode {
override string toString() { result = "StructExpr" }
/**
* Gets the struct expression field list of this struct expression, if it exists.
*/
StructExprFieldList getStructExprFieldList() {
struct_expr_struct_expr_field_lists(this, result)
}
}
/**
* INTERNAL: Do not use.
* A struct pattern. For example:
* ```rust
* match x {
* Foo { a: 1, b: 2 } => "ok",
* Foo { .. } => "fail",
* }
* ```
*/
class StructPat extends @struct_pat, Pat, PathAstNode {
override string toString() { result = "StructPat" }
/**
* Gets the struct pattern field list of this struct pattern, if it exists.
*/
StructPatFieldList getStructPatFieldList() { struct_pat_struct_pat_field_lists(this, result) }
}
/**
* INTERNAL: Do not use.
* A Trait. For example:
@@ -4169,26 +4157,6 @@ module Raw {
WhereClause getWhereClause() { trait_alias_where_clauses(this, result) }
}
/**
* INTERNAL: Do not use.
* A tuple struct pattern. For example:
* ```rust
* match x {
* Tuple("a", 1, 2, 3) => "great",
* Tuple(.., 3) => "fine",
* Tuple(..) => "fail",
* };
* ```
*/
class TupleStructPat extends @tuple_struct_pat, Pat, PathAstNode {
override string toString() { result = "TupleStructPat" }
/**
* Gets the `index`th field of this tuple struct pattern (0-based).
*/
Pat getField(int index) { tuple_struct_pat_fields(this, index, result) }
}
/**
* INTERNAL: Do not use.
* A `use` statement. For example:

52
rust/ql/lib/codeql/rust/elements/internal/generated/Resolvable.qll
View File

@@ -1,52 +0,0 @@
// generated by codegen, do not edit
/**
* This module provides the generated definition of `Resolvable`.
* INTERNAL: Do not import directly.
*/
private import codeql.rust.elements.internal.generated.Synth
private import codeql.rust.elements.internal.generated.Raw
import codeql.rust.elements.internal.AstNodeImpl::Impl as AstNodeImpl
/**
* INTERNAL: This module contains the fully generated definition of `Resolvable` and should not
* be referenced directly.
*/
module Generated {
/**
* One of `PathExpr`, `RecordExpr`, `PathPat`, `RecordPat`, `TupleStructPat` or `MethodCallExpr`.
* INTERNAL: Do not reference the `Generated::Resolvable` class directly.
* Use the subclass `Resolvable`, where the following predicates are available.
*/
class Resolvable extends Synth::TResolvable, AstNodeImpl::AstNode {
/**
* Gets the resolved path of this resolvable, if it exists.
*
* INTERNAL: Do not use.
*/
string getResolvedPath() {
result = Synth::convertResolvableToRaw(this).(Raw::Resolvable).getResolvedPath()
}
/**
* Holds if `getResolvedPath()` exists.
* INTERNAL: Do not use.
*/
final predicate hasResolvedPath() { exists(this.getResolvedPath()) }
/**
* Gets the resolved crate origin of this resolvable, if it exists.
*
* INTERNAL: Do not use.
*/
string getResolvedCrateOrigin() {
result = Synth::convertResolvableToRaw(this).(Raw::Resolvable).getResolvedCrateOrigin()
}
/**
* Holds if `getResolvedCrateOrigin()` exists.
* INTERNAL: Do not use.
*/
final predicate hasResolvedCrateOrigin() { exists(this.getResolvedCrateOrigin()) }
}
}

37
rust/ql/lib/codeql/rust/elements/internal/generated/Synth.qll generated
View File

@@ -722,8 +722,8 @@ module Synth {
TExternItemList or TFieldList or TForBinder or TFormatArgsArg or TGenericArg or
TGenericArgList or TGenericParam or TGenericParamList or TItemList or TLabel or TLetElse or
TMacroItems or TMatchArm or TMatchArmList or TMatchGuard or TMeta or TName or TParamBase or
TParamList or TParenthesizedArgList or TPat or TPath or TPathSegment or TRename or
TResolvable or TRetTypeRepr or TReturnTypeSyntax or TSourceFile or TStmt or TStmtList or
TParamList or TParenthesizedArgList or TPat or TPath or TPathAstNode or TPathSegment or
TRename or TRetTypeRepr or TReturnTypeSyntax or TSourceFile or TStmt or TStmtList or
TStructExprField or TStructExprFieldList or TStructField or TStructPatField or
TStructPatFieldList or TToken or TTokenTree or TTupleField or TTypeBound or
TTypeBoundList or TTypeRepr or TUseBoundGenericArg or TUseBoundGenericArgs or TUseTree or
@@ -815,11 +815,6 @@ module Synth {
*/
class TPathExprBase = TFormatTemplateVariableAccess or TPathExpr;
/**
* INTERNAL: Do not use.
*/
class TResolvable = TMethodCallExpr or TPathAstNode;
/**
* INTERNAL: Do not use.
*/
@@ -1999,12 +1994,12 @@ module Synth {
or
result = convertPathFromRaw(e)
or
result = convertPathAstNodeFromRaw(e)
or
result = convertPathSegmentFromRaw(e)
or
result = convertRenameFromRaw(e)
or
result = convertResolvableFromRaw(e)
or
result = convertRetTypeReprFromRaw(e)
or
result = convertReturnTypeSyntaxFromRaw(e)
@@ -2354,16 +2349,6 @@ module Synth {
result = convertPathExprFromRaw(e)
}
/**
* INTERNAL: Do not use.
* Converts a raw DB element to a synthesized `TResolvable`, if possible.
*/
TResolvable convertResolvableFromRaw(Raw::Element e) {
result = convertMethodCallExprFromRaw(e)
or
result = convertPathAstNodeFromRaw(e)
}
/**
* INTERNAL: Do not use.
* Converts a raw DB element to a synthesized `TStmt`, if possible.
@@ -3585,12 +3570,12 @@ module Synth {
or
result = convertPathToRaw(e)
or
result = convertPathAstNodeToRaw(e)
or
result = convertPathSegmentToRaw(e)
or
result = convertRenameToRaw(e)
or
result = convertResolvableToRaw(e)
or
result = convertRetTypeReprToRaw(e)
or
result = convertReturnTypeSyntaxToRaw(e)
@@ -3940,16 +3925,6 @@ module Synth {
result = convertPathExprToRaw(e)
}
/**
* INTERNAL: Do not use.
* Converts a synthesized `TResolvable` to a raw DB element, if possible.
*/
Raw::Element convertResolvableToRaw(TResolvable e) {
result = convertMethodCallExprToRaw(e)
or
result = convertPathAstNodeToRaw(e)
}
/**
* INTERNAL: Do not use.
* Converts a synthesized `TStmt` to a raw DB element, if possible.

129
rust/ql/lib/rust.dbscheme
View File

@@ -200,9 +200,9 @@ named_crates(
| @parenthesized_arg_list
| @pat
| @path
| @path_ast_node
| @path_segment
| @rename
| @resolvable
| @ret_type_repr
| @return_type_syntax
| @source_file
@@ -282,18 +282,6 @@ abi_abi_strings(
| @variant
;
#keyset[id]
addressable_extended_canonical_paths(
int id: @addressable ref,
string extended_canonical_path: string ref
);
#keyset[id]
addressable_crate_origins(
int id: @addressable ref,
string crate_origin: string ref
);
arg_lists(
unique int id: @arg_list
);
@@ -747,6 +735,20 @@ path_segments_(
int segment: @path_segment ref
);
@path_ast_node =
@path_expr
| @path_pat
| @struct_expr
| @struct_pat
| @tuple_struct_pat
;
#keyset[id]
path_ast_node_paths(
int id: @path_ast_node ref,
int path: @path ref
);
path_segments(
unique int id: @path_segment
);
@@ -803,23 +805,6 @@ rename_names(
int name: @name ref
);
@resolvable =
@method_call_expr
| @path_ast_node
;
#keyset[id]
resolvable_resolved_paths(
int id: @resolvable ref,
string resolved_path: string ref
);
#keyset[id]
resolvable_resolved_crate_origins(
int id: @resolvable ref,
string resolved_crate_origin: string ref
);
ret_type_reprs(
unique int id: @ret_type_repr
);
@@ -2211,24 +2196,14 @@ paren_type_repr_type_reprs(
int type_repr: @type_repr ref
);
@path_ast_node =
@path_expr
| @path_pat
| @struct_expr
| @struct_pat
| @tuple_struct_pat
;
#keyset[id]
path_ast_node_paths(
int id: @path_ast_node ref,
int path: @path ref
);
@path_expr_base =
@path_expr
;
path_pats(
unique int id: @path_pat
);
path_type_reprs(
unique int id: @path_type_repr
);
@@ -2476,6 +2451,16 @@ slice_type_repr_type_reprs(
int type_repr: @type_repr ref
);
struct_exprs(
unique int id: @struct_expr
);
#keyset[id]
struct_expr_struct_expr_field_lists(
int id: @struct_expr ref,
int struct_expr_field_list: @struct_expr_field_list ref
);
struct_field_lists(
unique int id: @struct_field_list
);
@@ -2487,6 +2472,16 @@ struct_field_list_fields(
int field: @struct_field ref
);
struct_pats(
unique int id: @struct_pat
);
#keyset[id]
struct_pat_struct_pat_field_lists(
int id: @struct_pat ref,
int struct_pat_field_list: @struct_pat_field_list ref
);
try_exprs(
unique int id: @try_expr
);
@@ -2544,6 +2539,17 @@ tuple_pat_fields(
int field: @pat ref
);
tuple_struct_pats(
unique int id: @tuple_struct_pat
);
#keyset[id, index]
tuple_struct_pat_fields(
int id: @tuple_struct_pat ref,
int index: int ref,
int field: @pat ref
);
tuple_type_reprs(
unique int id: @tuple_type_repr
);
@@ -3044,30 +3050,6 @@ path_expr_attrs(
int attr: @attr ref
);
path_pats(
unique int id: @path_pat
);
struct_exprs(
unique int id: @struct_expr
);
#keyset[id]
struct_expr_struct_expr_field_lists(
int id: @struct_expr ref,
int struct_expr_field_list: @struct_expr_field_list ref
);
struct_pats(
unique int id: @struct_pat
);
#keyset[id]
struct_pat_struct_pat_field_lists(
int id: @struct_pat ref,
int struct_pat_field_list: @struct_pat_field_list ref
);
traits(
unique int id: @trait
);
@@ -3166,17 +3148,6 @@ trait_alias_where_clauses(
int where_clause: @where_clause ref
);
tuple_struct_pats(
unique int id: @tuple_struct_pat
);
#keyset[id, index]
tuple_struct_pat_fields(
int id: @tuple_struct_pat ref,
int index: int ref,
int field: @pat ref
);
uses(
unique int id: @use
);

8
rust/ql/test/extractor-tests/generated/AsmExpr/AsmExpr.ql generated
View File

@@ -4,14 +4,6 @@ import TestUtils
query predicate instances(AsmExpr x) { toBeTested(x) and not x.isUnknown() }
query predicate getExtendedCanonicalPath(AsmExpr x, string getExtendedCanonicalPath) {
toBeTested(x) and not x.isUnknown() and getExtendedCanonicalPath = x.getExtendedCanonicalPath()
}
query predicate getCrateOrigin(AsmExpr x, string getCrateOrigin) {
toBeTested(x) and not x.isUnknown() and getCrateOrigin = x.getCrateOrigin()
}
query predicate getAttributeMacroExpansion(AsmExpr x, MacroItems getAttributeMacroExpansion) {
toBeTested(x) and
not x.isUnknown() and

8
rust/ql/test/extractor-tests/generated/Const/Const.ql generated
View File

@@ -16,14 +16,6 @@ query predicate instances(
if x.hasImplementation() then hasImplementation = "yes" else hasImplementation = "no"
}
query predicate getExtendedCanonicalPath(Const x, string getExtendedCanonicalPath) {
toBeTested(x) and not x.isUnknown() and getExtendedCanonicalPath = x.getExtendedCanonicalPath()
}
query predicate getCrateOrigin(Const x, string getCrateOrigin) {
toBeTested(x) and not x.isUnknown() and getCrateOrigin = x.getCrateOrigin()
}
query predicate getAttributeMacroExpansion(Const x, MacroItems getAttributeMacroExpansion) {
toBeTested(x) and
not x.isUnknown() and

8
rust/ql/test/extractor-tests/generated/Enum/Enum.ql generated
View File

@@ -4,14 +4,6 @@ import TestUtils
query predicate instances(Enum x) { toBeTested(x) and not x.isUnknown() }
query predicate getExtendedCanonicalPath(Enum x, string getExtendedCanonicalPath) {
toBeTested(x) and not x.isUnknown() and getExtendedCanonicalPath = x.getExtendedCanonicalPath()
}
query predicate getCrateOrigin(Enum x, string getCrateOrigin) {
toBeTested(x) and not x.isUnknown() and getCrateOrigin = x.getCrateOrigin()
}
query predicate getAttributeMacroExpansion(Enum x, MacroItems getAttributeMacroExpansion) {
toBeTested(x) and
not x.isUnknown() and

8
rust/ql/test/extractor-tests/generated/ExternBlock/ExternBlock.ql generated
View File

@@ -9,14 +9,6 @@ query predicate instances(ExternBlock x, string isUnsafe__label, string isUnsafe
if x.isUnsafe() then isUnsafe = "yes" else isUnsafe = "no"
}
query predicate getExtendedCanonicalPath(ExternBlock x, string getExtendedCanonicalPath) {
toBeTested(x) and not x.isUnknown() and getExtendedCanonicalPath = x.getExtendedCanonicalPath()
}
query predicate getCrateOrigin(ExternBlock x, string getCrateOrigin) {
toBeTested(x) and not x.isUnknown() and getCrateOrigin = x.getCrateOrigin()
}
query predicate getAttributeMacroExpansion(ExternBlock x, MacroItems getAttributeMacroExpansion) {
toBeTested(x) and
not x.isUnknown() and

8
rust/ql/test/extractor-tests/generated/ExternCrate/ExternCrate.ql generated
View File

@@ -4,14 +4,6 @@ import TestUtils
query predicate instances(ExternCrate x) { toBeTested(x) and not x.isUnknown() }
query predicate getExtendedCanonicalPath(ExternCrate x, string getExtendedCanonicalPath) {
toBeTested(x) and not x.isUnknown() and getExtendedCanonicalPath = x.getExtendedCanonicalPath()
}
query predicate getCrateOrigin(ExternCrate x, string getCrateOrigin) {
toBeTested(x) and not x.isUnknown() and getCrateOrigin = x.getCrateOrigin()
}
query predicate getAttributeMacroExpansion(ExternCrate x, MacroItems getAttributeMacroExpansion) {
toBeTested(x) and
not x.isUnknown() and

8
rust/ql/test/extractor-tests/generated/Function/Function.ql generated
View File

@@ -23,14 +23,6 @@ query predicate instances(
if x.hasImplementation() then hasImplementation = "yes" else hasImplementation = "no"
}
query predicate getExtendedCanonicalPath(Function x, string getExtendedCanonicalPath) {
toBeTested(x) and not x.isUnknown() and getExtendedCanonicalPath = x.getExtendedCanonicalPath()
}
query predicate getCrateOrigin(Function x, string getCrateOrigin) {
toBeTested(x) and not x.isUnknown() and getCrateOrigin = x.getCrateOrigin()
}
query predicate getAttributeMacroExpansion(Function x, MacroItems getAttributeMacroExpansion) {
toBeTested(x) and
not x.isUnknown() and

8
rust/ql/test/extractor-tests/generated/Impl/Impl.ql generated
View File

@@ -16,14 +16,6 @@ query predicate instances(
if x.isUnsafe() then isUnsafe = "yes" else isUnsafe = "no"
}
query predicate getExtendedCanonicalPath(Impl x, string getExtendedCanonicalPath) {
toBeTested(x) and not x.isUnknown() and getExtendedCanonicalPath = x.getExtendedCanonicalPath()
}
query predicate getCrateOrigin(Impl x, string getCrateOrigin) {
toBeTested(x) and not x.isUnknown() and getCrateOrigin = x.getCrateOrigin()
}
query predicate getAttributeMacroExpansion(Impl x, MacroItems getAttributeMacroExpansion) {
toBeTested(x) and
not x.isUnknown() and

8
rust/ql/test/extractor-tests/generated/MacroCall/MacroCall.ql generated
View File

@@ -4,14 +4,6 @@ import TestUtils
query predicate instances(MacroCall x) { toBeTested(x) and not x.isUnknown() }
query predicate getExtendedCanonicalPath(MacroCall x, string getExtendedCanonicalPath) {
toBeTested(x) and not x.isUnknown() and getExtendedCanonicalPath = x.getExtendedCanonicalPath()
}
query predicate getCrateOrigin(MacroCall x, string getCrateOrigin) {
toBeTested(x) and not x.isUnknown() and getCrateOrigin = x.getCrateOrigin()
}
query predicate getAttributeMacroExpansion(MacroCall x, MacroItems getAttributeMacroExpansion) {
toBeTested(x) and
not x.isUnknown() and

8
rust/ql/test/extractor-tests/generated/MacroDef/MacroDef.ql generated
View File

@@ -4,14 +4,6 @@ import TestUtils
query predicate instances(MacroDef x) { toBeTested(x) and not x.isUnknown() }
query predicate getExtendedCanonicalPath(MacroDef x, string getExtendedCanonicalPath) {
toBeTested(x) and not x.isUnknown() and getExtendedCanonicalPath = x.getExtendedCanonicalPath()
}
query predicate getCrateOrigin(MacroDef x, string getCrateOrigin) {
toBeTested(x) and not x.isUnknown() and getCrateOrigin = x.getCrateOrigin()
}
query predicate getAttributeMacroExpansion(MacroDef x, MacroItems getAttributeMacroExpansion) {
toBeTested(x) and
not x.isUnknown() and

8
rust/ql/test/extractor-tests/generated/MacroRules/MacroRules.ql generated
View File

@@ -4,14 +4,6 @@ import TestUtils
query predicate instances(MacroRules x) { toBeTested(x) and not x.isUnknown() }
query predicate getExtendedCanonicalPath(MacroRules x, string getExtendedCanonicalPath) {
toBeTested(x) and not x.isUnknown() and getExtendedCanonicalPath = x.getExtendedCanonicalPath()
}
query predicate getCrateOrigin(MacroRules x, string getCrateOrigin) {
toBeTested(x) and not x.isUnknown() and getCrateOrigin = x.getCrateOrigin()
}
query predicate getAttributeMacroExpansion(MacroRules x, MacroItems getAttributeMacroExpansion) {
toBeTested(x) and
not x.isUnknown() and

8
rust/ql/test/extractor-tests/generated/MethodCallExpr/MethodCallExpr.ql generated
View File

@@ -16,14 +16,6 @@ query predicate getArg(MethodCallExpr x, int index, Expr getArg) {
toBeTested(x) and not x.isUnknown() and getArg = x.getArg(index)
}
query predicate getResolvedPath(MethodCallExpr x, string getResolvedPath) {
toBeTested(x) and not x.isUnknown() and getResolvedPath = x.getResolvedPath()
}
query predicate getResolvedCrateOrigin(MethodCallExpr x, string getResolvedCrateOrigin) {
toBeTested(x) and not x.isUnknown() and getResolvedCrateOrigin = x.getResolvedCrateOrigin()
}
query predicate getGenericArgList(MethodCallExpr x, GenericArgList getGenericArgList) {
toBeTested(x) and not x.isUnknown() and getGenericArgList = x.getGenericArgList()
}

8
rust/ql/test/extractor-tests/generated/Module/Module.ql generated
View File

@@ -4,14 +4,6 @@ import TestUtils
query predicate instances(Module x) { toBeTested(x) and not x.isUnknown() }
query predicate getExtendedCanonicalPath(Module x, string getExtendedCanonicalPath) {
toBeTested(x) and not x.isUnknown() and getExtendedCanonicalPath = x.getExtendedCanonicalPath()
}
query predicate getCrateOrigin(Module x, string getCrateOrigin) {
toBeTested(x) and not x.isUnknown() and getCrateOrigin = x.getCrateOrigin()
}
query predicate getAttributeMacroExpansion(Module x, MacroItems getAttributeMacroExpansion) {
toBeTested(x) and
not x.isUnknown() and

8
rust/ql/test/extractor-tests/generated/Path/PathExpr.ql generated
View File

@@ -4,14 +4,6 @@ import TestUtils
query predicate instances(PathExpr x) { toBeTested(x) and not x.isUnknown() }
query predicate getResolvedPath(PathExpr x, string getResolvedPath) {
toBeTested(x) and not x.isUnknown() and getResolvedPath = x.getResolvedPath()
}
query predicate getResolvedCrateOrigin(PathExpr x, string getResolvedCrateOrigin) {
toBeTested(x) and not x.isUnknown() and getResolvedCrateOrigin = x.getResolvedCrateOrigin()
}
query predicate getPath(PathExpr x, Path getPath) {
toBeTested(x) and not x.isUnknown() and getPath = x.getPath()
}

8
rust/ql/test/extractor-tests/generated/Path/PathPat.ql generated
View File

@@ -4,14 +4,6 @@ import TestUtils
query predicate instances(PathPat x) { toBeTested(x) and not x.isUnknown() }
query predicate getResolvedPath(PathPat x, string getResolvedPath) {
toBeTested(x) and not x.isUnknown() and getResolvedPath = x.getResolvedPath()
}
query predicate getResolvedCrateOrigin(PathPat x, string getResolvedCrateOrigin) {
toBeTested(x) and not x.isUnknown() and getResolvedCrateOrigin = x.getResolvedCrateOrigin()
}
query predicate getPath(PathPat x, Path getPath) {
toBeTested(x) and not x.isUnknown() and getPath = x.getPath()
}

8
rust/ql/test/extractor-tests/generated/Static/Static.ql generated
View File

@@ -16,14 +16,6 @@ query predicate instances(
if x.isUnsafe() then isUnsafe = "yes" else isUnsafe = "no"
}
query predicate getExtendedCanonicalPath(Static x, string getExtendedCanonicalPath) {
toBeTested(x) and not x.isUnknown() and getExtendedCanonicalPath = x.getExtendedCanonicalPath()
}
query predicate getCrateOrigin(Static x, string getCrateOrigin) {
toBeTested(x) and not x.isUnknown() and getCrateOrigin = x.getCrateOrigin()
}
query predicate getAttributeMacroExpansion(Static x, MacroItems getAttributeMacroExpansion) {
toBeTested(x) and
not x.isUnknown() and

8
rust/ql/test/extractor-tests/generated/Struct/Struct.ql generated
View File

@@ -4,14 +4,6 @@ import TestUtils
query predicate instances(Struct x) { toBeTested(x) and not x.isUnknown() }
query predicate getExtendedCanonicalPath(Struct x, string getExtendedCanonicalPath) {
toBeTested(x) and not x.isUnknown() and getExtendedCanonicalPath = x.getExtendedCanonicalPath()
}
query predicate getCrateOrigin(Struct x, string getCrateOrigin) {
toBeTested(x) and not x.isUnknown() and getCrateOrigin = x.getCrateOrigin()
}
query predicate getAttributeMacroExpansion(Struct x, MacroItems getAttributeMacroExpansion) {
toBeTested(x) and
not x.isUnknown() and

8
rust/ql/test/extractor-tests/generated/StructExpr/StructExpr.ql generated
View File

@@ -4,14 +4,6 @@ import TestUtils
query predicate instances(StructExpr x) { toBeTested(x) and not x.isUnknown() }
query predicate getResolvedPath(StructExpr x, string getResolvedPath) {
toBeTested(x) and not x.isUnknown() and getResolvedPath = x.getResolvedPath()
}
query predicate getResolvedCrateOrigin(StructExpr x, string getResolvedCrateOrigin) {
toBeTested(x) and not x.isUnknown() and getResolvedCrateOrigin = x.getResolvedCrateOrigin()
}
query predicate getPath(StructExpr x, Path getPath) {
toBeTested(x) and not x.isUnknown() and getPath = x.getPath()
}

8
rust/ql/test/extractor-tests/generated/StructPat/StructPat.ql generated
View File

@@ -4,14 +4,6 @@ import TestUtils
query predicate instances(StructPat x) { toBeTested(x) and not x.isUnknown() }
query predicate getResolvedPath(StructPat x, string getResolvedPath) {
toBeTested(x) and not x.isUnknown() and getResolvedPath = x.getResolvedPath()
}
query predicate getResolvedCrateOrigin(StructPat x, string getResolvedCrateOrigin) {
toBeTested(x) and not x.isUnknown() and getResolvedCrateOrigin = x.getResolvedCrateOrigin()
}
query predicate getPath(StructPat x, Path getPath) {
toBeTested(x) and not x.isUnknown() and getPath = x.getPath()
}

8
rust/ql/test/extractor-tests/generated/Trait/Trait.ql generated
View File

@@ -13,14 +13,6 @@ query predicate instances(
if x.isUnsafe() then isUnsafe = "yes" else isUnsafe = "no"
}
query predicate getExtendedCanonicalPath(Trait x, string getExtendedCanonicalPath) {
toBeTested(x) and not x.isUnknown() and getExtendedCanonicalPath = x.getExtendedCanonicalPath()
}
query predicate getCrateOrigin(Trait x, string getCrateOrigin) {
toBeTested(x) and not x.isUnknown() and getCrateOrigin = x.getCrateOrigin()
}
query predicate getAttributeMacroExpansion(Trait x, MacroItems getAttributeMacroExpansion) {
toBeTested(x) and
not x.isUnknown() and

8
rust/ql/test/extractor-tests/generated/TraitAlias/TraitAlias.ql generated
View File

@@ -4,14 +4,6 @@ import TestUtils
query predicate instances(TraitAlias x) { toBeTested(x) and not x.isUnknown() }
query predicate getExtendedCanonicalPath(TraitAlias x, string getExtendedCanonicalPath) {
toBeTested(x) and not x.isUnknown() and getExtendedCanonicalPath = x.getExtendedCanonicalPath()
}
query predicate getCrateOrigin(TraitAlias x, string getCrateOrigin) {
toBeTested(x) and not x.isUnknown() and getCrateOrigin = x.getCrateOrigin()
}
query predicate getAttributeMacroExpansion(TraitAlias x, MacroItems getAttributeMacroExpansion) {
toBeTested(x) and
not x.isUnknown() and

8
rust/ql/test/extractor-tests/generated/TupleStructPat/TupleStructPat.ql generated
View File

@@ -4,14 +4,6 @@ import TestUtils
query predicate instances(TupleStructPat x) { toBeTested(x) and not x.isUnknown() }
query predicate getResolvedPath(TupleStructPat x, string getResolvedPath) {
toBeTested(x) and not x.isUnknown() and getResolvedPath = x.getResolvedPath()
}
query predicate getResolvedCrateOrigin(TupleStructPat x, string getResolvedCrateOrigin) {
toBeTested(x) and not x.isUnknown() and getResolvedCrateOrigin = x.getResolvedCrateOrigin()
}
query predicate getPath(TupleStructPat x, Path getPath) {
toBeTested(x) and not x.isUnknown() and getPath = x.getPath()
}

8
rust/ql/test/extractor-tests/generated/TypeAlias/TypeAlias.ql generated
View File

@@ -9,14 +9,6 @@ query predicate instances(TypeAlias x, string isDefault__label, string isDefault
if x.isDefault() then isDefault = "yes" else isDefault = "no"
}
query predicate getExtendedCanonicalPath(TypeAlias x, string getExtendedCanonicalPath) {
toBeTested(x) and not x.isUnknown() and getExtendedCanonicalPath = x.getExtendedCanonicalPath()
}
query predicate getCrateOrigin(TypeAlias x, string getCrateOrigin) {
toBeTested(x) and not x.isUnknown() and getCrateOrigin = x.getCrateOrigin()
}
query predicate getAttributeMacroExpansion(TypeAlias x, MacroItems getAttributeMacroExpansion) {
toBeTested(x) and
not x.isUnknown() and

8
rust/ql/test/extractor-tests/generated/Union/Union.ql generated
View File

@@ -4,14 +4,6 @@ import TestUtils
query predicate instances(Union x) { toBeTested(x) and not x.isUnknown() }
query predicate getExtendedCanonicalPath(Union x, string getExtendedCanonicalPath) {
toBeTested(x) and not x.isUnknown() and getExtendedCanonicalPath = x.getExtendedCanonicalPath()
}
query predicate getCrateOrigin(Union x, string getCrateOrigin) {
toBeTested(x) and not x.isUnknown() and getCrateOrigin = x.getCrateOrigin()
}
query predicate getAttributeMacroExpansion(Union x, MacroItems getAttributeMacroExpansion) {
toBeTested(x) and
not x.isUnknown() and

8
rust/ql/test/extractor-tests/generated/Use/Use.ql generated
View File

@@ -4,14 +4,6 @@ import TestUtils
query predicate instances(Use x) { toBeTested(x) and not x.isUnknown() }
query predicate getExtendedCanonicalPath(Use x, string getExtendedCanonicalPath) {
toBeTested(x) and not x.isUnknown() and getExtendedCanonicalPath = x.getExtendedCanonicalPath()
}
query predicate getCrateOrigin(Use x, string getCrateOrigin) {
toBeTested(x) and not x.isUnknown() and getCrateOrigin = x.getCrateOrigin()
}
query predicate getAttributeMacroExpansion(Use x, MacroItems getAttributeMacroExpansion) {
toBeTested(x) and
not x.isUnknown() and

8
rust/ql/test/extractor-tests/generated/Variant/Variant.ql generated
View File

@@ -4,14 +4,6 @@ import TestUtils
query predicate instances(Variant x) { toBeTested(x) and not x.isUnknown() }
query predicate getExtendedCanonicalPath(Variant x, string getExtendedCanonicalPath) {
toBeTested(x) and not x.isUnknown() and getExtendedCanonicalPath = x.getExtendedCanonicalPath()
}
query predicate getCrateOrigin(Variant x, string getCrateOrigin) {
toBeTested(x) and not x.isUnknown() and getCrateOrigin = x.getCrateOrigin()
}
query predicate getAttr(Variant x, int index, Attr getAttr) {
toBeTested(x) and not x.isUnknown() and getAttr = x.getAttr(index)
}