org.eclipse.ocl.examples.pivot

Interface UnspecifiedType

All Superinterfaces:

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

All Known Implementing Classes:

UnspecifiedTypeImpl

public interface UnspecifiedType
extends Class

A representation of the model object 'Unspecified Type'.

The following features are supported:

• Lower Bound
• Upper Bound

See Also:

PivotPackage.getUnspecifiedType()

Generated

Method Summary

Methods

Modifier and Type	Method and Description
Type	getLowerBound() Returns the value of the 'Lower Bound' reference.
Type	getUpperBound() Returns the value of the 'Upper Bound' reference.
void	setLowerBound(Type value) Sets the value of the 'Lower Bound' reference.
void	setUpperBound(Type value) Sets the value of the 'Upper Bound' reference.

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

createOwnedBehavior, createOwnedBehavior, getOwnedBehavior, isAbstract, isInterface, setIsAbstract, setIsInterface

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

createOwnedAttribute, createOwnedInvariant, createOwnedOperation, createOwnedOperation, getInstanceClassName, getOwnedAttribute, getOwnedInvariant, getOwnedOperation, getPackage, getSuperClass, setInstanceClassName, setPackage, specializeIn, validateUniqueInvariantName

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

createOwnedTemplateSignature, createTemplateBinding, 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.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

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

createOwnedRule, getOwnedRule

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

createOwnedAnnotation, getName, getOwnedAnnotation, isStatic, setIsStatic, setName

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

allOwnedElements, createExtension, createOwnedComment, getETarget, getExtension, 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

Method Detail

getLowerBound

Type getLowerBound()

Returns the value of the 'Lower Bound' reference.

If the meaning of the 'Lower Bound' reference isn't clear, there really should be more of a description here...

Returns:

the value of the 'Lower Bound' reference.

See Also:

setLowerBound(Type), PivotPackage.getUnspecifiedType_LowerBound()

Generated

setLowerBound

void setLowerBound(Type value)

Sets the value of the 'Lower Bound' reference.

Parameters:

value - the new value of the 'Lower Bound' reference.

See Also:

getLowerBound()

Generated

getUpperBound

Type getUpperBound()

Returns the value of the 'Upper Bound' reference.

If the meaning of the 'Upper Bound' reference isn't clear, there really should be more of a description here...

Returns:

the value of the 'Upper Bound' reference.

See Also:

setUpperBound(Type), PivotPackage.getUnspecifiedType_UpperBound()

Generated

setUpperBound

void setUpperBound(Type value)

Sets the value of the 'Upper Bound' reference.

Parameters:

value - the new value of the 'Upper Bound' reference.

See Also:

getUpperBound()

Generated