org.eclipse.ocl.examples.pivot
Interface TypeTemplateParameter

All Superinterfaces:

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

All Known Implementing Classes:

TypeTemplateParameterImpl

public interface TypeTemplateParameter
extends TemplateParameter

A representation of the model object 'Type Template Parameter'. A type template parameter exposes a type as a formal template parameter.

The following features are supported:

• Allow Substitutable
• Constraining Type

See Also:

PivotPackage.getTypeTemplateParameter()

Generated

Method Summary

java.util.List<Type>	getConstrainingType() Returns the value of the 'Constraining Type' reference list.
boolean	isAllowSubstitutable() Returns the value of the 'Allow Substitutable' attribute.
void	setAllowSubstitutable(boolean value) Sets the value of the 'Allow Substitutable' attribute.

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

getDefault, getOwnedDefault, getOwnedParameteredElement, getParameteredElement, getSignature, setDefault, setOwnedDefault, setOwnedParameteredElement, setParameteredElement, setSignature

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

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

getElementId

Method Detail

isAllowSubstitutable

boolean isAllowSubstitutable()

Returns the value of the 'Allow Substitutable' attribute. The default value is "true". Constrains the required relationship between an actual parameter and the parameteredElement for this formal parameter.

Returns:

the value of the 'Allow Substitutable' attribute.

See Also:

setAllowSubstitutable(boolean), PivotPackage.getTypeTemplateParameter_AllowSubstitutable()

Generated

setAllowSubstitutable

void setAllowSubstitutable(boolean value)

Sets the value of the 'Allow Substitutable' attribute.

Parameters:

value - the new value of the 'Allow Substitutable' attribute.

See Also:

isAllowSubstitutable()

Generated

getConstrainingType

java.util.List<Type> getConstrainingType()

Returns the value of the 'Constraining Type' reference list. The list contents are of type Type. The classifiers that constrain the argument that can be used for the parameter. If the allowSubstitutable attribute is true, then any classifier that is compatible with this constraining classifier can be substituted; otherwise, it must be either this classifier or one of its subclasses. If this property is empty, there are no constraints on the classifier that can be used as an argument.

Returns:

the value of the 'Constraining Type' reference list.

See Also:

PivotPackage.getTypeTemplateParameter_ConstrainingType()

Generated