rational_arithmetic.ads

来自「用于进行gcc测试」· ADS 代码 · 共 38 行

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;