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

Rust: Add qldoc

Browse Source
This commit is contained in:
Simon Friis Vindum
2025-11-25 10:19:49 +01:00
parent 393da4567e
commit 4f13ae3fc9
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
rust/ql/lib/codeql/rust/elements/internal/VariantImpl.qll
View File

@@ -36,6 +36,7 @@ module Impl {
pragma[nomagic]
TupleField getTupleField(int i) { result = this.getFieldList().(TupleFieldList).getField(i) }
/** Gets the number of fields of this variant. */
int getNumberOfFields() {
not this.hasFieldList() and
result = 0