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:
- Generated
Method Summary |
static
|
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
|
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 java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
TupleLiteralExpOperations
protected TupleLiteralExpOperations()
-
- Generated
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