|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface TypeTemplateParameter
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:
PivotPackage.getTypeTemplateParameter()
Method Summary | |
---|---|
org.eclipse.emf.common.util.EList<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 |
---|
createOwnedDefault, createOwnedParameteredElement, getDefault, getOwnedDefault, getOwnedParameteredElement, getParameteredElement, getSignature, setDefault, setOwnedDefault, setOwnedParameteredElement, setParameteredElement, setSignature |
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 |
---|
boolean isAllowSubstitutable()
"true"
.
Constrains the required relationship between an actual parameter and the parameteredElement for this formal parameter.
setAllowSubstitutable(boolean)
,
PivotPackage.getTypeTemplateParameter_AllowSubstitutable()
void setAllowSubstitutable(boolean value)
Allow Substitutable
' attribute.
value
- the new value of the 'Allow Substitutable' attribute.isAllowSubstitutable()
org.eclipse.emf.common.util.EList<Type> getConstrainingType()
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.
PivotPackage.getTypeTemplateParameter_ConstrainingType()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |