DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400

Excavated with: AutoArchaeologist - Free & Open Source Software.


top - download

⟦96c966b65⟧ Ada Source

    Length: 51200 (0xc800)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package body Class, package body Generic_Class, package body Generic_Fact_Base, package body Predicate, package body Query, package body Working_Memory, seg_03c140, seg_03c52c, seg_03c6d3

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦5a81ac88f⟧ »Space Info Vol 1« 
        └─⟦this⟧ 
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦cfc2e13cd⟧ »Space Info Vol 2« 
        └─⟦this⟧ 

E3 Source Code



package body Generic_Fact_Base is
    package body Predicate is separate;
    package body Query is separate;
    package body Class is separate;
    package body Generic_Class is separate;
    package body Working_Memory is separate;
end Generic_Fact_Base;

E3 Meta Data

    nblk1=31
    nid=30
    hdr6=2
        [0x00] rec0=09 rec1=00 rec2=01 rec3=000
        [0x01] rec0=13 rec1=00 rec2=0c rec3=012
        [0x02] rec0=12 rec1=00 rec2=02 rec3=06c
        [0x03] rec0=15 rec1=00 rec2=0e rec3=078
        [0x04] rec0=13 rec1=00 rec2=09 rec3=010
        [0x05] rec0=00 rec1=00 rec2=0b rec3=010
        [0x06] rec0=1b rec1=00 rec2=05 rec3=004
        [0x07] rec0=1d rec1=00 rec2=08 rec3=008
        [0x08] rec0=1f rec1=00 rec2=03 rec3=012
        [0x09] rec0=1f rec1=00 rec2=07 rec3=04e
        [0x0a] rec0=1a rec1=00 rec2=06 rec3=042
        [0x0b] rec0=18 rec1=00 rec2=04 rec3=01c
        [0x0c] rec0=18 rec1=00 rec2=0d rec3=00c
        [0x0d] rec0=18 rec1=00 rec2=0f rec3=02c
        [0x0e] rec0=19 rec1=00 rec2=11 rec3=010
        [0x0f] rec0=1b rec1=00 rec2=1a rec3=054
        [0x10] rec0=1d rec1=00 rec2=10 rec3=072
        [0x11] rec0=1f rec1=00 rec2=2b rec3=022
        [0x12] rec0=07 rec1=00 rec2=2c rec3=054
        [0x13] rec0=18 rec1=00 rec2=2a rec3=024
        [0x14] rec0=19 rec1=00 rec2=29 rec3=030
        [0x15] rec0=1a rec1=00 rec2=28 rec3=092
        [0x16] rec0=19 rec1=00 rec2=27 rec3=020
        [0x17] rec0=1a rec1=00 rec2=26 rec3=00e
        [0x18] rec0=1c rec1=00 rec2=25 rec3=02a
        [0x19] rec0=19 rec1=00 rec2=24 rec3=00a
        [0x1a] rec0=00 rec1=00 rec2=31 rec3=02c
        [0x1b] rec0=17 rec1=00 rec2=23 rec3=022
        [0x1c] rec0=1e rec1=00 rec2=22 rec3=000
        [0x1d] rec0=24 rec1=00 rec2=21 rec3=00e
        [0x1e] rec0=1c rec1=00 rec2=20 rec3=006
        [0x1f] rec0=1b rec1=00 rec2=1f rec3=05c
        [0x20] rec0=1e rec1=00 rec2=1e rec3=036
        [0x21] rec0=18 rec1=00 rec2=1d rec3=008
        [0x22] rec0=1a rec1=00 rec2=1c rec3=012
        [0x23] rec0=19 rec1=00 rec2=1b rec3=02c
        [0x24] rec0=1b rec1=00 rec2=2d rec3=05c
        [0x25] rec0=18 rec1=00 rec2=2e rec3=024
        [0x26] rec0=21 rec1=00 rec2=2f rec3=01c
        [0x27] rec0=10 rec1=00 rec2=30 rec3=000
        [0x28] rec0=1b rec1=00 rec2=1f rec3=05c
        [0x29] rec0=1e rec1=00 rec2=1e rec3=036
        [0x2a] rec0=18 rec1=00 rec2=1d rec3=008
        [0x2b] rec0=1a rec1=00 rec2=1c rec3=012
        [0x2c] rec0=19 rec1=00 rec2=1b rec3=02c
        [0x2d] rec0=1b rec1=00 rec2=2d rec3=05c
        [0x2e] rec0=18 rec1=00 rec2=2e rec3=024
        [0x2f] rec0=21 rec1=00 rec2=2f rec3=01c
        [0x30] rec0=10 rec1=00 rec2=30 rec3=000
    tail 0x2173a2196857a7dc05639 0x42a00088462063c03
