|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface TupleLiteralExp<C,P>
A representation of the model object 'Tuple Literal Exp'.
The following features are supported:
ExpressionsPackage.getTupleLiteralExp()
Method Summary | |
---|---|
boolean |
checkPartsUnique(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
part->isUnique (attribute.name) |
boolean |
checkTupleType(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() |
org.eclipse.emf.common.util.EList<TupleLiteralPart<C,P>> |
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 |
Methods inherited from interface org.eclipse.emf.ecore.EObject |
---|
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset |
Methods inherited from interface org.eclipse.emf.common.notify.Notifier |
---|
eAdapters, eDeliver, eNotify, eSetDeliver |
Method Detail |
---|
org.eclipse.emf.common.util.EList<TupleLiteralPart<C,P>> getPart()
TupleLiteralPart
<C, P>.
If the meaning of the 'Part' containment reference list isn't clear, there really should be more of a description here...
ExpressionsPackage.getTupleLiteralExp_Part()
boolean checkTupleType(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
boolean checkPartsUnique(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |