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)

Method Summary

int	compareTo(TypeURI o)
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

Field Detail

uri

@NonNull
protected final org.eclipse.emf.common.util.URI uri

Constructor Detail

TypeURI

public TypeURI(@NonNull
               org.eclipse.emf.common.util.URI uri)

Method Detail

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