CodeQL library for C#
codeql/csharp-all 0.8.12 (changelog, source)
Search

Class SsaDefinitionExtNode

An SSA definition, viewed as a node in a data flow graph.

Import path

import semmle.code.csharp.dataflow.internal.DataFlowPrivate

Direct supertypes

Indirect supertypes

Known direct subtypes

    Fields

    Predicates

    getControlFlowNodeImpl

    Do not call: use getControlFlowNode() instead.

    getDefinitionExt

    Gets the underlying SSA definition.

    getEnclosingCallableImpl

    Do not call: use getEnclosingCallable() instead.

    getLocationImpl

    Do not call: use getLocation() instead.

    getTypeImpl

    Do not call: use getType() instead.

    toStringImpl

    Do not call: use toString() instead.

    Inherited predicates

    asDefinition

    Gets the definition corresponding to this node, if any.

    from Node
    asDefinitionAtNode

    Gets the definition corresponding to this node, at control flow node cfn, if any.

    from Node
    asExpr

    Gets the expression corresponding to this node, if any.

    from Node
    asExprAtNode

    Gets the expression corresponding to this node, at control flow node cfn, if any.

    from Node
    asParameter

    Gets the parameter corresponding to this node, if any.

    from Node
    getControlFlowNode

    Gets the control flow node corresponding to this node, if any.

    from Node
    getDataFlowType

    Gets the type of this node used for type pruning.

    from NodeImpl
    getEnclosingCallable

    Gets the enclosing callable of this node.

    from Node
    getLocation

    Gets the location of this node.

    from Node
    getType

    Gets the type of this node.

    from Node
    hasLocationInfo

    Holds if this element is at the specified location. The location spans column startcolumn of line startline to column endcolumn of line endline in file filepath. For more information, see Locations.

    from Node
    toString

    Gets a textual representation of this node.

    from Node

    Charpred