org.eclipse.ocl.examples.pivot
Interface TemplateSignature

All Superinterfaces:

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

All Known Implementing Classes:

TemplateSignatureImpl

public interface TemplateSignature
extends MonikeredElement

A representation of the model object 'Template Signature'. A template signature bundles the set of formal template parameters for a templated element.

The following features are supported:

• Parameter
• Owned Parameter
• Template

See Also:

PivotPackage.getTemplateSignature()

Generated

Model

Method Summary

TemplateParameter	createOwnedParameter() Creates a new TemplateParameter and appends it to the 'Owned Parameter' containment reference list.
TemplateParameter	createOwnedParameter(org.eclipse.emf.ecore.EClass eClass) Creates a new TemplateParameter and appends it to the 'Owned Parameter' containment reference list.
org.eclipse.emf.common.util.EList<TemplateParameter>	getOwnedParameters() Returns the value of the 'Owned Parameter' containment reference list.
org.eclipse.emf.common.util.EList<TemplateParameter>	getParameters() Returns the value of the 'Parameter' reference list.
TemplateableElement	getTemplate() Returns the value of the 'Template' container reference.
void	setTemplate(TemplateableElement value) Sets the value of the 'Template' container reference.
boolean	validateOwnElements(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) Parameters must own the elements they parameter or those elements must be owned by the element being templated.

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

getMoniker, hasMoniker, setMoniker

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

createOwnedComment, getETarget, getOwnedComments

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

getParameters

org.eclipse.emf.common.util.EList<TemplateParameter> getParameters()

Returns the value of the 'Parameter' reference list. The list contents are of type TemplateParameter. The ordered set of all formal template parameters for this template signature.

Returns:

the value of the 'Parameter' reference list.

See Also:

PivotPackage.getTemplateSignature_Parameter()

Generated

Model

required="true"

getTemplate

TemplateableElement getTemplate()

Returns the value of the 'Template' container reference. It is bidirectional and its opposite is 'Owned Template Signature'. The element that owns this template signature.

Returns:

the value of the 'Template' container reference.

See Also:

setTemplate(TemplateableElement), PivotPackage.getTemplateSignature_Template(), TemplateableElement.getOwnedTemplateSignature()

Generated

Model

opposite="ownedTemplateSignature" required="true" transient="false" ordered="false"

setTemplate

void setTemplate(TemplateableElement value)

Sets the value of the 'Template' container reference.

Parameters:

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

See Also:

getTemplate()

Generated

getOwnedParameters

org.eclipse.emf.common.util.EList<TemplateParameter> getOwnedParameters()

Returns the value of the 'Owned Parameter' containment reference list. The list contents are of type TemplateParameter. It is bidirectional and its opposite is 'Signature'.

This feature subsets the following features:

• 'Parameter'

The formal template parameters that are owned by this template signature.

Returns:

the value of the 'Owned Parameter' containment reference list.

See Also:

PivotPackage.getTemplateSignature_OwnedParameter(), TemplateParameter.getSignature()

Generated

Model

opposite="signature" containment="true"

createOwnedParameter

TemplateParameter createOwnedParameter(org.eclipse.emf.ecore.EClass eClass)

Creates a new TemplateParameter and appends it to the 'Owned Parameter' containment reference list.

Parameters:

eClass - The Ecore class of the TemplateParameter to create.

Returns:

The new TemplateParameter.

See Also:

getOwnedParameters()

Generated

createOwnedParameter

TemplateParameter createOwnedParameter()

Creates a new TemplateParameter and appends it to the 'Owned Parameter' containment reference list.

Returns:

The new TemplateParameter.

See Also:

getOwnedParameters()

Generated

validateOwnElements

boolean validateOwnElements(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                            java.util.Map<java.lang.Object,java.lang.Object> context)

Parameters must own the elements they parameter or those elements must be owned by the element being templated. templatedElement.ownedElement->includesAll(parameter.parameteredElement - parameter.ownedParameteredElement)

Parameters:

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

context - The cache of context-specific information.

Generated

Model