Uses of Class
org.jmlspecs.models.JMLFloat

Packages that use JMLFloat

org.jmlspecs.models

This package is a collection of types with immutable objects; it also enumerators (which have mutable objects) for the types of the immutable collections in the package.

Uses of JMLFloat in org.jmlspecs.models

Fields in org.jmlspecs.models declared as JMLFloat

private JMLFloat	JMLFloat_JML_Test.TestPlus.f2 Argument f2
private JMLFloat	JMLFloat_JML_Test.TestMinus.f2 Argument f2
private JMLFloat	JMLFloat_JML_Test.TestTimes.f2 Argument f2
private JMLFloat	JMLFloat_JML_Test.TestDividedBy.f2 Argument f2
private JMLFloat	JMLFloat_JML_Test.TestRemainderBy.f2 Argument f2
private JMLFloat	JMLFloat_JML_Test.TestGreaterThan.f2 Argument f2
private JMLFloat	JMLFloat_JML_Test.TestLessThan.f2 Argument f2
private JMLFloat	JMLFloat_JML_Test.TestGreaterThanOrEqualTo.f2 Argument f2
private JMLFloat	JMLFloat_JML_Test.TestLessThanOrEqualTo.f2 Argument f2
private JMLFloat	JMLFloat_JML_Test.TestWithinEpsilonOf.f2 Argument f2
private JMLFloat	JMLFloat_JML_Test.TestApproximatelyEqualTo.f2 Argument f2
private JMLFloat	JMLFloat_JML_Test.TestWithinEpsilonOf$4.f1 Argument f1
private JMLFloat	JMLFloat_JML_Test.TestWithinEpsilonOf$4.f2 Argument f2
private JMLFloat	JMLFloat_JML_Test.TestApproximatelyEqualTo$4.f1 Argument f1
private JMLFloat	JMLFloat_JML_Test.TestApproximatelyEqualTo$4.f2 Argument f2
private JMLFloat	JMLFloat_JML_Test.TestWithinEpsilonOf$5.f1 Argument f1
private JMLFloat	JMLFloat_JML_Test.TestApproximatelyEqualTo$5.f1 Argument f1
private JMLFloat	JMLFloat_JML_Test.TestWithinEpsilonOf$6.f1 Argument f1
private JMLFloat	JMLFloat_JML_Test.TestApproximatelyEqualTo$6.f1 Argument f1

Methods in org.jmlspecs.models that return JMLFloat

JMLFloat	JMLFloat.negated() Return the negation of this.
JMLFloat	JMLFloat.plus(JMLFloat f2) Return the sum of this and the given argument.
JMLFloat	JMLFloat.minus(JMLFloat f2) Return the difference between this and the given argument.
JMLFloat	JMLFloat.times(JMLFloat f2) Return the product of this and the given argument.
JMLFloat	JMLFloat.dividedBy(JMLFloat f2) Return the quotient of this divided by the given argument.
JMLFloat	JMLFloat.remainderBy(JMLFloat f2) Return the remainder of this divided by the given argument.

Methods in org.jmlspecs.models with parameters of type JMLFloat

