org.eclipse.ocl.examples.pivot.utilities
Class PathElement

java.lang.Object
  extended by 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.


Field Summary
protected  Element element
           
protected  java.lang.String name
           
 
Constructor Summary
PathElement(java.lang.String name, Element element)
           
 
Method Summary
static int getCommonLength(java.util.List<PathElement> firstPath, java.util.List<PathElement> secondPath)
           
 Element getElement()
           
 java.lang.String getName()
           
static java.util.List<PathElement> getPath(org.eclipse.emf.ecore.EObject element)
           
static java.util.List<PathElement> getPath(org.eclipse.emf.ecore.EObject element, MetaModelManager metaModelManager)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

name

protected final java.lang.String name

element

protected final Element element
Constructor Detail

PathElement

public PathElement(java.lang.String name,
                   Element element)
Method Detail

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