org.eclipse.ocl.pivot.uml.internal.oclforuml

Interface BoundedInteger

All Superinterfaces:

Integer

All Known Implementing Classes:

BoundedIntegerImpl

public interface BoundedInteger
extends Integer

A representation of the model object 'Bounded Integer'. Specifies that a DataType behaves as an Integer number with explicit precision and overflow handling. A 16 bit number may be specified using a maximum of 32767 and minimum of -32768. Specifies how an out of range numeric result is to be handled. Specifies that an out of range result is invalid. This is the default. Specifies that an out of range result should be saturated to the nearest maximum/minimum value. Specifies that an out of range result should be wrapped around to give a value modulo the maximum-minimum+1. Specifies additional characteristics that affect the behavior of evaluations. Specifies how the resolution of a numeric result is to be reduced. Values are rounded down if the residue is less than half an epsilon, rounded up if the residue is greater than or equal to half an epsilon. Values are always rounded up. This is also known as round to plus infinity. Values are always rounded down. This is also known as truncate or round to minus infinity. Values are rounded down if the residue is less than half an epsilon, rounded up if the residue is greater than half an epsilon. Residues of exactly half an epsilon are rounded to yield an even result with respect to the least significant bit of the result.

The following features are supported:

• Overflow

See Also:

OCLforUMLPackage.getBoundedInteger()

EMF generated code

EMF model element

Method Summary

Modifier and Type	Method and Description
Overflow	getOverflow() Returns the value of the 'Overflow' attribute.
void	setOverflow(Overflow value) Sets the value of the 'Overflow' attribute.

Methods inherited from interface org.eclipse.ocl.pivot.uml.internal.oclforuml.Integer

getBase_DataType, getMaximum, getMinimum, isSetMaximum, isSetMinimum, setBase_DataType, setMaximum, setMinimum, unsetMaximum, unsetMinimum

Method Detail

getOverflow

Overflow getOverflow()

Returns the value of the 'Overflow' attribute. The default value is "invalid". The literals are from the enumeration Overflow. The behavior when a maximum/minimum value is exceeded.

Returns:

the value of the 'Overflow' attribute.

See Also:

Overflow, setOverflow(Overflow), OCLforUMLPackage.getBoundedInteger_Overflow()

EMF generated code

EMF model element

default="invalid" required="true" ordered="false"

setOverflow

void setOverflow(Overflow value)

Sets the value of the 'Overflow' attribute.

Parameters:

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

See Also:

Overflow, getOverflow()

EMF generated code