hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-02-12 13:11:20 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #21125 from paldepind/rust/builtin-refactor

Browse Source 
Rust: Use `getAssocItem` consistently in stdlib classes
This commit is contained in:
Simon Friis Vindum
2026-01-08 13:43:40 +01:00
committed by GitHub
parent 608fa1a0a3 56f5328530
commit c8728c24dc
1 changed files with 7 additions and 25 deletions
Download Patch File Download Diff File Expand all files Collapse all files

32
rust/ql/lib/codeql/rust/frameworks/stdlib/Stdlib.qll
View File

@@ -1,5 +1,5 @@
/**
* Provides classes modeling security-relevant aspects of the standard libraries.
* Provides classes modeling relevant aspects of the standard libraries.
*/
private import rust
@@ -140,10 +140,7 @@ class FutureTrait extends Trait {
/** Gets the `Output` associated type. */
pragma[nomagic]
TypeAlias getOutputType() {
result = this.getAssocItemList().getAnAssocItem() and
result.getName().getText() = "Output"
}
TypeAlias getOutputType() { result = this.(TraitItemNode).getAssocItem("Output") }
}
/**
@@ -160,10 +157,7 @@ class FnOnceTrait extends Trait {
/** Gets the `Output` associated type. */
pragma[nomagic]
TypeAlias getOutputType() {
result = this.getAssocItemList().getAnAssocItem() and
result.getName().getText() = "Output"
}
TypeAlias getOutputType() { result = this.(TraitItemNode).getAssocItem("Output") }
}
/**
@@ -177,10 +171,7 @@ class IteratorTrait extends Trait {
/** Gets the `Item` associated type. */
pragma[nomagic]
TypeAlias getItemType() {
result = this.getAssocItemList().getAnAssocItem() and
result.getName().getText() = "Item"
}
TypeAlias getItemType() { result = this.(TraitItemNode).getAssocItem("Item") }
}
/**
@@ -194,10 +185,7 @@ class IntoIteratorTrait extends Trait {
/** Gets the `Item` associated type. */
pragma[nomagic]
TypeAlias getItemType() {
result = this.getAssocItemList().getAnAssocItem() and
result.getName().getText() = "Item"
}
TypeAlias getItemType() { result = this.(TraitItemNode).getAssocItem("Item") }
}
/**
@@ -224,10 +212,7 @@ class DerefTrait extends Trait {
/** Gets the `Target` associated type. */
pragma[nomagic]
TypeAlias getTargetType() {
result = this.getAssocItemList().getAnAssocItem() and
result.getName().getText() = "Target"
}
TypeAlias getTargetType() { result = this.(TraitItemNode).getAssocItem("Target") }
}
/**
@@ -244,10 +229,7 @@ class IndexTrait extends Trait {
/** Gets the `Output` associated type. */
pragma[nomagic]
TypeAlias getOutputType() {
result = this.getAssocItemList().getAnAssocItem() and
result.getName().getText() = "Output"
}
TypeAlias getOutputType() { result = this.(TraitItemNode).getAssocItem("Output") }
}
/**