Class SsaReadPositionBlock

A basic block in which an SSA variable is read.

Import path

import semmle.code.java.dataflow.internal.rangeanalysis.SsaReadPositionCommon

getBlock	Gets the basic block corresponding to this position.
hasReadOfVar	Holds if `v` is read at this position.
toString	Gets a textual representation of this SSA read position.