org.eclipse.ocl.examples.pivot.registry
Class CompleteOCLRegistry.Registration
java.lang.Object
org.eclipse.ocl.examples.pivot.registry.CompleteOCLRegistry.Registration
- Enclosing class:
- CompleteOCLRegistry
public static class CompleteOCLRegistry.Registration
- extends java.lang.Object
A Registration identifies a contribution to a Registry enabling the registry to be rebuilt if a registration is removed.
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
CompleteOCLRegistry.Registration
public CompleteOCLRegistry.Registration(@NonNull
org.eclipse.emf.common.util.URI resourceURI,
@NonNull
java.lang.Iterable<java.lang.String> nsURIs)
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equals
in class java.lang.Object
hashCode
public int hashCode()
- Overrides:
hashCode
in class java.lang.Object
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object