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