org.eclipse.ocl.pivot.utilities

Class XMIUtil.UUIDCreator

java.lang.Object

org.eclipse.ocl.pivot.utilities.XMIUtil.UUIDCreator

All Implemented Interfaces:

XMIUtil.IdCreator

Enclosing class:

XMIUtil

public static class XMIUtil.UUIDCreator
extends java.lang.Object
implements XMIUtil.IdCreator

Create xmi:id's comprising a unique universal identifier

Constructor Summary

Constructors

Constructor and Description
UUIDCreator()

Method Summary

Modifier and Type	Method and Description
java.lang.String	createId(org.eclipse.emf.ecore.EObject eObject, java.util.Set<java.lang.String> knownIds) Create the id for eObject avoiding any ids in knownIds, which may be null for no exclusions.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

UUIDCreator

public UUIDCreator()

Method Detail

createId

public java.lang.String createId(org.eclipse.emf.ecore.EObject eObject,
                                 java.util.Set<java.lang.String> knownIds)

Description copied from interface: XMIUtil.IdCreator

Create the id for eObject avoiding any ids in knownIds, which may be null for no exclusions.

Specified by:

createId in interface XMIUtil.IdCreator