Subversion Repositories openrisc_me

package Rational_Arithmetic is

  -- Whole numbers

  type Whole is new Integer;

--

  -- Undefine unwanted operations

  function "/" (Left, Right: Whole) return Whole is abstract;

--

  -- Rational numbers

--

  type Rational is private;

--

  -- Constructors

--

  function "/" (Left, Right: Whole) return Rational;

--

  -- Rational operations

--

  function "-" (Left, Right: Rational) return Rational;

--

  -- Mixed operations

--

  function "+" (Left: Whole   ; Right: Rational) return Rational;

  function "-" (Left: Whole   ; Right: Rational) return Rational;

  function "-" (Left: Rational; Right: Whole   ) return Rational;

  function "/" (Left: Whole   ; Right: Rational) return Rational;

  function "*" (Left: Whole   ; Right: Rational) return Rational;

  function "*" (Left: Rational; Right: Whole   ) return Rational;

--

  -- Relational

--

  function "=" (Left: Rational; Right: Whole) return Boolean;

--

private

  type Rational is record

    Numerator, Denominator: Whole;

  end record;

end Rational_Arithmetic;