org.eclipse.ocl.examples.pivot
Interface TypedMultiplicityElement

All Superinterfaces:

DomainElement, DomainNamedElement, DomainTypedElement, Element, org.eclipse.emf.ecore.EObject, MultiplicityElement, Nameable, NamedElement, org.eclipse.emf.common.notify.Notifier, PivotObject, TypedElement, Visitable

All Known Subinterfaces:

Feature, Iteration, Operation, Parameter, Property

All Known Implementing Classes:

FeatureImpl, IterationImpl, OperationImpl, ParameterImpl, PropertyImpl, TypedMultiplicityElementImpl

public interface TypedMultiplicityElement
extends TypedElement, MultiplicityElement

A representation of the model object 'Typed Multiplicity Element'.

See Also:

PivotPackage.getTypedMultiplicityElement()

Generated

Model

abstract="true"

Method Summary

boolean	CompatibleBody(ValueSpecification bodySpecification)
Parameter	makeParameter()

Methods inherited from interface org.eclipse.ocl.examples.pivot.TypedElement

getType, setType

Methods inherited from interface org.eclipse.ocl.examples.pivot.NamedElement

createOwnedAnnotation, createOwnedRule, getName, getOwnedAnnotation, getOwnedRule, isStatic, setIsStatic, setName

Methods inherited from interface org.eclipse.ocl.examples.pivot.Element

allOwnedElements, createOwnedComment, getETarget, getOwnedComment, validateNotOwnSelf

Methods inherited from interface org.eclipse.ocl.examples.pivot.util.Visitable

accept, eClass

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

Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainNamedElement

getName

Methods inherited from interface org.eclipse.ocl.examples.pivot.MultiplicityElement

getLower, getUpper, includesCardinality, includesMultiplicity, isMultivalued, isOrdered, isUnique, lowerBound, setIsOrdered, setIsUnique, setLower, setUpper, upperBound

Method Detail

CompatibleBody

boolean CompatibleBody(ValueSpecification bodySpecification)

Generated

Model

dataType="org.eclipse.ocl.examples.pivot.Boolean" required="true" ordered="false" bodySpecificationRequired="true" bodySpecificationOrdered="false" annotation="http://www.eclipse.org/emf/2002/GenModel body='/*\nlet bodyType : Type = bodySpecification.type\nin\n if bodyType.oclIsKindOf(CollectionType)\n then\n let\n bodyCollectionType : CollectionType = bodyType.oclAsType(CollectionType)\n in\n let bodyElementType : Type = bodyCollectionType.elementType\n in\n bodyElementType.conformsTo(self.type) and self.isOrdered =\n (\n bodyCollectionType.conformsTo(OrderedSet(OclAny)) or\n bodyCollectionType.conformsTo(Sequence(OclAny))\n ) and self.isUnique =\n (\n bodyCollectionType.conformsTo(OrderedSet(OclAny)) or\n bodyCollectionType.conformsTo(Set(OclAny))\n )\n else bodyType.conformsTo(self.type)\n endif\n\052/\ntry {\n\tfinal <%org.eclipse.ocl.examples.domain.evaluation.DomainEvaluator%> evaluator = new <%org.eclipse.ocl.examples.library.ecore.EcoreExecutorManager%>(this, null, <%org.eclipse.ocl.examples.pivot.PivotTables%>.LIBRARY);\n\tfinal <%org.eclipse.ocl.examples.domain.values.ValueFactory%> valueFactory = evaluator.getValueFactory();\n\tfinal <%org.eclipse.ocl.examples.domain.values.Value%> self = valueFactory.valueOf(this);\n\tfinal <%org.eclipse.ocl.examples.library.executor.ExecutorType%> T_Boolean = <%org.eclipse.ocl.examples.library.oclstdlib.OCLstdlibTables%>.Types._Boolean;\n\t\n\tfinal <%org.eclipse.ocl.examples.domain.elements.DomainType%> returnType = T_Boolean;\n\tfinal <%org.eclipse.ocl.examples.domain.values.Value%> result = <%org.eclipse.ocl.examples.pivot.bodies.TypedMultiplicityElementBodies%>._CompatibleBody_body_.INSTANCE.evaluate(evaluator, returnType, self, valueFactory.valueOf(bodySpecification));\n\treturn (Boolean) result.asEcoreObject();\n} catch (<%org.eclipse.ocl.examples.domain.evaluation.InvalidValueException%> e) {\n\tthrow new <%org.eclipse.emf.common.util.WrappedException%>(\"Failed to evaluate org.eclipse.ocl.examples.pivot.bodies.TypedMultiplicityElementBodies\", e);\n}\n'"

makeParameter

Parameter makeParameter()

Generated

Model

required="true" ordered="false" annotation="http://www.eclipse.org/emf/2002/GenModel body='/*\nParameter{name = \'name\'}\n\052/\ntry {\n\tfinal <%org.eclipse.ocl.examples.domain.evaluation.DomainEvaluator%> evaluator = new <%org.eclipse.ocl.examples.library.ecore.EcoreExecutorManager%>(this, null, <%org.eclipse.ocl.examples.pivot.PivotTables%>.LIBRARY);\n\tfinal <%org.eclipse.ocl.examples.domain.values.ValueFactory%> valueFactory = evaluator.getValueFactory();\n\tfinal <%org.eclipse.ocl.examples.domain.values.Value%> self = valueFactory.valueOf(this);\n\tfinal <%org.eclipse.ocl.examples.library.executor.ExecutorType%> T_Pivot_ecore__pivot__Parameter = <%org.eclipse.ocl.examples.pivot.PivotTables%>.Types._Parameter;\n\t\n\tfinal <%org.eclipse.ocl.examples.domain.elements.DomainType%> returnType = T_Pivot_ecore__pivot__Parameter;\n\tfinal <%org.eclipse.ocl.examples.domain.values.Value%> result = <%org.eclipse.ocl.examples.pivot.bodies.TypedMultiplicityElementBodies%>._makeParameter_body_.INSTANCE.evaluate(evaluator, returnType, self);\n\treturn (Parameter) result.asEcoreObject();\n} catch (<%org.eclipse.ocl.examples.domain.evaluation.InvalidValueException%> e) {\n\tthrow new <%org.eclipse.emf.common.util.WrappedException%>(\"Failed to evaluate org.eclipse.ocl.examples.pivot.bodies.TypedMultiplicityElementBodies\", e);\n}\n'"