org.eclipse.ocl.examples.pivot
Interface TemplateParameterType

All Superinterfaces:

DomainElement, DomainNamedElement, DomainNamespace, DomainType, Element, org.eclipse.emf.ecore.EObject, Nameable, NamedElement, org.eclipse.emf.common.notify.Notifier, OCLValue, ParameterableElement, PivotObject, TemplateableElement, Type, Visitable

All Known Implementing Classes:

TemplateParameterTypeImpl

public interface TemplateParameterType
extends Type

A representation of the model object 'Template Parameter Type'.

The following features are supported:

• Specification

See Also:

PivotPackage.getTemplateParameterType()

Generated

Method Summary

java.lang.String	getSpecification() Returns the value of the 'Specification' attribute.
void	setSpecification(java.lang.String value) Sets the value of the 'Specification' attribute.

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

getExtendedBys, getInstanceClassName, getOwnedAttribute, getOwnedInvariant, getOwnedOperation, getPackage, getSuperClass, setInstanceClassName, setPackage, specializeIn, validateUniqueInvariantName

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

getName, isStatic, setIsStatic, setName

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

getOwnedTemplateSignature, getTemplateBinding, getUnspecializedElement, isTemplate, parameterableElements, setOwnedTemplateSignature, setUnspecializedElement

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

getOwningTemplateParameter, getTemplateParameter, isCompatibleWith, isTemplateParameter, setOwningTemplateParameter, setTemplateParameter

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.DomainType

conformsTo, createInstance, createInstance, getCommonType, getInheritance, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getName, getNormalizedType, getTypeId, getTypeParameters, isEqualTo, isEqualToUnspecializedType, isInvalid, isOrdered, isUnique, lookupImplementation, specializeIn

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

getOwnedRule

Methods inherited from interface org.eclipse.ocl.examples.domain.values.OCLValue

oclEquals, oclHashCode

Method Detail

getSpecification

java.lang.String getSpecification()

Returns the value of the 'Specification' attribute.

If the meaning of the 'Specification' attribute isn't clear, there really should be more of a description here...

Returns:

the value of the 'Specification' attribute.

See Also:

setSpecification(String), PivotPackage.getTemplateParameterType_Specification()

Generated

setSpecification

void setSpecification(java.lang.String value)

Sets the value of the 'Specification' attribute.

Parameters:

value - the new value of the 'Specification' attribute.

See Also:

getSpecification()

Generated