Class StablePointers

java.lang.Object
thc.runtime.StablePointers

public final class StablePointers extends Object
StablePtr# roots belong to a context; their AddrRep carrier is opaque.