class PositionUnpickler

Unpickler for tree positions

Constructors

PositionUnpickler ( reader: TastyReader )

Members

lazy val positions : HashMap [ Addr, Position ]
private val reader : TastyReader
def posAt ( addr: Addr ) : B