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

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

getNestedType, getOwnedBehavior, isAbstract, isActive, isInterface, setIsAbstract, setIsActive, setIsInterface

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

getOwnedRule

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

getName, isStatic, setIsStatic, setName

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

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