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

Class SsaDefinitionExtNode

An (extended) 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

    Inherited fields

    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
    getControlFlowNodeImpl

    Do not call: use getControlFlowNode() instead.

    from SsaNode
    getDataFlowType

    Gets the type of this node used for type pruning.

    from NodeImpl
    getDefinitionExtfrom SsaNode
    getEnclosingCallable

    Gets the enclosing callable of this node.

    from Node
    getEnclosingCallableImpl

    Do not call: use getEnclosingCallable() instead.

    from SsaNode
    getLocation

    Gets the location of this node.

    from Node
    getLocationImpl

    Do not call: use getLocation() instead.

    from SsaNode
    getType

    Gets the type of this node.

    from Node
    getTypeImpl

    Do not call: use getType() instead.

    from SsaNode
    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
    toStringImpl

    Do not call: use toString() instead.

    from SsaNode