Return to standard_natural_numbers.adb CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Numbers

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Numbers/standard_natural_numbers.adb, Revision 1.1

1.1     ! maekawa     1: package body Standard_Natural_Numbers is
        !             2:
        !             3:   function Create ( n : natural ) return natural is
        !             4:   begin
        !             5:     return n;
        !             6:   end Create;
        !             7:
        !             8:   function Equal ( a,b : natural ) return boolean is
        !             9:   begin
        !            10:     return (a = b);
        !            11:   end Equal;
        !            12:
        !            13:   procedure Copy ( a : in natural; b : in out natural ) is
        !            14:   begin
        !            15:     b := a;
        !            16:   end Copy;
        !            17:
        !            18:   procedure Add ( a : in out natural; b : in natural ) is
        !            19:   begin
        !            20:     a := a+b;
        !            21:   end Add;
        !            22:
        !            23:   procedure Sub ( a : in out natural; b : in natural ) is
        !            24:   begin
        !            25:     a := a-b;
        !            26:   end Sub;
        !            27:
        !            28:   procedure Min ( a : in out natural ) is
        !            29:   begin
        !            30:     a := -a;
        !            31:   end Min;
        !            32:
        !            33:   procedure Mul ( a : in out natural; b : in natural ) is
        !            34:   begin
        !            35:     a := a*b;
        !            36:   end Mul;
        !            37:
        !            38:   procedure Clear ( a : in out natural ) is
        !            39:   begin
        !            40:     null;
        !            41:   end Clear;
        !            42:
        !            43: end Standard_Natural_Numbers;