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

Interface FloatingPoint

All Superinterfaces:

Real

All Known Implementing Classes:

FloatingPointImpl

public interface FloatingPoint
extends Real

A representation of the model object 'Floating Point'. Specifies that a DataType behaves as a Real number and optionally defines the required precision of a mantissa and base 2 exponent floating point representation. An IEEE 754 double precision number may be specified with 11 exponentBits, 53 mantissaBits. 1.7976931348623157e+308 maximum, -1.7976931348623157e+308 minimum, 1.0000000000000002 epsilon.

The following features are supported:

• Exponent Bits
• Mantissa Bits
• Overflow
• Rounding

See Also:

OCLforUMLPackage.getFloatingPoint()

EMF generated code

EMF model element

Method Summary

Modifier and Type	Method and Description
int	getExponentBits() Returns the value of the 'Exponent Bits' attribute.
int	getMantissaBits() Returns the value of the 'Mantissa Bits' attribute.
Overflow	getOverflow() Returns the value of the 'Overflow' attribute.
Rounding	getRounding() Returns the value of the 'Rounding' attribute.
void	setExponentBits(int value) Sets the value of the 'Exponent Bits' attribute.
void	setMantissaBits(int value) Sets the value of the 'Mantissa Bits' attribute.
void	setOverflow(Overflow value) Sets the value of the 'Overflow' attribute.
void	setRounding(Rounding value) Sets the value of the 'Rounding' attribute.

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

getBase_DataType, getEpsilon, getMaximum, getMinimum, isSetEpsilon, isSetMaximum, isSetMinimum, setBase_DataType, setEpsilon, setMaximum, setMinimum, unsetEpsilon, 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.getFloatingPoint_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

getRounding

Rounding getRounding()

Returns the value of the 'Rounding' attribute. The default value is "nearest". The literals are from the enumeration Rounding. The behavior when there is insufficient resolution.

Returns:

the value of the 'Rounding' attribute.

See Also:

Rounding, setRounding(Rounding), OCLforUMLPackage.getFloatingPoint_Rounding()

EMF generated code

EMF model element

default="nearest" required="true" ordered="false"

setRounding

void setRounding(Rounding value)

Sets the value of the 'Rounding' attribute.

Parameters:

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

See Also:

Rounding, getRounding()

EMF generated code

getExponentBits

int getExponentBits()

Returns the value of the 'Exponent Bits' attribute. The number of bits used to represent the base 2 exponent and its polarity.

Returns:

the value of the 'Exponent Bits' attribute.

See Also:

setExponentBits(int), OCLforUMLPackage.getFloatingPoint_ExponentBits()

EMF generated code

EMF model element

dataType="org.eclipse.uml2.types.Integer" required="true" ordered="false"

setExponentBits

void setExponentBits(int value)

Sets the value of the 'Exponent Bits' attribute.

Parameters:

value - the new value of the 'Exponent Bits' attribute.

See Also:

getExponentBits()

EMF generated code

getMantissaBits

int getMantissaBits()

Returns the value of the 'Mantissa Bits' attribute. The number of bits used to represent the mantissa and its polarity.

Returns:

the value of the 'Mantissa Bits' attribute.

See Also:

setMantissaBits(int), OCLforUMLPackage.getFloatingPoint_MantissaBits()

EMF generated code

EMF model element

dataType="org.eclipse.uml2.types.Integer" required="true" ordered="false"

setMantissaBits

void setMantissaBits(int value)

Sets the value of the 'Mantissa Bits' attribute.

Parameters:

value - the new value of the 'Mantissa Bits' attribute.

See Also:

getMantissaBits()

EMF generated code