public class TupleLiteralExpOperations extends OCLExpressionOperations
The following operations are supported:
Check Tuple Type
Check Parts Unique
Modifier and Type | Method and Description |
---|---|
static <C,P> boolean |
checkPartsUnique(TupleLiteralExp<C,P> tupleLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
part->isUnique (attribute.name)
|
static <C,P> boolean |
checkTupleType(TupleLiteralExp<C,P> tupleLiteralExp,
DiagnosticChain diagnostics,
Map<Object,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()
|
public static <C,P> boolean checkTupleType(TupleLiteralExp<C,P> tupleLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)
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.
public static <C,P> boolean checkPartsUnique(TupleLiteralExp<C,P> tupleLiteralExp, DiagnosticChain diagnostics, Map<Object,Object> context)
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.
Copyright © 2005, 2018 IBM Corporation and others. All Rights Reserved.