org.eclipse.ocl.examples.pivot.uml
Class UMLOCLEValidator.WeakOCLReference

java.lang.Object
  java.lang.ref.Reference<T>
      java.lang.ref.WeakReference<OCL>
          org.eclipse.ocl.examples.pivot.uml.UMLOCLEValidator.WeakOCLReference

Enclosing class:

UMLOCLEValidator

protected static final class UMLOCLEValidator.WeakOCLReference
extends java.lang.ref.WeakReference<OCL>

WeakOCLReference maintains the reference to the OCL context within the Diagnostician context and disposes of it once the Diagnostician is done.

Field Summary

protected OCL

ocl

Constructor Summary

protected

UMLOCLEValidator.WeakOCLReference(OCL ocl)

Method Summary

void	finalize()

Methods inherited from class java.lang.ref.Reference

clear, enqueue, get, isEnqueued

Methods inherited from class java.lang.Object

clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

ocl

@NonNull
protected final OCL ocl

Constructor Detail

UMLOCLEValidator.WeakOCLReference

protected UMLOCLEValidator.WeakOCLReference(@NonNull
                                            OCL ocl)

Method Detail

finalize

public void finalize()

Overrides:

finalize in class java.lang.Object