org.eclipse.ocl.expressions
Interface TupleLiteralExp<C,P>

All Superinterfaces:

ASTNode, LiteralExp<C>, OCLExpression<C>, TypedElement<C>, Visitable

All Known Subinterfaces:

TupleLiteralExp, TupleLiteralExp

All Known Implementing Classes:

TupleLiteralExpImpl, TupleLiteralExpImpl, TupleLiteralExpImpl

public interface TupleLiteralExp<C,P>
extends LiteralExp<C>

A representation of the model object 'Tuple Literal Exp'.

The following features are supported:

• Part

See Also:

ExpressionsPackage.getTupleLiteralExp()

Method Summary

boolean	checkPartsUnique(DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) part->isUnique (attribute.name)
boolean	checkTupleType(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()
	getPart() Returns the value of the 'Part' containment reference list.

Methods inherited from interface org.eclipse.ocl.utilities.TypedElement

getName, getType, setName, setType

Methods inherited from interface org.eclipse.ocl.utilities.Visitable

accept

Methods inherited from interface org.eclipse.ocl.utilities.ASTNode

getEndPosition, getStartPosition, setEndPosition, setStartPosition

Method Detail

getPart

 getPart()

Returns the value of the 'Part' containment reference list. The list contents are of type TupleLiteralPart<C, P>.

If the meaning of the 'Part' containment reference list isn't clear, there really should be more of a description here...

Returns:

the value of the 'Part' containment reference list.

See Also:

ExpressionsPackage.getTupleLiteralExp_Part()

checkTupleType

boolean checkTupleType(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:

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

context - The cache of context-specific information.

checkPartsUnique

boolean checkPartsUnique(DiagnosticChain diagnostics,
                         java.util.Map<java.lang.Object,java.lang.Object> context)

part->isUnique (attribute.name)

Parameters:

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

context - The cache of context-specific information.