raw
ffa_ch4_ffacalc.kv      1 ------------------------------------------------------------------------------
ffa_ch4_ffacalc.kv 2 ------------------------------------------------------------------------------
ffa_ch4_ffacalc.kv 3 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'. --
ffa_ch4_ffacalc.kv 4 -- --
ffa_ch15_gcd.kv 5 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org ) --
ffa_ch4_ffacalc.kv 6 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html --
ffa_ch4_ffacalc.kv 7 -- --
ffa_ch4_ffacalc.kv 8 -- You do not have, nor can you ever acquire the right to use, copy or --
ffa_ch4_ffacalc.kv 9 -- distribute this software ; Should you use this software for any purpose, --
ffa_ch4_ffacalc.kv 10 -- or copy and distribute it to anyone or in any manner, you are breaking --
ffa_ch4_ffacalc.kv 11 -- the laws of whatever soi-disant jurisdiction, and you promise to --
ffa_ch4_ffacalc.kv 12 -- continue doing so for the indefinite future. In any case, please --
ffa_ch4_ffacalc.kv 13 -- always : read and understand any software ; verify any PGP signatures --
ffa_ch4_ffacalc.kv 14 -- that you use - for any purpose. --
ffa_ch4_ffacalc.kv 15 -- --
ffa_ch4_ffacalc.kv 16 -- See also http://trilema.com/2015/a-new-software-licensing-paradigm . --
ffa_ch4_ffacalc.kv 17 ------------------------------------------------------------------------------
ffa_ch4_ffacalc.kv 18 ------------------------------------------------------------------------------
ffa_ch4_ffacalc.kv 19
ffa_ch4_ffacalc.kv 20 package body OS is
ffa_ch4_ffacalc.kv 21
ffa_ch4_ffacalc.kv 22 -- Receive a character from the TTY, and True if success (False if EOF)
ffa_ch4_ffacalc.kv 23 function Read_Char(C : out Character) return Boolean is
ffa_ch4_ffacalc.kv 24 i : int;
ffa_ch4_ffacalc.kv 25 Result : Boolean := False;
ffa_ch4_ffacalc.kv 26 begin
ffa_ch4_ffacalc.kv 27 i := GetChar;
ffa_ch4_ffacalc.kv 28 if i /= EOF then
ffa_ch4_ffacalc.kv 29 C := Character'Val(i);
ffa_ch4_ffacalc.kv 30 Result := True;
ffa_ch4_ffacalc.kv 31 end if;
ffa_ch4_ffacalc.kv 32 return Result;
ffa_ch4_ffacalc.kv 33 end Read_Char;
ffa_ch4_ffacalc.kv 34
ffa_ch4_ffacalc.kv 35
ffa_ch4_ffacalc.kv 36 -- Send a character to the TTY.
ffa_ch4_ffacalc.kv 37 procedure Write_Char(C : in Character) is
ffa_ch4_ffacalc.kv 38 R : int;
ffa_ch4_ffacalc.kv 39 pragma Unreferenced(R);
ffa_ch4_ffacalc.kv 40 begin
ffa_ch4_ffacalc.kv 41 R := PutChar(int(Character'Pos(C)));
ffa_ch4_ffacalc.kv 42 end Write_Char;
ffa_ch4_ffacalc.kv 43
ffa_ch4_ffacalc.kv 44
ffa_ch4_ffacalc.kv 45 -- Send a Newline to the TTY.
ffa_ch4_ffacalc.kv 46 procedure Write_Newline is
ffa_ch4_ffacalc.kv 47 begin
ffa_ch4_ffacalc.kv 48 Write_Char(Character'Val(16#A#));
ffa_ch4_ffacalc.kv 49 end Write_Newline;
ffa_ch4_ffacalc.kv 50
ffa_ch4_ffacalc.kv 51
ffa_ch11_tuning_a... 52 -- Send a String to the TTY.
ffa_ch11_tuning_a... 53 procedure Write_String(S : in String) is
ffa_ch11_tuning_a... 54 begin
ffa_ch11_tuning_a... 55 for i in S'Range loop
ffa_ch11_tuning_a... 56 Write_Char(S(i));
ffa_ch11_tuning_a... 57 end loop;
ffa_ch11_tuning_a... 58 end Write_String;
ffa_ch11_tuning_a... 59
ffa_ch11_tuning_a... 60
ffa_ch4_ffacalc.kv 61 -- Exit with an error condition report.
ffa_ch4_ffacalc.kv 62 procedure Eggog(M : String) is
ffa_ch4_ffacalc.kv 63 begin
ffa_ch4_ffacalc.kv 64 for i in 1 .. M'Length loop
ffa_ch4_ffacalc.kv 65 To_Stderr(M(I));
ffa_ch4_ffacalc.kv 66 end loop;
ffa_ch4_ffacalc.kv 67
ffa_ch4_ffacalc.kv 68 -- Emit LF
ffa_ch4_ffacalc.kv 69 To_Stderr(Character'Val(16#A#));
ffa_ch4_ffacalc.kv 70
ffa_ch4_ffacalc.kv 71 -- Exit
ffa_ch17_peh.kv 72 Quit(Sad_Code);
ffa_ch17_peh.kv 73 end Eggog;
ffa_ch17_peh.kv 74
ffa_ch17_peh.kv 75 -- Warn operator re: potentially-dangerous condition.
ffa_ch17_peh.kv 76 procedure Achtung(M : String) is
ffa_ch17_peh.kv 77 begin
ffa_ch17_peh.kv 78 for i in 1 .. M'Length loop
ffa_ch17_peh.kv 79 To_Stderr(M(I));
ffa_ch17_peh.kv 80 end loop;
ffa_ch17_peh.kv 81
ffa_ch17_peh.kv 82 -- Emit LF
ffa_ch17_peh.kv 83 To_Stderr(Character'Val(16#A#));
ffa_ch17_peh.kv 84 end Achtung;
ffa_ch4_ffacalc.kv 85
ffa_ch4_ffacalc.kv 86 end OS;