hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-14 11:19:27 +02:00
Code Issues Packages Projects Releases Wiki Activity

Update docs/codeql/codeql-language-guides/customizing-library-models-for-rust.rst

Browse Source 
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
This commit is contained in:
Florin Coada
2026-04-21 16:43:40 +01:00
committed by GitHub
parent da88268943
commit d60a30d1f2
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
docs/codeql/codeql-language-guides/customizing-library-models-for-rust.rst
View File

@@ -533,7 +533,7 @@ The following tokens are commonly used:
- **ReturnValue** selects the return value of a function call.
- **Element** selects an element in a collection (such as a ``Vec``, ``HashMap``, or iterator).
- **Field[**\ ``type::field``\ **]** selects a named field of a struct or enum variant. For example, ``Field[ihex::Record::Data::value]`` selects the field ``value`` of the ``ihex::Record::Data`` variant.
- **Field[**\ ``type(i)``\ **]** selects the ``i``-th positional field of a tuple struct or tuple enum variant. For example, ``Field[core::result::Result::Ok(0)]`` selects the value inside ``Ok``.
- **Field[**\ ``type(i)``\ **]** selects the ``i``-th positional field of a tuple struct or tuple enum variant. For example, ``Field[core::result::Result::Ok(0)]`` selects the first positional value inside ``Ok``.
- **Field[**\ ``i``\ **]** selects the ``i``-th element of a tuple.
- **Reference** follows through a reference (``&T`` or ``&mut T``) to reach the referenced value.
- **Future** follows through a ``Future`` to reach the value that will be available after ``.await``.