org.eclipse.ocl.examples.pivot
Interface ParameterableElement

All Superinterfaces:

DomainElement, Element, org.eclipse.emf.ecore.EObject, org.eclipse.emf.common.notify.Notifier, PivotObject, Visitable

All Known Subinterfaces:

AnyType, AssociationClass, BagType, Class, ClassifierType, CollectionType, DataType, Enumeration, ExpressionInOCL, InvalidType, Iteration, LambdaType, MessageType, OpaqueExpression, Operation, OrderedSetType, PackageableElement, PrimitiveType, Property, SelfType, SequenceType, SetType, TemplateParameterType, TupleType, Type, UnspecifiedType, ValueSpecification, VoidType

All Known Implementing Classes:

AnyTypeImpl, AssociationClassImpl, BagTypeImpl, ClassifierTypeImpl, ClassImpl, CollectionTypeImpl, DataTypeImpl, EnumerationImpl, ExpressionInOCLImpl, InvalidTypeImpl, IterationImpl, LambdaTypeImpl, MessageTypeImpl, OpaqueExpressionImpl, OperationImpl, OrderedSetTypeImpl, PackageableElementImpl, ParameterableElementImpl, PrimitiveTypeImpl, PropertyImpl, SelfTypeImpl, SequenceTypeImpl, SetTypeImpl, TemplateParameterTypeImpl, TupleTypeImpl, TypeImpl, UnspecifiedTypeImpl, ValueSpecificationImpl, VoidTypeImpl

public interface ParameterableElement
extends Element

A representation of the model object 'Parameterable Element'. A parameterable element is an element that can be exposed as a formal template parameter for a template, or specified as an actual parameter in a binding of a template.

The following features are supported:

• Owning Template Parameter
• Template Parameter

See Also:

PivotPackage.getParameterableElement()

Generated

Model

abstract="true"

Method Summary

TemplateParameter	getOwningTemplateParameter() Returns the value of the 'Owning Template Parameter' container reference.
TemplateParameter	getTemplateParameter() Returns the value of the 'Template Parameter' reference.
boolean	isCompatibleWith(ParameterableElement p)
boolean	isTemplateParameter() The query isTemplateParameter() determines if this parameterable element is exposed as a formal template parameter.
void	setOwningTemplateParameter(TemplateParameter value) Sets the value of the 'Owning Template Parameter' container reference.
void	setTemplateParameter(TemplateParameter value) Sets the value of the 'Template Parameter' reference.

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

allOwnedElements, createOwnedComment, getETarget, getOwnedComment, validateNotOwnSelf

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.pivot.util.Visitable

accept, eClass

Method Detail

getTemplateParameter

TemplateParameter getTemplateParameter()

Returns the value of the 'Template Parameter' reference. It is bidirectional and its opposite is 'Parametered Element'. The template parameter that exposes this element as a formal parameter.

Returns:

the value of the 'Template Parameter' reference.

See Also:

setTemplateParameter(TemplateParameter), PivotPackage.getParameterableElement_TemplateParameter(), TemplateParameter.getParameteredElement()

Generated

Model

opposite="parameteredElement" ordered="false" annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/ocl/3.1.0/Pivot!ParameterableElement!templateParameter'"

setTemplateParameter

void setTemplateParameter(TemplateParameter value)

Sets the value of the 'Template Parameter' reference.

Parameters:

value - the new value of the 'Template Parameter' reference.

See Also:

getTemplateParameter()

Generated

getOwningTemplateParameter

TemplateParameter getOwningTemplateParameter()

Returns the value of the 'Owning Template Parameter' container reference. It is bidirectional and its opposite is 'Owned Parametered Element'.

This feature subsets the following features:

• 'Template Parameter'

The formal template parameter that owns this element.

Returns:

the value of the 'Owning Template Parameter' container reference.

See Also:

setOwningTemplateParameter(TemplateParameter), PivotPackage.getParameterableElement_OwningTemplateParameter(), TemplateParameter.getOwnedParameteredElement()

Generated

Model

opposite="ownedParameteredElement" transient="false" ordered="false" annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/ocl/3.1.0/Pivot!ParameterableElement!owningTemplateParameter'"

setOwningTemplateParameter

void setOwningTemplateParameter(TemplateParameter value)

Sets the value of the 'Owning Template Parameter' container reference.

Parameters:

value - the new value of the 'Owning Template Parameter' container reference.

See Also:

getOwningTemplateParameter()

Generated

isTemplateParameter

boolean isTemplateParameter()

The query isTemplateParameter() determines if this parameterable element is exposed as a formal template parameter.

Generated

Model

kind="operation" dataType="org.eclipse.ocl.examples.pivot.Boolean" required="true" ordered="false" annotation="http://www.eclipse.org/emf/2002/GenModel body='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/ocl/3.1.0/Pivot!ParameterableElement!isTemplateParameter()'"

isCompatibleWith

boolean isCompatibleWith(ParameterableElement p)

Generated

Model

dataType="org.eclipse.ocl.examples.pivot.Boolean" required="true" ordered="false" pRequired="true" pOrdered="false" annotation="http://www.eclipse.org/emf/2002/GenModel body='/*\np.oclIsKindOf(self.oclType())\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.ParameterableElementBodies%>._isCompatibleWith_body_.INSTANCE.evaluate(evaluator, returnType, self, valueFactory.valueOf(p));\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.ParameterableElementBodies\", e);\n}\n'"