org.eclipse.ocl.examples.pivot
Interface TemplateableElement

All Superinterfaces:

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

All Known Subinterfaces:

AnyType, AssociationClass, BagType, Behavior, Class, CollectionType, DataType, DynamicType, ElementExtension, Enumeration, InvalidType, Iteration, LambdaType, Library, MessageType, Metaclass<T>, Operation, OrderedSetType, Package, PrimitiveType, Profile, SelfType, SequenceType, SetType, StateMachine, Stereotype, TemplateParameterType, TupleType, Type, UnspecifiedType, VoidType

All Known Implementing Classes:

AnyTypeImpl, AssociationClassImpl, BagTypeImpl, BehaviorImpl, ClassImpl, CollectionTypeImpl, DataTypeImpl, DynamicTypeImpl, ElementExtensionImpl, EnumerationImpl, InvalidTypeImpl, IterationImpl, LambdaTypeImpl, LibraryImpl, MessageTypeImpl, MetaclassImpl, OperationImpl, OrderedSetTypeImpl, Orphanage, PackageImpl, PrimitiveTypeImpl, ProfileImpl, SelfTypeImpl, SequenceTypeImpl, SetTypeImpl, StateMachineImpl, StereotypeImpl, TemplateableElementImpl, TemplateParameterTypeImpl, TupleTypeImpl, TypeImpl, UnspecifiedTypeImpl, VoidTypeImpl

public interface TemplateableElement
extends Element

A representation of the model object 'Templateable Element'. A templateable element is an element that can optionally be defined as a template and bound to other templates.

The following features are supported:

• Owned Template Signature
• Template Binding
• Unspecialized Element

See Also:

PivotPackage.getTemplateableElement()

Generated

Method Summary

TemplateSignature	getOwnedTemplateSignature() Returns the value of the 'Owned Template Signature' containment reference.
java.util.List<TemplateBinding>	getTemplateBinding() Returns the value of the 'Template Binding' containment reference list.
TemplateableElement	getUnspecializedElement() Returns the value of the 'Unspecialized Element' reference.
boolean	isTemplate() The query isTemplate() returns whether this templateable element is actually a template.
java.util.List<ParameterableElement>	parameterableElements() The query parameterableElements() returns the set of elements that may be used as the parametered elements for a template parameter of this templateable element.
void	setOwnedTemplateSignature(TemplateSignature value) Sets the value of the 'Owned Template Signature' containment reference.
void	setUnspecializedElement(TemplateableElement value) Sets the value of the 'Unspecialized Element' reference.

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

allOwnedElements, getETarget, getExtension, getOwnedAnnotation, getOwnedComment, getValue

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

getTemplateBinding

java.util.List<TemplateBinding> getTemplateBinding()

Returns the value of the 'Template Binding' containment reference list. The list contents are of type TemplateBinding. It is bidirectional and its opposite is 'Bound Element'. The optional bindings from this element to templates.

Returns:

the value of the 'Template Binding' containment reference list.

See Also:

PivotPackage.getTemplateableElement_TemplateBinding(), TemplateBinding.getBoundElement()

Generated

getOwnedTemplateSignature

TemplateSignature getOwnedTemplateSignature()

Returns the value of the 'Owned Template Signature' containment reference. It is bidirectional and its opposite is 'Template'. The optional template signature specifying the formal template parameters.

Returns:

the value of the 'Owned Template Signature' containment reference.

See Also:

setOwnedTemplateSignature(TemplateSignature), PivotPackage.getTemplateableElement_OwnedTemplateSignature(), TemplateSignature.getTemplate()

Generated

setOwnedTemplateSignature

void setOwnedTemplateSignature(TemplateSignature value)

Sets the value of the 'Owned Template Signature' containment reference.

Parameters:

value - the new value of the 'Owned Template Signature' containment reference.

See Also:

getOwnedTemplateSignature()

Generated

getUnspecializedElement

TemplateableElement getUnspecializedElement()

Returns the value of the 'Unspecialized Element' reference.

If the meaning of the 'Unspecialized Element' reference isn't clear, there really should be more of a description here...

Returns:

the value of the 'Unspecialized Element' reference.

See Also:

setUnspecializedElement(TemplateableElement), PivotPackage.getTemplateableElement_UnspecializedElement()

Generated

setUnspecializedElement

void setUnspecializedElement(TemplateableElement value)

Sets the value of the 'Unspecialized Element' reference.

Parameters:

value - the new value of the 'Unspecialized Element' reference.

See Also:

getUnspecializedElement()

Generated

parameterableElements

java.util.List<ParameterableElement> parameterableElements()

The query parameterableElements() returns the set of elements that may be used as the parametered elements for a template parameter of this templateable element. By default, this set includes all the owned elements. Subclasses may override this operation if they choose to restrict the set of parameterable elements.

Generated

isTemplate

boolean isTemplate()

The query isTemplate() returns whether this templateable element is actually a template.

Generated