org.eclipse.ocl.expressions.operations
Class TupleLiteralExpOperations

java.lang.Object
  org.eclipse.ocl.expressions.operations.OCLExpressionOperations
      org.eclipse.ocl.expressions.operations.TupleLiteralExpOperations

public class TupleLiteralExpOperations
extends OCLExpressionOperations

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

The following operations are supported:

• Check Tuple Type
• Check Parts Unique

Generated

Constructor Summary

protected

TupleLiteralExpOperations()

Method Summary

static <C,P> boolean	checkPartsUnique(TupleLiteralExp<C,P> tupleLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) part->isUnique (attribute.name)
static <C,P> boolean	checkTupleType(TupleLiteralExp<C,P> tupleLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) type.oclIsKindOf (TupleType) and part->forAll (tlep | type.oclAsType (TupleType).allProperties()->exists (tp | tlep.attribute = tp)) and part->size() = type.oclAsType (TupleType).allProperties()->size()

Methods inherited from class org.eclipse.ocl.expressions.operations.OCLExpressionOperations

accept, getName, getType, setName, setType

Methods inherited from class java.lang.Object

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

Constructor Detail

TupleLiteralExpOperations

protected TupleLiteralExpOperations()

Generated

Method Detail

checkTupleType

public static <C,P> boolean checkTupleType(TupleLiteralExp<C,P> tupleLiteralExp,
                                           org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                           java.util.Map<java.lang.Object,java.lang.Object> context)

type.oclIsKindOf (TupleType) and part->forAll (tlep | type.oclAsType (TupleType).allProperties()->exists (tp | tlep.attribute = tp)) and part->size() = type.oclAsType (TupleType).allProperties()->size()

Parameters:

tupleLiteralExp - The receiving 'Tuple Literal Exp' model object.

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

context - The cache of context-specific information.

Generated

NOT

checkPartsUnique

public static <C,P> boolean checkPartsUnique(TupleLiteralExp<C,P> tupleLiteralExp,
                                             org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                             java.util.Map<java.lang.Object,java.lang.Object> context)

part->isUnique (attribute.name)

Parameters:

tupleLiteralExp - The receiving 'Tuple Literal Exp' model object.

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

context - The cache of context-specific information.

Generated

NOT