DataMuseum.dk

top - download

    Length: 762 (0x2fa)
    Types: TextFile
    Names: »L«

└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─ ⟦129cab021⟧ »DATA« 
        └─⟦this⟧ 
└─⟦2f6cfab89⟧ Bits:30000547 8mm tape, Rational 1000, !projects 94-01-04
    └─ ⟦d65440be7⟧ »DATA« 
        └─⟦this⟧ 

TextFile

[comp_unit]

  -- package fifo specifications
-- genericite au niveau du type des elements contenus dans la fifo
-- auteur : Sebastien BROCHET
-- date   : 3 Novembre 1993

generic
   Type Element is private;
package FIFO is
  type Object is private;
  EmptyFifo:constant Object;  -- constante differee
  procedure EnQueue(F:in out Object;e:in Element);
  procedure DeQueue(F:in out Object;e:out Element);
  empty:exception;
  full:exception;
  Private
    type Cell;
    type pCell is access Cell;
    type Object is record
                     head,tail:pCell;
                   End record;
    EmptyFifo:constant object:=(Null,Null);
    type Cell is record
                   val:Element;
                   suc:pCell;
                 End record;
end FIFO;