org.eclipse.ocl.examples.emf.validation.validity.manager
Class ConstrainingURI

java.lang.Object
  org.eclipse.ocl.examples.emf.validation.validity.manager.ConstrainingURI

public final class ConstrainingURI
extends java.lang.Object

A ConstrainingURI provides the unique identity of a Constraining Node, which is a meta-model node and which typically forms the basis of a distinct tree node in the RH pane of the Validity View.

Duplicate nodes such as multiple same-named contexts in CompleteOCL may be merged.

Field Summary

protected org.eclipse.emf.common.util.URI

uri

Constructor Summary

ConstrainingURI(org.eclipse.emf.common.util.URI uri)

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

Field Detail

uri

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

Constructor Detail

ConstrainingURI

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

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