JMLFloat	JMLFloat.plus(JMLFloat f2) Return the sum of this and the given argument.
JMLFloat	JMLFloat.minus(JMLFloat f2) Return the difference between this and the given argument.
JMLFloat	JMLFloat.times(JMLFloat f2) Return the product of this and the given argument.
JMLFloat	JMLFloat.dividedBy(JMLFloat f2) Return the quotient of this divided by the given argument.
JMLFloat	JMLFloat.remainderBy(JMLFloat f2) Return the remainder of this divided by the given argument.
boolean	JMLFloat.greaterThan(JMLFloat f2) Tell whether this is strictly greater than the given argument.
boolean	JMLFloat.lessThan(JMLFloat f2) Tell whether this is strictly less than the given argument.
boolean	JMLFloat.greaterThanOrEqualTo(JMLFloat f2) Tell whether this is greater than or equal to the given argument.
boolean	JMLFloat.lessThanOrEqualTo(JMLFloat f2) Tell whether this is less than or equal to the given argument.
boolean	JMLFloat.withinEpsilonOf(JMLFloat f2, float epsilon) Tell whether absolute value of difference of this JMLFloat and the arg is within the given epsilon.
boolean	JMLFloat.approximatelyEqualTo(JMLFloat f2, float epsilon) Tell whether relative difference of this JMLFloat and the arg is within the given epsilon.
static boolean	JMLFloat.withinEpsilonOf(JMLFloat f1, JMLFloat f2, float epsilon) Tell whether absolute value of difference of this JMLFloat and the arg is within the given epsilon.
static boolean	JMLFloat.approximatelyEqualTo(JMLFloat f1, JMLFloat f2, float epsilon) Tell whether relative difference of this JMLFloat and the arg is within the given epsilon.
static boolean	JMLFloat.withinEpsilonOf(JMLFloat f1, Float f2, float epsilon) Tell whether absolute value of difference of this JMLFloat and the arg is within the given epsilon.
static boolean	JMLFloat.approximatelyEqualTo(JMLFloat f1, Float f2, float epsilon) Tell whether relative difference of this JMLFloat and the arg is within the given epsilon.
static boolean	JMLFloat.withinEpsilonOf(JMLFloat f1, float f2, float epsilon) Tell whether absolute value of difference of this JMLFloat and the arg is within the given epsilon.
static boolean	JMLFloat.approximatelyEqualTo(JMLFloat f1, float f2, float epsilon) Tell whether relative difference of this JMLFloat and the arg is within the given epsilon.

Constructors in org.jmlspecs.models with parameters of type JMLFloat

JMLFloat_JML_Test.TestIsInfinite(JMLFloat receiver$)
Initialize this instance.

JMLFloat_JML_Test.TestIsNaN(JMLFloat receiver$)
Initialize this instance.

JMLFloat_JML_Test.TestClone(JMLFloat receiver$)
Initialize this instance.

JMLFloat_JML_Test.TestCompareTo(JMLFloat receiver$, Object op2)
Initialize this instance.

JMLFloat_JML_Test.TestEquals(JMLFloat receiver$, Object op2)
Initialize this instance.

JMLFloat_JML_Test.TestHashCode(JMLFloat receiver$)
Initialize this instance.

JMLFloat_JML_Test.TestFloatValue(JMLFloat receiver$)
Initialize this instance.

JMLFloat_JML_Test.TestGetFloat(JMLFloat receiver$)
Initialize this instance.

JMLFloat_JML_Test.TestNegated(JMLFloat receiver$)
Initialize this instance.

JMLFloat_JML_Test.TestPlus(JMLFloat receiver$, JMLFloat f2)
Initialize this instance.

JMLFloat_JML_Test.TestMinus(JMLFloat receiver$, JMLFloat f2)
Initialize this instance.

JMLFloat_JML_Test.TestTimes(JMLFloat receiver$, JMLFloat f2)
Initialize this instance.

JMLFloat_JML_Test.TestDividedBy(JMLFloat receiver$, JMLFloat f2)
Initialize this instance.

JMLFloat_JML_Test.TestRemainderBy(JMLFloat receiver$, JMLFloat f2)
Initialize this instance.

JMLFloat_JML_Test.TestGreaterThan(JMLFloat receiver$, JMLFloat f2)
Initialize this instance.

JMLFloat_JML_Test.TestLessThan(JMLFloat receiver$, JMLFloat f2)
Initialize this instance.

JMLFloat_JML_Test.TestGreaterThanOrEqualTo(JMLFloat receiver$, JMLFloat f2)
Initialize this instance.

JMLFloat_JML_Test.TestLessThanOrEqualTo(JMLFloat receiver$, JMLFloat f2)
Initialize this instance.

JMLFloat_JML_Test.TestToString(JMLFloat receiver$)
Initialize this instance.

JMLFloat_JML_Test.TestWithinEpsilonOf(JMLFloat receiver$, JMLFloat f2, float epsilon)
Initialize this instance.

JMLFloat_JML_Test.TestApproximatelyEqualTo(JMLFloat receiver$, JMLFloat f2, float epsilon)
Initialize this instance.