ADD: Read/Write HUGEINT module procs

git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@7898 8c9fc860-2736-0410-a75d-ab315db34111

source/Files.Mod

@@ -1171,6 +1171,11 @@ BEGIN
 	r.file.ReadBytes(r, SYSTEM.VAL(Bytes4, x), 0, 4)
 END ReadLInt;
 
+PROCEDURE ReadHInt*(VAR r: Rider; VAR x: HUGEINT);
+BEGIN
+	r.file.ReadBytes(r, SYSTEM.VAL(Bytes8, x), 0, 8)
+END ReadHInt;
+
 PROCEDURE ReadSet*(VAR r: Rider; VAR x: SET);
 CONST Size = SIZEOF (SET);
 TYPE Bytes = ARRAY Size OF CHAR;
@@ -1240,6 +1245,11 @@ BEGIN
 	r.file.WriteBytes(r, SYSTEM.VAL(Bytes4, x), 0, 4)
 END WriteLInt;
 
+PROCEDURE WriteHInt*(VAR r: Rider; x: HUGEINT);
+BEGIN
+	r.file.WriteBytes(r, SYSTEM.VAL(Bytes8, x), 0, 8)
+END WriteHInt;
+
 PROCEDURE WriteSet*(VAR r: Rider; x: SET);
 CONST Size = SIZEOF (SET);
 TYPE Bytes = ARRAY Size OF CHAR;