Free Block Chain:
  0x30: 0000  00 2f 02 63 80 3c 20 20 72 65 74 75 72 6e 20 49  ┆ / c <  return I┆
  0x2f: 0000  00 2e 03 fc 80 0b 5f 44 69 66 66 65 72 65 6e 74  ┆ .    _Different┆
  0x2e: 0000  00 2d 03 fc 80 14 6e 67 29 20 72 65 74 75 72 6e  ┆ -    ng) return┆
  0x2d: 0000  00 1b 03 fc 80 0b 73 5f 4f 72 5f 45 71 75 61 6c  ┆      s_Or_Equal┆
  0x1b: 0000  00 1c 03 fc 80 21 20 20 20 20 20 20 20 72 65 74  ┆     !       ret┆
  0x1c: 0000  00 1d 03 fc 80 19 20 20 20 20 20 20 20 20 65 6e  ┆              en┆
  0x1d: 0000  00 1e 03 fc 80 26 73 20 28 54 68 65 5f 56 61 6c  ┆     &s (The_Val┆
  0x1e: 0000  00 1f 03 fc 80 14 56 61 6c 75 65 20 28 54 68 65  ┆      Value (The┆
  0x1f: 0000  00 20 03 fc 80 41 20 20 20 20 20 20 20 20 20 66  ┆     A         f┆
  0x20: 0000  00 21 03 fc 80 0a 20 20 20 20 20 62 65 67 69 6e  ┆ !         begin┆
  0x21: 0000  00 22 03 fc 00 00 00 00 21 20 20 20 20 20 20 20  ┆ "      !       ┆
  0x22: 0000  00 23 03 fa 00 3a 20 20 20 20 20 20 20 20 20 20  ┆ #   :          ┆
  0x23: 0000  00 31 03 fb 80 14 74 5f 4f 62 6a 65 63 74 5f 45  ┆ 1    t_Object_E┆
  0x31: 0000  00 24 00 19 80 16 20 20 20 20 20 20 20 20 20 20  ┆ $              ┆
  0x24: 0000  00 25 03 fc 80 2d 4d 61 74 63 68 20 28 56 61 6c  ┆ %   -Match (Val┆
  0x25: 0000  00 26 03 fc 80 47 20 20 20 20 20 20 20 20 20 72  ┆ &   G         r┆
  0x26: 0000  00 27 03 fc 80 01 6e 01 00 3d 20 20 20 20 20 20  ┆ '    n  =      ┆
  0x27: 0000  00 28 03 fc 00 20 20 20 20 20 20 20 20 20 20 20  ┆ (              ┆
  0x28: 0000  00 29 03 fc 80 25 62 6a 65 63 74 27 28 4f 77 6e  ┆ )   %bject'(Own┆
  0x29: 0000  00 2a 03 fc 80 07 64 20 63 61 73 65 3b 07 00 14  ┆ *    d case;   ┆
  0x2a: 0000  00 2c 03 fc 80 0f 74 65 5f 43 6f 6e 6a 75 6e 63  ┆ ,    te_Conjunc┆
  0x2c: 0000  00 2b 00 ef 00 38 20 20 20 20 20 20 20 20 20 20  ┆ +   8          ┆
  0x2b: 0000  00 10 03 fb 80 10 72 65 74 75 72 6e 20 4f 62 6a  ┆      return Obj┆
  0x10: 0000  00 1a 03 fc 80 06 65 64 22 3b 20 20 06 00 26 20  ┆      ed";    & ┆
  0x1a: 0000  00 11 03 fc 80 36 20 20 20 20 20 20 20 20 20 20  ┆     6          ┆
  0x11: 0000  00 0f 03 fc 80 03 73 65 3b 03 00 00 00 00 16 20  ┆      se;       ┆
  0xf: 0000  00 0d 03 fc 80 26 20 20 20 20 20 20 20 20 20 20  ┆     &          ┆
  0xd: 0000  00 04 03 fc 80 13 20 20 20 20 20 20 77 68 65 6e  ┆            when┆
  0x4: 0000  00 06 03 fc 80 21 43 6f 64 65 20 3d 3e 20 28 53  ┆     !Code => (S┆
  0x6: 0000  00 07 03 fc 80 1f 3e 20 28 53 75 62 5f 43 6c 61  ┆      > (Sub_Cla┆
  0x7: 0000  00 03 03 fc 80 07 20 20 20 65 6c 73 65 07 00 1d  ┆         else   ┆
  0x3: 0000  00 08 03 fc 80 19 20 20 20 20 20 20 20 20 20 20  ┆                ┆
  0x8: 0000  00 05 03 fc 80 44 20 20 20 20 20 20 20 20 20 20  ┆     D          ┆
  0x5: 0000  00 0b 03 fc 80 02 72 64 02 00 21 20 20 20 20 20  ┆      rd  !     ┆
  0xb: 0000  00 09 00 0b 80 08 20 20 20 20 72 65 63 6f 08 20  ┆          reco  ┆
  0x9: 0000  00 0e 03 fc 80 0f 69 6e 65 64 2e 4f 70 65 72 61  ┆      ined.Opera┆
  0xe: 0000  00 02 03 fc 80 15 65 6d 5f 44 65 66 69 6e 65 64  ┆      em_Defined┆
  0x2: 0000  00 0c 03 ce 80 41 20 20 20 66 75 6e 63 74 69 6f  ┆     A   functio┆
  0xc: 0000  00 0a 03 fc 80 32 79 70 65 20 43 6f 6c 6c 65 63  ┆     2ype Collec┆
  0xa: 0000  00 12 03 fc 80 0d 20 20 20 20 20 20 20 20 62 65  ┆              be┆
  0x12: 0000  00 13 03 fc 80 3f 6e 63 74 69 6f 6e 20 49 73 5f  ┆     ?nction Is_┆
  0x13: 0000  00 14 03 fc 80 38 74 75 72 6e 20 49 73 5f 47 72  ┆     8turn Is_Gr┆
  0x14: 0000  00 15 03 fc 80 04 29 29 29 3b 04 00 19 20 20 20  ┆      )));      ┆
  0x15: 0000  00 16 03 fc 00 50 20 20 20 20 20 20 20 20 20 20  ┆     P          ┆
  0x16: 0000  00 17 03 f9 80 0b 49 73 5f 47 72 65 61 74 65 72  ┆      Is_Greater┆
  0x17: 0000  00 18 03 fc 80 0c 5f 55 6e 64 65 66 69 6e 65 64  ┆      _Undefined┆
  0x18: 0000  00 19 03 fc 00 21 20 20 20 20 20 20 20 20 20 20  ┆     !          ┆
  0x19: 0000  00 00 03 fb 80 27 4f 70 65 72 61 74 6f 72 73 3b  ┆     'Operators;┆