org.eclipse.emf.henshin.statespace.util
Class ObjectKeyHelper

java.lang.Object
  org.eclipse.emf.henshin.statespace.util.ObjectKeyHelper

public class ObjectKeyHelper
extends Object

Helper class for dealing with object keys.

Constructor Summary

ObjectKeyHelper()

Method Summary

static int	createObjectKey(EClass type, int id, List<EClass> identityTypes) Extract the object type of an object key.
static int	getObjectID(int objectKey) Extract the object ID of an object identity.
static EClass	getObjectType(int objectKey, List<EClass> identityTypes) Extract the object type of an object key.
static String	getObjectTypePrefix(int objectKey) Extract the supported type prefix of an object key.

Methods inherited from class java.lang.Object

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

Constructor Detail

ObjectKeyHelper

public ObjectKeyHelper()

Method Detail

getObjectType

public static EClass getObjectType(int objectKey,
                                   List<EClass> identityTypes)

Extract the object type of an object key.

getObjectTypePrefix

public static String getObjectTypePrefix(int objectKey)

Extract the supported type prefix of an object key.

getObjectID

public static int getObjectID(int objectKey)

Extract the object ID of an object identity.

createObjectKey

public static int createObjectKey(EClass type,
                                  int id,
                                  List<EClass> identityTypes)

Extract the object type of an object key.