org.eclipse.ocl.pivot.internal.registry

Class CompleteOCLRegistry.Registration

java.lang.Object

org.eclipse.ocl.pivot.internal.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

Constructors

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

Method Summary

Modifier and Type	Method and Description
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

Registration

public 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