org.eclipse.ocl.examples.pivot
Interface TemplateParameterSubstitution

All Superinterfaces:

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

All Known Implementing Classes:

TemplateParameterSubstitutionImpl

public interface TemplateParameterSubstitution
extends Element

A representation of the model object 'Template Parameter Substitution'. A template parameter substitution relates the actual parameter to a formal template parameter as part of a template binding.

The following features are supported:

• Formal
• Actual
• Owned Actual
• Template Binding

See Also:

PivotPackage.getTemplateParameterSubstitution()

Generated

Model

Method Summary

ParameterableElement	createOwnedActual(org.eclipse.emf.ecore.EClass eClass) Creates a new ParameterableElement and sets the 'Owned Actual' containment reference.
ParameterableElement	getActual() Returns the value of the 'Actual' reference.
TemplateParameter	getFormal() Returns the value of the 'Formal' reference.
ParameterableElement	getOwnedActual() Returns the value of the 'Owned Actual' containment reference.
TemplateBinding	getTemplateBinding() Returns the value of the 'Template Binding' container reference.
void	setActual(ParameterableElement value) Sets the value of the 'Actual' reference.
void	setFormal(TemplateParameter value) Sets the value of the 'Formal' reference.
void	setOwnedActual(ParameterableElement value) Sets the value of the 'Owned Actual' containment reference.
void	setTemplateBinding(TemplateBinding value) Sets the value of the 'Template Binding' container 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

getFormal

TemplateParameter getFormal()

Returns the value of the 'Formal' reference. The formal template parameter that is associated with this substitution.

Returns:

the value of the 'Formal' reference.

See Also:

setFormal(TemplateParameter), PivotPackage.getTemplateParameterSubstitution_Formal()

Generated

Model

required="true" 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!TemplateParameterSubstitution!formal'"

setFormal

void setFormal(TemplateParameter value)

Sets the value of the 'Formal' reference.

Parameters:

value - the new value of the 'Formal' reference.

See Also:

getFormal()

Generated

getActual

ParameterableElement getActual()

Returns the value of the 'Actual' reference. The element that is the actual parameter for this substitution.

Returns:

the value of the 'Actual' reference.

See Also:

setActual(ParameterableElement), PivotPackage.getTemplateParameterSubstitution_Actual()

Generated

Model

required="true" 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!TemplateParameterSubstitution!actual'"

setActual

void setActual(ParameterableElement value)

Sets the value of the 'Actual' reference.

Parameters:

value - the new value of the 'Actual' reference.

See Also:

getActual()

Generated

getOwnedActual

ParameterableElement getOwnedActual()

Returns the value of the 'Owned Actual' containment reference.

This feature subsets the following features:

• 'Actual'

The actual parameter that is owned by this substitution.

Returns:

the value of the 'Owned Actual' containment reference.

See Also:

setOwnedActual(ParameterableElement), PivotPackage.getTemplateParameterSubstitution_OwnedActual()

Generated

Model

containment="true" 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!TemplateParameterSubstitution!ownedActual'"

setOwnedActual

void setOwnedActual(ParameterableElement value)

Sets the value of the 'Owned Actual' containment reference.

Parameters:

value - the new value of the 'Owned Actual' containment reference.

See Also:

getOwnedActual()

Generated

createOwnedActual

ParameterableElement createOwnedActual(org.eclipse.emf.ecore.EClass eClass)

Creates a new ParameterableElement and sets the 'Owned Actual' containment reference.

Parameters:

eClass - The Ecore class of the ParameterableElement to create.

Returns:

The new ParameterableElement.

See Also:

getOwnedActual()

Generated

getTemplateBinding

TemplateBinding getTemplateBinding()

Returns the value of the 'Template Binding' container reference. It is bidirectional and its opposite is 'Parameter Substitution'. The optional bindings from this element to templates.

Returns:

the value of the 'Template Binding' container reference.

See Also:

setTemplateBinding(TemplateBinding), PivotPackage.getTemplateParameterSubstitution_TemplateBinding(), TemplateBinding.getParameterSubstitution()

Generated

Model

opposite="parameterSubstitution" required="true" 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!TemplateParameterSubstitution!templateBinding'"

setTemplateBinding

void setTemplateBinding(TemplateBinding value)

Sets the value of the 'Template Binding' container reference.

Parameters:

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

See Also:

getTemplateBinding()

Generated