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_ch4_ffacalc.kv 5 -- (C) 2017 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_ch4_ffacalc.kv 41 procedure Quit(Return_Code : Integer);
ffa_ch4_ffacalc.kv 42 pragma Import
ffa_ch4_ffacalc.kv 43 (Convention => C,
ffa_ch4_ffacalc.kv 44 Entity => Quit,
ffa_ch4_ffacalc.kv 45 External_Name => "exit");
ffa_ch4_ffacalc.kv 46
ffa_ch4_ffacalc.kv 47 private
ffa_ch4_ffacalc.kv 48
ffa_ch4_ffacalc.kv 49 -- POSIX stdio:
ffa_ch4_ffacalc.kv 50 EOF : constant int := -1;
ffa_ch4_ffacalc.kv 51
ffa_ch4_ffacalc.kv 52 function GetChar return int;
ffa_ch4_ffacalc.kv 53 pragma Import(C, getchar);
ffa_ch4_ffacalc.kv 54
ffa_ch4_ffacalc.kv 55 function PutChar(item: int) return int;
ffa_ch4_ffacalc.kv 56 pragma Import(C, putchar);
ffa_ch4_ffacalc.kv 57
ffa_ch4_ffacalc.kv 58 -- GNATistic
ffa_ch4_ffacalc.kv 59 procedure To_Stderr(C : Character);
ffa_ch4_ffacalc.kv 60 pragma Import(Ada, To_Stderr, "__gnat_to_stderr_char");
ffa_ch4_ffacalc.kv 61
ffa_ch4_ffacalc.kv 62 Sadness_Code : constant Integer := -1;
ffa_ch4_ffacalc.kv 63
ffa_ch4_ffacalc.kv 64 end OS;