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

Constructors

Constructor and Description
Context()
Context(NameManager.Context context)

Method Summary

Modifier and Type	Method and Description
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.
java.lang.String	toString() Reserve name for use by anObject.

Methods inherited from class java.lang.Object

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

Constructor Detail

Context

public Context()

Context

public 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.

toString

@NonNull
public java.lang.String toString()

Reserve name for use by anObject. If anObject is null, the reservation is for an unspecified object not for the null value. public @NonNull String reserveName(@NonNull String name, @Nullable Object anObject) { assert !frozen; assert !(anObject instanceof RealValue); String validJavaIdentifier = getUniqueName(anObject, getValidJavaIdentifier(name, true, anObject)); Object oldElement = name2object.put(validJavaIdentifier, anObject); // FIXME redundant assert (oldElement == null) || (oldElement == anObject); return validJavaIdentifier; }

Overrides:

toString in class java.lang.Object