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

Class StructPatCfgNode

A record pattern. For example:

match x {
    Foo { a: 1, b: 2 } => "ok",
    Foo { .. } => "fail",
}

Import path

import codeql.rust.controlflow.CfgNodes

Direct supertypes

Indirect supertypes

Predicates

getFieldPat

Gets the record pattern for the field field.

Inherited predicates

getAPredecessor

Gets an immediate predecessor, if any.

from NodeImpl
getAPredecessor

Gets an immediate predecessor node of a given flow type, if any.

from NodeImpl
getASplit

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

from AstCfgNodeImpl
getASuccessor

Gets an immediate successor, if any.

from NodeImpl
getASuccessor

Gets a successor node of a given type, if any.

from NodeImpl
getAstNode

Gets the AST node that this node corresponds to, if any.

from AstCfgNodeImpl
getLocation

Gets the location of this control flow node.

from AstCfgNodeImpl
getPat

Gets the underlying Pat.

from PatCfgNode
getScope

Gets the scope of this node.

from NodeImpl
getSplitsString

Gets a comma-separated list of strings for each split in this node, if any.

from AstCfgNodeImpl
getStructPat

Gets the underlying StructPat.

from StructPatCfgNode
getStructPatFieldList

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

from StructPatCfgNode
hasStructPatFieldList

Holds if getStructPatFieldList() exists.

from StructPatCfgNode
isBranch

Holds if this node has more than one successor.

from NodeImpl
isCondition

Holds if this control flow node has conditional successors.

from NodeImpl
isJoin

Holds if this node has more than one predecessor.

from NodeImpl
toString

Gets a textual representation of this control flow node.

from AstCfgNodeImpl

Charpred