org.eclipse.ocl.examples.pivot.utilities
Class PathElement
java.lang.Object
org.eclipse.ocl.examples.pivot.utilities.PathElement
public class PathElement
- extends java.lang.Object
A PathElement represents a segment in a qualified name.
A pair of Lists of PathElement can have their common prefix skipped by @link{getCommonLength}
to provide a scope dependent qualified name.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
name
protected final java.lang.String name
element
protected final Element element
PathElement
public PathElement(java.lang.String name,
Element element)
getCommonLength
public static int getCommonLength(java.util.List<PathElement> firstPath,
java.util.List<PathElement> secondPath)
getPath
public static java.util.List<PathElement> getPath(org.eclipse.emf.ecore.EObject element)
getPath
public static java.util.List<PathElement> getPath(org.eclipse.emf.ecore.EObject element,
MetaModelManager metaModelManager)
getElement
public final Element getElement()
getName
public final java.lang.String getName()
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object