org.eclipse.ocl.pivot.utilities

Class XMIUtil.LinearPrefixedIdCreator

java.lang.Object

org.eclipse.ocl.pivot.utilities.XMIUtil.LinearPrefixedIdCreator

All Implemented Interfaces:

XMIUtil.IdCreator

Enclosing class:

XMIUtil

public static class XMIUtil.LinearPrefixedIdCreator
extends Object
implements XMIUtil.IdCreator

Create short xmi:id's comprising a prefix and a linearly increasing count

Constructor Summary

Constructors

Constructor and Description
LinearPrefixedIdCreator(String prefix)

Method Summary

Modifier and Type	Method and Description
String	createId(EObject eObject, Set<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

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

Constructor Detail

LinearPrefixedIdCreator

public LinearPrefixedIdCreator(String prefix)

Method Detail

createId

public String createId(EObject eObject,
                       Set<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