org.eclipse.ocl.examples.pivot
Interface UnspecifiedType

All Superinterfaces:

Class, DomainElement, DomainType, Element, org.eclipse.emf.ecore.EObject, Nameable, NamedElement, Namespace, org.eclipse.emf.common.notify.Notifier, 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

Model

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

isAbstract, isInterface, setIsAbstract, setIsInterface

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

createOwnedAttribute, createOwnedOperation, createOwnedOperation, getInstanceClassName, getOwnedAttribute, getOwnedOperation, getPackage, getSuperClass, resolveSelfType, setInstanceClassName, setPackage

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, isEqualTo, isEqualToUnspecializedType, isOrdered, isUnique, lookupImplementation

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

createOwnedAnnotation, createOwnedRule, getName, getOwnedAnnotation, getOwnedRule, isStatic, setIsStatic, setName

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

allOwnedElements, createOwnedComment, getETarget, getOwnedComment, validateNotOwnSelf

Methods inherited from interface org.eclipse.ocl.examples.pivot.util.Visitable

accept, eClass

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

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

Model

required="true" ordered="false" annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/ocl/3.1.0/Pivot!UnspecifiedType!lowerBound'"

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

Model

required="true" ordered="false" annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/ocl/3.1.0/Pivot!UnspecifiedType!upperBound'"

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