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

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

Complex	ComplexOps.add(Complex b)
Complex	ComplexOps.sub(Complex b)
Complex	ComplexOps.mul(Complex b)
Complex	ComplexOps.div(Complex b)
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) Return this * b (the product of this and b).
abstract Complex	Complex.div(Complex b) Return this/b (the quotient of this by b).

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

Complex	ComplexOps.add(Complex b)
Complex	ComplexOps.sub(Complex b)
Complex	ComplexOps.mul(Complex b)
Complex	ComplexOps.div(Complex b)
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) Return this * b (the product of this and b).
abstract Complex	Complex.div(Complex b) Return this/b (the quotient of this by b).