org.eclipse.ocl.examples.pivot
Interface TypeTemplateParameter

All Superinterfaces:

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

Model

Method Summary

org.eclipse.emf.common.util.EList<Type>	getConstrainingTypes() 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.
boolean	validateHasConstrainingType(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) If "allowSubstitutable" is true, then there must be a constrainingClassifier.

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

createOwnedDefault, createOwnedParameteredElement, getDefault, getOwnedDefault, getOwnedParameteredElement, getParameteredElement, getSignature, setDefault, setOwnedDefault, setOwnedParameteredElement, setParameteredElement, setSignature, validateMustBeCompatible

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

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

Model

default="true" dataType="org.eclipse.ocl.examples.pivot.Boolean" required="true" ordered="false"

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

getConstrainingTypes

org.eclipse.emf.common.util.EList<Type> getConstrainingTypes()

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

Model

ordered="false"

validateHasConstrainingType

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

If "allowSubstitutable" is true, then there must be a constrainingClassifier. allowSubstitutable implies constrainingClassifier->notEmpty()

Parameters:

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

context - The cache of context-specific information.

Generated

Model