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.

Constructor Summary

CompleteOCLRegistry.Registration(org.eclipse.emf.common.util.URI resourceURI, java.lang.Iterable<java.lang.String> nsURIs)

Method Summary

boolean	equals(java.lang.Object obj)
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

CompleteOCLRegistry.Registration

public CompleteOCLRegistry.Registration(@NonNull
                                        org.eclipse.emf.common.util.URI resourceURI,
                                        @NonNull
                                        java.lang.Iterable<java.lang.String> nsURIs)

Method Detail

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