CodeQL library for Rust
codeql/rust-all 0.2.7 (changelog, source)
Search

Class NumericType

A numerical type, such as i64, usize, f32 or f64.

Import path

import codeql.rust.frameworks.stdlib.Builtins

Direct supertypes

Indirect supertypes

Known direct subtypes

    Inherited predicates

    fromSource

    Holds if this element is from source code.

    from Locatable
    getACfgNode

    Gets a control flow node for this AST node, if any.

    from AstNode
    getADeriveMacroExpansion

    Gets any of the derive macro expansions of this type item.

    from TypeItem
    getAPrimaryQlClass

    Gets the name of a primary CodeQL class to which this element belongs.

    from Struct
    getAStructField

    Gets a record field, if any.

    from Struct
    getATupleField

    Gets a tuple field, if any.

    from Struct
    getAnAttr

    Gets any of the attrs of this type item.

    from TypeItem
    getAttr

    Gets the indexth attr of this type item (0-based).

    from TypeItem
    getAttributeMacroExpansion

    Gets the attribute macro expansion of this item, if it exists.

    from Item
    getCanonicalPath

    Gets the canonical path of this item, if any.

    from Addressable
    getCanonicalPath

    Gets the canonical path of this item, if any.

    from Addressable
    getDeriveMacroExpansion

    Gets the indexth derive macro expansion of this type item (0-based).

    from TypeItem
    getDisplayName

    Gets a display name for this type.

    from BuiltinType
    getEnclosingBlock

    Gets the block that encloses this node, if any.

    from AstNode
    getEnclosingCallable

    Gets the immediately enclosing callable of this node, if any.

    from AstNode
    getEnclosingCfgScope

    Gets the CFG scope that encloses this node, if any.

    from AstNode
    getFieldList

    Gets the field list of this struct, if it exists.

    from Struct
    getFile

    Gets the primary file where this element occurs.

    from Locatable
    getGenericParamList

    Gets the generic parameter list of this type item, if it exists.

    from TypeItem
    getLocationfrom Locatable
    getName

    Gets the name of this type.

    from BuiltinType
    getNumberOfAttrs

    Gets the number of attrs of this type item.

    from TypeItem
    getNumberOfDeriveMacroExpansions

    Gets the number of derive macro expansions of this type item.

    from TypeItem
    getParentNode

    Gets the nearest enclosing parent of this node, which is also an AstNode, if any.

    from AstNode
    getPrimaryQlClasses

    Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs.

    from Element
    getResolveStep

    Gets the most immediate element that should substitute this element in the explicit AST, if any. Classes can override this to indicate this node should be in the “hidden” AST, mostly reserved for conversions and syntactic sugar nodes like parentheses.

    from Element
    getStructField

    Gets the record field named name, if any.

    from Struct
    getTupleField

    Gets the ith tuple field, if any.

    from Struct
    getVisibility

    Gets the visibility of this type item, if it exists.

    from TypeItem
    getWhereClause

    Gets the where clause of this type item, if it exists.

    from TypeItem
    hasAttributeMacroExpansion

    Holds if getAttributeMacroExpansion() exists.

    from Item
    hasCanonicalPath

    Holds if this item has a canonical path.

    from Addressable
    hasEnclosingCfgScope

    Holds if this node is inside a CFG scope.

    from AstNode
    hasFieldList

    Holds if getFieldList() exists.

    from Struct
    hasGenericParamList

    Holds if getGenericParamList() exists.

    from TypeItem
    hasName

    Holds if getName() exists.

    from TypeItem
    hasVisibility

    Holds if getVisibility() exists.

    from TypeItem
    hasWhereClause

    Holds if getWhereClause() exists.

    from TypeItem
    isFromMacroExpansion

    Holds if this node exists only as the result of a macro expansion.

    from AstNode
    isInMacroExpansion

    Holds if this node is inside a macro expansion.

    from AstNode
    isStruct

    Holds if this struct uses struct fields.

    from Struct
    isTuple

    Holds if this struct uses tuple fields.

    from Struct
    isUnit

    Holds if this struct does not have a field list.

    from Struct
    isUnknownfrom Element
    resolve

    Gets the element that should substitute this element in the explicit AST, applying getResolveStep transitively.

    from Element
    toAbbreviatedString

    INTERNAL: Do not use.

    from Element
    toString

    Gets the string representation of this element.

    from Element
    toStringImpl

    INTERNAL: Do not use.

    from Struct