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

⟦1ec40b294⟧ Ada Source

    Length: 4096 (0x1000)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package Dfa, seg_030a97

Derivation

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

with Misc_Defs;
with Text_Io;
package Dfa is
    use Misc_Defs, Text_Io;
    procedure Check_For_Backtracking
                 (Ds : in Integer; State : in Unbounded_Int_Array);
    procedure Check_Trailing_Context (Nfa_States : in Int_Ptr;
                                      Num_States : in Integer;
                                      Accset : in Int_Ptr;
                                      Nacc : in Integer);

    procedure Dump_Associated_Rules (F : in File_Type; Ds : in Integer);

    procedure Dump_Transitions (F : in File_Type;
                                State : in Unbounded_Int_Array);

    procedure Epsclosure (T : in out Int_Ptr;
                          Ns_Addr : in out Integer;
                          Accset : in out Int_Ptr;
                          Nacc_Addr, Hv_Addr : out Integer;
                          Result : out Int_Ptr);

    procedure Increase_Max_Dfas;

    procedure Ntod;

    procedure Snstods (Sns : in Int_Ptr;
                       Numstates : in Integer;
                       Accset : in Int_Ptr;
                       Nacc, Hashval : in Integer;
                       Newds_Addr : out Integer;
                       Result : out Boolean);

    function Symfollowset (Ds : in Int_Ptr;
                           Dsize, Transsym : in Integer;
                           Nset : in Int_Ptr) return Integer;

    procedure Sympartition (Ds : in Int_Ptr;
                            Numstates : in Integer;
                            Symlist : in out C_Size_Bool_Array;
                            Duplist : in out C_Size_Array);
end Dfa;
-- Copyright (c) 1990 Regents of the University of California.
-- All rights reserved.
--
-- This software was developed by John Self of the Arcadia project
-- at the University of California, Irvine.
--
-- Redistribution and use in source and binary forms are permitted
-- provided that the above copyright notice and this paragraph are
-- duplicated in all such forms and that any documentation,
-- advertising materials, and other materials related to such
-- distribution and use acknowledge that the software was developed
-- by the University of California, Irvine.  The name of the
-- University may not be used to endorse or promote products derived
-- from this software without specific prior written permission.
-- THIS SOFTWARE IS PROVIDED ``AS IS'' AND WITHOUT ANY EXPRESS OR
-- IMPLIED WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED
-- WARRANTIES OF MERCHANTIBILITY AND FITNESS FOR A PARTICULAR PURPOSE.

-- TITLE equivalence class
-- AUTHOR: John Self (UCI)
-- DESCRIPTION finds equivalence classes so DFA will be smaller
-- $Header: /co/ua/self/arcadia/aflex/ada/src/RCS/ecsB.a,v 1.7 90/01/12 15:19:54 self Exp Locker: self $

    nblk1=3
    nid=0
    hdr6=6
        [0x00] rec0=1c rec1=00 rec2=01 rec3=048
        [0x01] rec0=17 rec1=00 rec2=02 rec3=07e
        [0x02] rec0=10 rec1=00 rec2=03 rec3=001
    tail 0x2172a3f3684a64e7bc396 0x42a00088462060003