public class TupleLiteralExpOperations extends OCLExpressionOperations
The following operations are supported:
Check Tuple TypeCheck Parts Unique| Modifier | Constructor and Description |
|---|---|
protected |
TupleLiteralExpOperations() |
| 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 © 2015 Open eHealth Foundation. All rights reserved.