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

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;