Uses of Interface
org.jmlspecs.samples.dbc.Complex

Packages that use Complex

org.jmlspecs.samples.dbc

This package contains samples of JML specifications written in the style of design by contract.

Uses of Complex in org.jmlspecs.samples.dbc

Classes in org.jmlspecs.samples.dbc that implement Complex

class	ComplexOps An abstract class that holds all of the common algorithms for complex numbers.
class	Polar Complex numbers in polar coordinates.
class	Rectangular Complex numbers in rectangular coordinates.

Fields in org.jmlspecs.samples.dbc declared as Complex

private Complex[]	ComplexTest.receivers
private Complex	Complex_JML_Test.TestAdd.b Argument b
private Complex	Complex_JML_Test.TestSub.b Argument b
private Complex	Complex_JML_Test.TestMul.b Argument b
private Complex	Complex_JML_Test.TestDiv.b Argument b

Methods in org.jmlspecs.samples.dbc that return Complex

abstract Complex	Complex.add(Complex b) Return this + b (the sum of this and b).
abstract Complex	Complex.sub(Complex b) Return this - b (the difference between this and b).
abstract Complex	Complex.mul(Complex b) Tell whether the given angles are the same, taking into account that angles measured in radians wrap around after 2*StrictMath.PI times.
abstract Complex	Complex.div(Complex b) Return this/b (the quotient of this by b).
Complex	ComplexOps.add(Complex b)
Complex	ComplexOps.sub(Complex b)
Complex	ComplexOps.mul(Complex b)
Complex	ComplexOps.div(Complex b)

Methods in org.jmlspecs.samples.dbc with parameters of type Complex

abstract Complex	Complex.add(Complex b) Return this + b (the sum of this and b).
abstract Complex	Complex.sub(Complex b) Return this - b (the difference between this and b).
abstract Complex	Complex.mul(Complex b) Tell whether the given angles are the same, taking into account that angles measured in radians wrap around after 2*StrictMath.PI times.
abstract Complex	Complex.div(Complex b) Return this/b (the quotient of this by b).
Complex	ComplexOps.add(Complex b)
Complex	ComplexOps.sub(Complex b)
Complex	ComplexOps.mul(Complex b)
Complex	ComplexOps.div(Complex b)

Constructors in org.jmlspecs.samples.dbc with parameters of type Complex

Complex_JML_Test.TestRealPart(Complex receiver$)
Initialize this instance.

Complex_JML_Test.TestImaginaryPart(Complex receiver$)
Initialize this instance.

Complex_JML_Test.TestMagnitude(Complex receiver$)
Initialize this instance.

Complex_JML_Test.TestAngle(Complex receiver$)
Initialize this instance.

Complex_JML_Test.TestAdd(Complex receiver$, Complex b)
Initialize this instance.

Complex_JML_Test.TestSub(Complex receiver$, Complex b)
Initialize this instance.

Complex_JML_Test.TestMul(Complex receiver$, Complex b)
Initialize this instance.

Complex_JML_Test.TestDiv(Complex receiver$, Complex b)
Initialize this instance.

Complex_JML_Test.TestEquals(Complex receiver$, Object o)
Initialize this instance.

Complex_JML_Test.TestHashCode(Complex receiver$)
Initialize this instance.