⟦b33497a46⟧

E3 Source Code



pragma Version (10001);
package Standard is
    type *Universal_Integer* is [universal_integer];
    type *Universal_Real* is [universal_real];
    type *Universal_Fixed* is [universal_fixed];
    type Boolean is (False, True);
    type Integer is range -2147483648 .. 2147483647;
    type Byte_Integer is range -128 .. 127;
    type Short_Integer is range -32768 .. 32767;
    type Long_Integer is range -2147483648 .. 2147483647;
    type Float is digits 15 range -16#1.FFFF_FFFF_FFFE_2# * 2.0 ** 1023 ..
                                     16#1.FFFF_FFFF_FFFE_2# * 2.0 ** 1023;
    type Duration is delta 16#1.0# * 2.0 ** (-14)
                        range -16#1.518# * 2.0 ** 16 .. 16#1.518# * 2.0 ** 16;
    subtype Natural is Integer range 0 .. 2147483647;
    subtype Positive is Integer range 1 .. 2147483647;
    type Character is (ASCII.NUL, ASCII.SOH, ASCII.STX, ASCII.ETX, ASCII.EOT, ASCII.ENQ, ASCII.ACK, ASCII.BEL, ASCII.BS, ASCII.HT, ASCII.LF,                      ASCII.VT, ASCII.FF, ASCII.CR, ASCII.SO, ASCII.SI, ASCII.DLE, ASCII.DC1, ASCII.DC2, ASCII.DC3, ASCII.DC4, ASCII.NAK,
                       ASCII.SYN, ASCII.ETB, ASCII.CAN, ASCII.EM, ASCII.SUB, ASCII.ESC, ASCII.FS, ASCII.GS, ASCII.RS, ASCII.US, ' ',
                       '!', '"', '#', '$', '%', '&', ''', '(', ')', '*', '+',
                       ',', '-', '.', '/', '0', '1', '2', '3', '4', '5', '6',
                       '7', '8', '9', ':', ';', '<', '=', '>', '?', '@', 'A',
                       'B', 'C', 'D', 'E', 'F', 'G', 'H', 'I', 'J', 'K', 'L',
                       'M', 'N', 'O', 'P', 'Q', 'R', 'S', 'T', 'U', 'V', 'W',
                       'X', 'Y', 'Z', '[', '\', ']', '^', '_', '`', 'a',
                       'b', 'c', 'd', 'e', 'f', 'g', 'h', 'i', 'j', 'k',
                       'l', 'm', 'n', 'o', 'p', 'q', 'r', 's', 't', 'u',
                       'v', 'w', 'x', 'y', 'z', '{', '|', '}', '~', ASCII.DEL);
    type String is array (Positive range <>) of Character;
    pragma Pack (String);
    package Ascii is
        Lc_Z : constant Character := *LC_Z*;
        Lc_Y : constant Character := *LC_Y*;
        Lc_X : constant Character := *LC_X*;
        Lc_W : constant Character := *LC_W*;
        Lc_V : constant Character := *LC_V*;
        Lc_U : constant Character := *LC_U*;
        Lc_T : constant Character := *LC_T*;
        Lc_S : constant Character := *LC_S*;
        Lc_R : constant Character := *LC_R*;
        Lc_Q : constant Character := *LC_Q*;
        Lc_P : constant Character := *LC_P*;
        Lc_O : constant Character := *LC_O*;
        Lc_N : constant Character := *LC_N*;
        Lc_M : constant Character := *LC_M*;
        Lc_L : constant Character := *LC_L*;
        Lc_K : constant Character := *LC_K*;
        Lc_J : constant Character := *LC_J*;
        Lc_I : constant Character := *LC_I*;
        Lc_H : constant Character := *LC_H*;
        Lc_G : constant Character := *LC_G*;
        Lc_F : constant Character := *LC_F*;
        Lc_E : constant Character := *LC_E*;
        Lc_D : constant Character := *LC_D*;
        Lc_C : constant Character := *LC_C*;
        Lc_B : constant Character := *LC_B*;
        Lc_A : constant Character := *LC_A*;
        Tilde : constant Character := *TILDE*;
        Bar : constant Character := *BAR*;
        Grave : constant Character := *GRAVE*;
        Circumflex : constant Character := *CIRCUMFLEX*;
        Back_Slash : constant Character := *BACK_SLASH*;
        At_Sign : constant Character := *AT_SIGN*;
        Semicolon : constant Character := *SEMICOLON*;
        Ampersand : constant Character := *AMPERSAND*;
        Dollar : constant Character := *DOLLAR*;
        Quotation : constant Character := *QUOTATION*;
        R_Brace : constant Character := *R_BRACE*;
        L_Brace : constant Character := *L_BRACE*;
        Underline : constant Character := *UNDERLINE*;
        R_Bracket : constant Character := *R_BRACKET*;
        L_Bracket : constant Character := *L_BRACKET*;
        Query : constant Character := *QUERY*;
        Colon : constant Character := *COLON*;
        Percent : constant Character := *PERCENT*;
        Sharp : constant Character := *SHARP*;
        Exclam : constant Character := *EXCLAM*;
        Del : constant Character := *DEL*;
        Us : constant Character := *US*;
        Rs : constant Character := *RS*;
        Gs : constant Character := *GS*;
        Fs : constant Character := *FS*;
        Esc : constant Character := *ESC*;
        Sub : constant Character := *SUB*;
        Em : constant Character := *EM*;
        Can : constant Character := *CAN*;
        Etb : constant Character := *ETB*;
        Syn : constant Character := *SYN*;
        Nak : constant Character := *NAK*;
        Dc4 : constant Character := *DC4*;
        Dc3 : constant Character := *DC3*;
        Dc2 : constant Character := *DC2*;
        Dc1 : constant Character := *DC1*;
        Dle : constant Character := *DLE*;
        Si : constant Character := *SI*;
        So : constant Character := *SO*;
        Cr : constant Character := *CR*;
        Ff : constant Character := *FF*;
        Vt : constant Character := *VT*;
        Lf : constant Character := *LF*;
        Ht : constant Character := *HT*;
        Bs : constant Character := *BS*;
        Bel : constant Character := *BEL*;
        Ack : constant Character := *ACK*;
        Enq : constant Character := *ENQ*;
        Eot : constant Character := *EOT*;
        Etx : constant Character := *ETX*;
        Stx : constant Character := *STX*;
        Soh : constant Character := *SOH*;
        Nul : constant Character := *NUL*;
    end Ascii;
    Constraint_Error : exception;
    Numeric_Error : exception;
    Storage_Error : exception;
    Tasking_Error : exception;
    Program_Error : exception;
end Standard;
DataMuseum.dk

Rational R1000/400

⟦b33497a46⟧ Ada Source

Derivation

E3 Source Code

E3 Meta Data
