Package de.uka.ipd.sdq.dsexplore.qml.contracttype.QMLContractType

Interface NumericRange

All Superinterfaces:

org.eclipse.emf.cdo.CDOObject, org.eclipse.emf.cdo.common.id.CDOWithID, EObject, de.uka.ipd.sdq.identifier.Identifier, Notifier

All Known Implementing Classes:

NumericRangeImpl

public interface NumericRange
extends EObject, de.uka.ipd.sdq.identifier.Identifier

A representation of the model object 'Numeric Range'.

The following features are supported:

• Lower Limit
• Upper Limit

See Also:

QMLContractTypePackage.getNumericRange()

Generated class or method.

EMF model class or method.

Method Summary

Modifier and Type	Method	Description
double	getLowerLimit()	Returns the value of the 'Lower Limit' attribute.
double	getUpperLimit()	Returns the value of the 'Upper Limit' attribute.
void	setLowerLimit(double value)	Sets the value of the 'Lower Limit' attribute.
void	setUpperLimit(double value)	Sets the value of the 'Upper Limit' attribute.
boolean	UPPERLIMIT_must_be_greater_than_LOWERLIMIT(DiagnosticChain diagnostics, Map<Object,Object> context)	self.upperLimit.oclAsType(Real) > self.lowerLimit.oclAsType(Real)

Methods inherited from interface org.eclipse.emf.cdo.CDOObject

cdoConflict, cdoDirectResource, cdoHistory, cdoID, cdoInvalid, cdoLockState, cdoPermission, cdoPrefetch, cdoReadLock, cdoReload, cdoResource, cdoRevision, cdoRevision, cdoState, cdoView, cdoWriteLock, cdoWriteOption

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 de.uka.ipd.sdq.identifier.Identifier

getId, setId

Methods inherited from interface org.eclipse.emf.common.notify.Notifier

eAdapters, eDeliver, eNotify, eSetDeliver

Method Detail

getLowerLimit

double getLowerLimit()

Returns the value of the 'Lower Limit' attribute.

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

Returns:

the value of the 'Lower Limit' attribute.

See Also:

setLowerLimit(double), QMLContractTypePackage.getNumericRange_LowerLimit()

Generated class or method.

EMF model class or method.

required="true" ordered="false"

setLowerLimit

void setLowerLimit(double value)

Sets the value of the 'Lower Limit' attribute.

Parameters:

value - the new value of the 'Lower Limit' attribute.

See Also:

getLowerLimit()

Generated class or method.

getUpperLimit

double getUpperLimit()

Returns the value of the 'Upper Limit' attribute.

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

Returns:

the value of the 'Upper Limit' attribute.

See Also:

setUpperLimit(double), QMLContractTypePackage.getNumericRange_UpperLimit()

Generated class or method.

EMF model class or method.

required="true" ordered="false"

setUpperLimit

void setUpperLimit(double value)

Sets the value of the 'Upper Limit' attribute.

Parameters:

value - the new value of the 'Upper Limit' attribute.

See Also:

getUpperLimit()

Generated class or method.

UPPERLIMIT_must_be_greater_than_LOWERLIMIT

boolean UPPERLIMIT_must_be_greater_than_LOWERLIMIT(DiagnosticChain diagnostics,
                                                   Map<Object,Object> context)

self.upperLimit.oclAsType(Real) > self.lowerLimit.oclAsType(Real)

Parameters:

diagnostics - The chain of diagnostics to which problems are to be appended.

context - The cache of context-specific information.

Generated class or method.

EMF model class or method.

annotation= "http://www.eclipse.org/uml2/1.1.0/GenModel body='self.upperLimit.oclAsType(Real) > self.lowerLimit.oclAsType(Real)'"