home *** CD-ROM | disk | FTP | other *** search
/ Whiteline: Alpha / Whiteline Alpha.iso / progtool / modula2 / excard / excard.def next >
Encoding:
Modula Definition  |  1994-09-22  |  1.5 KB  |  56 lines
  1. DEFINITION MODULE Excard;
  2.  
  3. (*              Definitionsmodul Excard Version 1.0                   *
  4.  *       Copyright: K. Hartlage, Pr.Stroehen 194, 4993 Rahden         *
  5.  * Berechnung (Ex-)tra langer (Card-)inalzahlen;                      *
  6.  * Verbesserungen, Berichtigungen und eigene Anwendungen bitte an die *
  7.  * obige Adresse senden                                               *)
  8.  
  9. FROM  SYSTEM IMPORT ADDRESS;
  10.  
  11. CONST ExCardLen    =  416;
  12.       ExCardDigits = 2000; (* Anzahl Zeichen *)
  13.  
  14. TYPE        ExCard = RECORD
  15.                        length:CARDINAL;
  16.                        (* Laenge der Zahl *)
  17.                        number:ARRAY [0..ExCardLen-1] OF CARDINAL;
  18.                        (* eigentliche Darstellung der Zahl *)
  19.                      END;
  20. (* a=0 genau dann wenn a.length=1 a.number[0]=0;
  21.    a=1 genau dann wenn a.length=1 a.number[0]=1 usw. *)
  22.  
  23. PROCEDURE Def(VAR a : ExCard; b : ADDRESS);
  24.  
  25. PROCEDURE CardToExCard(VAR a : ExCard; b : CARDINAL);
  26.  
  27. PROCEDURE ExEqual(VAR a,b : ExCard) : BOOLEAN;
  28.  
  29. PROCEDURE ExLess(VAR a,b : ExCard) : BOOLEAN;
  30.  
  31. PROCEDURE ExOdd(VAR a : ExCard) : BOOLEAN;
  32.  
  33. PROCEDURE ExInc(VAR a : ExCard);
  34.  
  35. PROCEDURE ExDec(VAR a : ExCard);
  36.  
  37. PROCEDURE ExAdd(VAR sum,a,b : ExCard);
  38.  
  39. PROCEDURE ExSub(VAR diff,a,b: ExCard);
  40.  
  41. PROCEDURE ExShl(VAR a : ExCard);
  42.  
  43. PROCEDURE ExShr(VAR a : ExCard):BOOLEAN;
  44.  
  45. PROCEDURE ExMul(VAR prod,a,b :ExCard);
  46.  
  47. PROCEDURE ExDiv(VAR quot,a,b :ExCard);
  48.  
  49. PROCEDURE ExMod(VAR rest,a,b :ExCard);
  50.  
  51. PROCEDURE ExRead(VAR a : ExCard);
  52.  
  53. PROCEDURE ExWrite( a : ExCard);
  54.  
  55. END Excard.
  56.