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

Class MakeUtils::SsaReadPosition

A position at which an SSA variable is read. This includes both ordinary reads occurring in basic blocks and input to phi nodes occurring along an edge between two basic blocks.

Import path

import codeql.rangeanalysis.internal.RangeUtils

Direct supertypes

Known direct subtypes

    Predicates

    hasReadOfVar

    Holds if v is read at this position.

    toString

    Gets a textual representation of this SSA read position.