|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.eclipse.ocl.expressions.operations.TupleLiteralExpOperations
public class TupleLiteralExpOperations
A static utility class that provides operations related to 'Tuple Literal Exp' model objects.
The following operations are supported:
| Constructor Summary | |
|---|---|
protected |
TupleLiteralExpOperations()
|
| Method Summary | ||
|---|---|---|
static
|
checkPartsUnique(TupleLiteralExp<C,P> tupleLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
part->isUnique (attribute.name) |
|
static
|
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() |
|
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
protected TupleLiteralExpOperations()
| Method Detail |
|---|
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 2002, 2007 IBM Corporation and others. All Rights Reserved. |
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||