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 with Interfaces; use Interfaces;
ffa_ch4_ffacalc.kv 21 with Interfaces.C; use Interfaces.C;
ffa_ch4_ffacalc.kv 22
ffa_ch4_ffacalc.kv 23
ffa_ch4_ffacalc.kv 24 package OS is
ffa_ch4_ffacalc.kv 25
ffa_ch4_ffacalc.kv 26 -- Receive a character from the TTY, and True if success (False if EOF)
ffa_ch4_ffacalc.kv 27 function Read_Char(C : out Character) return Boolean;
ffa_ch4_ffacalc.kv 28
ffa_ch4_ffacalc.kv 29 -- Send a character to the TTY.
ffa_ch4_ffacalc.kv 30 procedure Write_Char(C : in Character);
ffa_ch4_ffacalc.kv 31
ffa_ch4_ffacalc.kv 32 -- Send a Newline to the TTY.
ffa_ch4_ffacalc.kv 33 procedure Write_Newline;
ffa_ch4_ffacalc.kv 34
ffa_ch11_tuning_a... 35 -- Send a String to the TTY.
ffa_ch11_tuning_a... 36 procedure Write_String(S : in String);
ffa_ch11_tuning_a... 37
ffa_ch4_ffacalc.kv 38 -- Exit with an error condition report.
ffa_ch4_ffacalc.kv 39 procedure Eggog(M : String);
ffa_ch4_ffacalc.kv 40
ffa_ch17_peh.kv 41 -- Warn operator re: potentially-dangerous condition.
ffa_ch17_peh.kv 42 procedure Achtung(M : String);
ffa_ch17_peh.kv 43
ffa_ch4_ffacalc.kv 44 procedure Quit(Return_Code : Integer);
ffa_ch4_ffacalc.kv 45 pragma Import
ffa_ch4_ffacalc.kv 46 (Convention => C,
ffa_ch4_ffacalc.kv 47 Entity => Quit,
ffa_ch4_ffacalc.kv 48 External_Name => "exit");
ffa_ch4_ffacalc.kv 49
ffa_ch17_peh.kv 50 -- Result Codes for Termination
ffa_ch17_peh.kv 51 Yes_Code : constant Integer := 1;
ffa_ch17_peh.kv 52 No_Code : constant Integer := 0;
ffa_ch17_peh.kv 53 Mu_Code : constant Integer := -1;
ffa_ch17_peh.kv 54 Sad_Code : constant Integer := -2;
ffa_ch17_peh.kv 55
ffa_ch4_ffacalc.kv 56 private
ffa_ch4_ffacalc.kv 57
ffa_ch4_ffacalc.kv 58 -- POSIX stdio:
ffa_ch4_ffacalc.kv 59 EOF : constant int := -1;
ffa_ch4_ffacalc.kv 60
ffa_ch4_ffacalc.kv 61 function GetChar return int;
ffa_ch4_ffacalc.kv 62 pragma Import(C, getchar);
ffa_ch4_ffacalc.kv 63
ffa_ch4_ffacalc.kv 64 function PutChar(item: int) return int;
ffa_ch4_ffacalc.kv 65 pragma Import(C, putchar);
ffa_ch4_ffacalc.kv 66
ffa_ch4_ffacalc.kv 67 -- GNATistic
ffa_ch4_ffacalc.kv 68 procedure To_Stderr(C : Character);
ffa_ch4_ffacalc.kv 69 pragma Import(Ada, To_Stderr, "__gnat_to_stderr_char");
ffa_ch4_ffacalc.kv 70
ffa_ch4_ffacalc.kv 71 end OS;