CodeQL library for Java/Kotlin
codeql/java-all 9.3.2 (changelog, source)
Index
Search

Class BaseSsaVariable

DEPRECATED: Use SsaDefinition instead.

An SSA variable.

Import path

import semmle.code.java.dataflow.internal.BaseSSA

Direct supertypes

Indirect supertypes

Known direct subtypes

    Predicates

    getAUse

    DEPRECATED: Use getARead() instead.

    getAnUltimateDefinition

    DEPRECATED: Use SsaCapturedDefinition::getAnUltimateCapturedDefinition() and/or SsaDefinition::getAnUltimateDefinition() instead.

    getAnUltimateLocalDefinition

    DEPRECATED: Use SsaDefinition::getAnUltimateDefinition() instead.

    getCfgNode

    DEPRECATED: Use getControlFlowNode() instead.

    isLiveAtEndOfBlock

    Holds if this SSA variable is live at the end of b.

    Inherited predicates

    definesAt

    Holds if this SSA definition defines v at index i in basic block bb. Phi nodes are considered to be at index -1, while normal variable writes are at the index of the control flow node they wrap.

    		from Definition
    getBasicBlock

    Gets the basic block to which this SSA definition belongs.

    		from Definition
    getLocation

    Gets the location of this SSA definition.

    		from Definition
    getSourceVariable

    Gets the source variable underlying this SSA definition.

    		from Definition
    toString

    Gets a textual representation of this SSA definition.

    		from Definition