org.eclipse.ocl.examples.pivot.utilities
Class Abstract2Moniker

java.lang.Object
  extended by org.eclipse.ocl.examples.pivot.utilities.Abstract2Moniker
All Implemented Interfaces:
PivotConstants
Direct Known Subclasses:
CS2Moniker, Pivot2Moniker

public abstract class Abstract2Moniker
extends java.lang.Object
implements PivotConstants


Field Summary
protected  org.eclipse.emf.ecore.EObject target
          The CS element for which a moniker is required.
static TracingOption TRACE_MONIKERS
           
 
Fields inherited from interface org.eclipse.ocl.examples.pivot.utilities.PivotConstants
ACCUMULATOR_SEPARATOR, ANNOTATION_QUOTE, BINDINGS_PREFIX, COLLECTION_NAVIGATION_OPERATOR, GREATER_THAN_OPERATOR, GREATER_THAN_OR_EQUAL_OPERATOR, ITERATOR_SEPARATOR, LESS_THAN_OPERATOR, LESS_THAN_OR_EQUAL_OPERATOR, LIBRARY_MONIKER_PREFIX, MONIKER_EXP_CHILD_PREFIX, MONIKER_IF_EXP, MONIKER_INVALID_LITERAL_EXP, MONIKER_LET_EXP, MONIKER_NULL_LITERAL_EXP, MONIKER_OPERATOR_SEPARATOR, MONIKER_OVERFLOW_LIMIT, MONIKER_PART_SEPARATOR, MONIKER_ROOT_EXP, MONIKER_SCOPE_SEPARATOR, MONIKER_STRING_LITERAL_EXP, MONIKER_TUPLE_LITERAL_EXP, MONIKER_UNLIMITED_NATURAL_LITERAL_EXP, NULL_MARKER, NULL_ROOT, OBJECT_NAVIGATION_OPERATOR, OCL_LANGUAGE, OCL_NAME, OCL_SELF_NAME, ORPHANAGE_NAME, ORPHANAGE_PREFIX, ORPHANAGE_URI, OVERFLOW_MARKER, PARAMETER_PREFIX, PARAMETER_SEPARATOR, PARAMETER_SUFFIX, PRECEDENCE_PREFIX, roleNames, TEMPLATE_BINDING_PREFIX, TEMPLATE_BINDING_SEPARATOR, TEMPLATE_BINDING_SUFFIX, TEMPLATE_PARAMETER_PREFIX, TEMPLATE_SIGNATURE_PREFIX, TEMPLATE_SIGNATURE_SEPARATOR, TEMPLATE_SIGNATURE_SUFFIX, TUPLE_SIGNATURE_PART_SEPARATOR, TUPLE_SIGNATURE_PREFIX, TUPLE_SIGNATURE_SUFFIX, TUPLE_SIGNATURE_TYPE_SEPARATOR, UNKNOWN_TYPE_TEXT, UNRESOLVED_PROXY_MARKER, WILDCARD_INDICATOR, WILDCARD_NAME
 
Constructor Summary
protected Abstract2Moniker(org.eclipse.emf.ecore.EObject target)
           
 
Method Summary
 void append(char c)
           
 void append(int i)
           
 void append(java.lang.String string)
           
 void appendElement(Element element)
           
 void appendElement(Element element, java.util.Map<TemplateParameter,ParameterableElement> templateBindings)
           
 void appendIndex(org.eclipse.emf.ecore.EObject eObject)
           
 void appendLambdaType(Type contextType, java.util.List<? extends Type> parameterTypes, Type resultType, java.util.Map<TemplateParameter,ParameterableElement> bindings)
           
protected  void appendMultiplicity(MultiplicityElement multiplicityElement)
           
 void appendName(MonikeredElement monikeredElement)
           
 void appendParameters(Operation operation, java.util.Map<TemplateParameter,ParameterableElement> templateBindings)
           
 void appendParent(Element element, java.lang.String parentSeparator)
           
 void appendRole(Element object)
           
 void appendTemplateBindings(TemplateableElement templateableElement, java.util.Map<TemplateParameter,ParameterableElement> bindings)
           
 void appendTemplateParameters(TemplateableElement templateableElement)
           
 void appendTupleType(java.util.Collection<? extends TypedElement> tupleParts)
           
protected  void emittedTemplateParameter(TemplateParameter templateParameter)
           
 boolean hasEmitted(TemplateParameter templateParameter)
           
protected  boolean isSpecialized(java.util.List<TemplateBinding> templateBindings, java.util.Map<TemplateParameter,ParameterableElement> bindings)
           
protected  int length()
          Return the length of the moniker so far.
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

TRACE_MONIKERS

public static final TracingOption TRACE_MONIKERS

target

protected final org.eclipse.emf.ecore.EObject target
The CS element for which a moniker is required.

Constructor Detail

Abstract2Moniker

protected Abstract2Moniker(org.eclipse.emf.ecore.EObject target)
Method Detail

append

public void append(char c)

append

public void append(int i)

append

public void append(java.lang.String string)

appendElement

public void appendElement(Element element)

appendElement

public void appendElement(Element element,
                          java.util.Map<TemplateParameter,ParameterableElement> templateBindings)

appendIndex

public void appendIndex(org.eclipse.emf.ecore.EObject eObject)

appendLambdaType

public void appendLambdaType(Type contextType,
                             java.util.List<? extends Type> parameterTypes,
                             Type resultType,
                             java.util.Map<TemplateParameter,ParameterableElement> bindings)

appendMultiplicity

protected void appendMultiplicity(MultiplicityElement multiplicityElement)

appendName

public void appendName(MonikeredElement monikeredElement)

appendParameters

public void appendParameters(Operation operation,
                             java.util.Map<TemplateParameter,ParameterableElement> templateBindings)

appendParent

public void appendParent(Element element,
                         java.lang.String parentSeparator)

appendRole

public void appendRole(Element object)

appendTemplateBindings

public void appendTemplateBindings(TemplateableElement templateableElement,
                                   java.util.Map<TemplateParameter,ParameterableElement> bindings)

appendTemplateParameters

public void appendTemplateParameters(TemplateableElement templateableElement)

appendTupleType

public void appendTupleType(java.util.Collection<? extends TypedElement> tupleParts)

emittedTemplateParameter

protected void emittedTemplateParameter(TemplateParameter templateParameter)

hasEmitted

public boolean hasEmitted(TemplateParameter templateParameter)

isSpecialized

protected boolean isSpecialized(java.util.List<TemplateBinding> templateBindings,
                                java.util.Map<TemplateParameter,ParameterableElement> bindings)

length

protected int length()
Return the length of the moniker so far.


toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object