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

Class Impl::Const

A constant item declaration.

For example:

const X: i32 = 42;

Import path

import codeql.rust.elements.internal.ConstImpl

Direct supertypes

Indirect supertypes

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
getAPrimaryQlClass

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

from Const
getAnAttr

Gets any of the attrs of this const.

from Const
getAttr

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

from Const
getAttributeMacroExpansion

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

from Item
getBody

Gets the body of this const, if it exists.

from Const
getCanonicalPath

Gets the canonical path of this item, if any.

from Addressable
getCanonicalPath

Gets the canonical path of this item, if any.

from Addressable
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
getFile

Gets the primary file where this element occurs.

from Locatable
getGenericParamList

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

from Const
getLocationfrom Locatable
getName

Gets the name of this const, if it exists.

from Const
getNumberOfAttrs

Gets the number of attrs of this const.

from Const
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
getTypeRepr

Gets the type representation of this const, if it exists.

from Const
getVisibility

Gets the visibility of this const, if it exists.

from Const
getWhereClause

Gets the where clause of this const, if it exists.

from Const
hasAttributeMacroExpansion

Holds if getAttributeMacroExpansion() exists.

from Item
hasBody

Holds if getBody() exists.

from Const
hasCanonicalPath

Holds if this item has a canonical path.

from Addressable
hasEnclosingCfgScope

Holds if this node is inside a CFG scope.

from AstNode
hasGenericParamList

Holds if getGenericParamList() exists.

from Const
hasImplementation

Holds if this constant has an implementation.

from Const
hasName

Holds if getName() exists.

from Const
hasTypeRepr

Holds if getTypeRepr() exists.

from Const
hasVisibility

Holds if getVisibility() exists.

from Const
hasWhereClause

Holds if getWhereClause() exists.

from Const
implements

Holds if this item implements trait item other.

from AssocItem
isConst

Holds if this const is const.

from Const
isDefault

Holds if this const is default.

from Const
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
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 Element