org.eclipse.ocl.examples.emf.validation.validity.manager
Class TypeURI
java.lang.Object
org.eclipse.ocl.examples.emf.validation.validity.manager.TypeURI
- All Implemented Interfaces:
- java.lang.Comparable<TypeURI>
public final class TypeURI
- extends java.lang.Object
- implements java.lang.Comparable<TypeURI>
A TypeURI provides the unique identity of a Type which is a unique concept for type checking
but which may have multiple representations in the LH/RH panes of the Validity View.
The TypeURI is computed from the namespace URI.
Field Summary |
protected org.eclipse.emf.common.util.URI |
uri
|
Constructor Summary |
TypeURI(org.eclipse.emf.common.util.URI uri)
|
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
uri
@NonNull
protected final org.eclipse.emf.common.util.URI uri
TypeURI
public TypeURI(@NonNull
org.eclipse.emf.common.util.URI uri)
compareTo
public int compareTo(TypeURI o)
- Specified by:
compareTo
in interface java.lang.Comparable<TypeURI>
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