public static final class PivotDiagnostician.WeakOCLReference extends java.lang.ref.WeakReference<OCL>
protected OCL
ocl
protected
WeakOCLReference(OCL ocl)
void
finalize()
clear, enqueue, get, isEnqueued
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
@NonNull protected final OCL ocl
protected WeakOCLReference(@NonNull OCL ocl)
public void finalize()
finalize
java.lang.Object