org.eclipse.ocl.examples.codegen.analyzer
Class NameManager.Context

java.lang.Object
  org.eclipse.ocl.examples.codegen.analyzer.NameManager.Context

Enclosing class:

NameManager

public class NameManager.Context
extends java.lang.Object

Constructor Summary

NameManager.Context()

NameManager.Context(NameManager.Context context)

Method Summary

NameManager.Context	createNestedContext()
NameManager.Context	getContext()
protected java.lang.String	getGlobalUniqueName(java.lang.Object anObject, java.lang.String... nameHints)
java.lang.String	getSymbolName(java.lang.Object anObject, java.lang.String... nameHints)
java.lang.String	getUniqueName(java.lang.Object anObject, java.lang.String... nameHints) Return a unique name using some nameHints to suggest preferred names and allocate that name to anObject.

Methods inherited from class java.lang.Object

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

Constructor Detail

NameManager.Context

public NameManager.Context()

NameManager.Context

public NameManager.Context(@NonNull
                           NameManager.Context context)

Method Detail

createNestedContext

@NonNull
public NameManager.Context createNestedContext()

getContext

@NonNull
public NameManager.Context getContext()

getGlobalUniqueName

@NonNull
protected java.lang.String getGlobalUniqueName(@Nullable
                                                       java.lang.Object anObject,
                                                       @Nullable
                                                       java.lang.String... nameHints)

getSymbolName

@NonNull
public java.lang.String getSymbolName(@Nullable
                                              java.lang.Object anObject,
                                              @Nullable
                                              java.lang.String... nameHints)

getUniqueName

@NonNull
public java.lang.String getUniqueName(@Nullable
                                              java.lang.Object anObject,
                                              @Nullable
                                              java.lang.String... nameHints)

Return a unique name using some nameHints to suggest preferred names and allocate that name to anObject.

If anObject is non-null, any already allocated name is returned rather than allocating another name.

If anObject is null, the returned name is allocated to no object; not to the null value.

If nameHints is null a default name is generated.