org.eclipse.ocl.types.operations
Class TupleTypeOperations

java.lang.Object
  org.eclipse.ocl.types.operations.TupleTypeOperations

public class TupleTypeOperations
extends java.lang.Object

A static utility class that provides operations related to 'Tuple Type' model objects.

The following operations are supported:

• Get Name
• Ocl Operations
• Check Tuple Type Name
• Check Part Names Unique
• Check Features Only Properties
• Ocl Properties

Constructor Summary

protected

TupleTypeOperations()

Method Summary

static <O,P> boolean	checkFeaturesOnlyProperties(TupleType<O,P> tupleType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) feature->forAll (f | f.oclIsTypeOf(Property))
static <O,P> boolean	checkPartNamesUnique(TupleType<O,P> tupleType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) true
static <O,P> boolean	checkTupleTypeName(TupleType<O,P> tupleType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) name = 'Tuple('.concat ( Sequence{1..allProperties()->size()}->iterate (pn; s: String = '' | let p: Property = allProperties()->at (pn) in ( s.concat ( (if (pn>1) then ',' else '' endif) .concat (p.name).concat (': ') .concat (p.type.name) ) ) ) ).concat (')')
static <O,P> java.lang.String	getName(TupleType<O,P> tupleType)
static <O,P>	oclOperations(TupleType<O,P> tupleType)
static <O,P>	oclProperties(TupleType<O,P> tupleType)

Methods inherited from class java.lang.Object

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

Constructor Detail

TupleTypeOperations

protected TupleTypeOperations()

Method Detail

getName

public static <O,P> java.lang.String getName(TupleType<O,P> tupleType)

Since:

1.3

oclOperations

public static <O,P>  oclOperations(TupleType<O,P> tupleType)

Since:

1.3

checkTupleTypeName

public static <O,P> boolean checkTupleTypeName(TupleType<O,P> tupleType,
                                               DiagnosticChain diagnostics,
                                               java.util.Map<java.lang.Object,java.lang.Object> context)

name = 'Tuple('.concat ( Sequence{1..allProperties()->size()}->iterate (pn; s: String = '' | let p: Property = allProperties()->at (pn) in ( s.concat ( (if (pn>1) then ',' else '' endif) .concat (p.name).concat (': ') .concat (p.type.name) ) ) ) ).concat (')')

Parameters:

tupleType - The receiving 'Tuple Type' model object.

diagnostics - The chain of diagnostics to which problems are to be appended.

context - The cache of context-specific information.

checkPartNamesUnique

public static <O,P> boolean checkPartNamesUnique(TupleType<O,P> tupleType,
                                                 DiagnosticChain diagnostics,
                                                 java.util.Map<java.lang.Object,java.lang.Object> context)

true

Parameters:

tupleType - The receiving 'Tuple Type' model object.

diagnostics - The chain of diagnostics to which problems are to be appended.

context - The cache of context-specific information.

checkFeaturesOnlyProperties

public static <O,P> boolean checkFeaturesOnlyProperties(TupleType<O,P> tupleType,
                                                        DiagnosticChain diagnostics,
                                                        java.util.Map<java.lang.Object,java.lang.Object> context)

feature->forAll (f | f.oclIsTypeOf(Property))

Parameters:

tupleType - The receiving 'Tuple Type' model object.

diagnostics - The chain of diagnostics to which problems are to be appended.

context - The cache of context-specific information.

oclProperties

public static <O,P>  oclProperties(TupleType<O,P> tupleType)