Class MakeUtils::SsaReadPositionBlock
A basic block in which an SSA variable is read.
Import path
import codeql.rangeanalysis.internal.RangeUtils
Direct supertypes
Indirect supertypes
Predicates
getAnSsaRead | |
getBlock | Gets the basic block corresponding to this position. |
hasReadOfVar | Holds if |
toString | Gets a textual representation of this SSA read position. |