class PositionPickler

Constructors

PositionPickler ( pickler: TastyPickler , addrOfTree: Tree => Option [ Addr ] )

Members

private val addrOfTree : Tree => Option [ Addr ]
val buf : TastyBuffer
private val pickler : TastyPickler
private val remainingAddrs : IdentityHashMap [ Tree, Iterator [ Addr ] ]
def header ( addrDelta: Int , hasStartDelta: Boolean , hasEndDelta: Boolean , hasPoint: Boolean ) : Int
def picklePositions ( roots: List [ Tree ] ) ( implicit ctx: Context ) : Unit