Class PatternMatch
An expression or statement that matches the value of an expression against
a pattern. Either an is
expression or a case
expression/statement.
Import path
import csharp
Direct supertypes
Indirect supertypes
Predicates
getExpr | Gets the expression that is matched against a pattern. |
getPattern | Gets the pattern of this match. |
Inherited predicates
controlsBlock | Holds if basic block | from ControlFlowElement |
fromLibrary | Holds if this element is from an assembly. | from Element |
fromSource | Holds if this element is from source code. | from Element |
getAChild | Gets a child of this element, if any. | from Element |
getAChildExpr | Gets a child expression of this element, if any. | from ExprOrStmtParent |
getAChildStmt | Gets a child statement of this element, if any. | from ExprOrStmtParent |
getAControlFlowEntryNode | Gets a first control flow node executed within this element. | from ControlFlowElement |
getAControlFlowExitNode | Gets a potential last control flow node executed within this element. | from ControlFlowElement |
getAControlFlowNode | Gets a control flow node for this element. That is, a node in the control flow graph that corresponds to this element. | from ControlFlowElement |
getALocation | Gets a location of this element, including sources and assemblies. | from Element |
getAPrimaryQlClass | Gets the name of a primary CodeQL class to which this element belongs. | from Element |
getAReachableElement | Gets an element that is reachable from this element. | from ControlFlowElement |
getAssembly | Gets the assembly that this element was compiled into. | from ControlFlowElement |
getChild | Gets the | from ExprOrStmtParent |
getChildExpr | Gets the | from ExprOrStmtParent |
getChildStmt | Gets the | from ExprOrStmtParent |
getEnclosingCallable | Gets the enclosing callable of this element, if any. | from ControlFlowElement |
getFile | Gets the file containing this element. | from Element |
getIndex | Gets the index of this element among its parent’s other children (zero-based). | from Element |
getLocation | Gets the location of this element. Where an element has locations in source and assemblies, choose the source location. If there are multiple assembly locations, choose only one. | from Element |
getNumberOfChildren | Gets the number of children of this element. | from Element |
getParent | Gets the parent of this element, if any. | from Element |
getPrimaryQlClasses | Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs. | from Element |
isLive | Holds if this element is live, that is this element can be reached from the entry point of its enclosing callable. | from ControlFlowElement |
reachableFrom | Holds if the current element is reachable from | from ControlFlowElement |
toString | Gets a textual representation of this element. | from Element |
toStringWithTypes | Gets the full textual representation of this element, including type information. | from Element |