org.eclipse.ocl.pivot.utilities

Class XMIUtil.ShortPrefixedIdCreator

java.lang.Object

org.eclipse.ocl.pivot.utilities.XMIUtil.ShortPrefixedIdCreator

All Implemented Interfaces:

XMIUtil.IdCreator

Enclosing class:

XMIUtil

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

Create short xmi:id's comprising a prefix and a small random count

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.String	prefix

Constructor Summary

Constructors

Constructor and Description
ShortPrefixedIdCreator(java.lang.String prefix)

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

Field Detail

prefix

@NonNull
protected final java.lang.String prefix

Constructor Detail

ShortPrefixedIdCreator

public ShortPrefixedIdCreator(@NonNull
                              java.lang.String prefix)

Method Detail

createId

@Nullable
public java.lang.String createId(@NonNull
                                            org.eclipse.emf.ecore.EObject eObject,
                                            @NonNull
                                            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