org.eclipse.ocl.examples.pivot.manager
Class TupleTypeManager

java.lang.Object
  org.eclipse.ocl.examples.pivot.manager.TupleTypeManager

public class TupleTypeManager
extends java.lang.Object

TupleTypeManager encapsulates the knowledge about known tuple types.

Nested Class Summary

static class

TupleTypeManager.TuplePart TuplePart provides a convenient descriptor for a tuple part complying with the full EMF model protocols.

Field Summary

protected MetaModelManager

metaModelManager

Constructor Summary

protected

TupleTypeManager(MetaModelManager metaModelManager)

Method Summary

void	dispose()
Type	getCommonType(TupleType leftType, TupleType rightType, java.util.Map<TemplateParameter,ParameterableElement> bindings)
protected TupleType	getOrderedTupleType(java.lang.String name, java.util.List<TupleTypeManager.TuplePart> orderedParts) Return the named tuple type with the defined alphabetically ordered parts.
TupleType	getTupleType(java.lang.String typeName, java.util.Collection<? extends DomainTypedElement> parts, java.util.Map<TemplateParameter,ParameterableElement> bindings)
TupleType	getTupleType(TupleType type, java.util.Map<TemplateParameter,ParameterableElement> usageBindings)

Methods inherited from class java.lang.Object

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

Field Detail

metaModelManager

protected final MetaModelManager metaModelManager

Constructor Detail

TupleTypeManager

protected TupleTypeManager(MetaModelManager metaModelManager)

Method Detail

dispose

public void dispose()

getCommonType

public Type getCommonType(TupleType leftType,
                          TupleType rightType,
                          java.util.Map<TemplateParameter,ParameterableElement> bindings)

getOrderedTupleType

protected TupleType getOrderedTupleType(java.lang.String name,
                                        java.util.List<TupleTypeManager.TuplePart> orderedParts)

Return the named tuple type with the defined alphabetically ordered parts.

getTupleType

public TupleType getTupleType(java.lang.String typeName,
                              java.util.Collection<? extends DomainTypedElement> parts,
                              java.util.Map<TemplateParameter,ParameterableElement> bindings)

getTupleType

public TupleType getTupleType(TupleType type,
                              java.util.Map<TemplateParameter,ParameterableElement> usageBindings)