Uses of Class
org.eclipse.ocl.examples.pivot.manager.TupleTypeManager.TuplePart

Packages that use TupleTypeManager.TuplePart

org.eclipse.ocl.examples.pivot.manager
org.eclipse.ocl.examples.xtext.essentialocl.ui.labeling

Uses of TupleTypeManager.TuplePart in org.eclipse.ocl.examples.pivot.manager

Methods in org.eclipse.ocl.examples.pivot.manager with parameters of type TupleTypeManager.TuplePart

int	TupleTypeManager.TuplePart.compareTo(TupleTypeManager.TuplePart o)

Method parameters in org.eclipse.ocl.examples.pivot.manager with type arguments of type TupleTypeManager.TuplePart

protected TupleType

TupleTypeManager.getOrderedTupleType(java.lang.String name, java.util.List<TupleTypeManager.TuplePart> orderedParts) Return the named tuple type with the defined alphabetically ordered parts.

Uses of TupleTypeManager.TuplePart in org.eclipse.ocl.examples.xtext.essentialocl.ui.labeling

Methods in org.eclipse.ocl.examples.xtext.essentialocl.ui.labeling with parameters of type TupleTypeManager.TuplePart

protected java.lang.String	BaseLabelProvider.image(TupleTypeManager.TuplePart ele)
protected java.lang.String	BaseLabelProvider.text(TupleTypeManager.TuplePart ele)