|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - metrics - download
Length: 6144 (0x1800) Types: Ada Source Notes: 03_class, FILE, R1k_Segment, e3_tag, package Ext_String, seg_0491a0
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000 └─⟦5a81ac88f⟧ »Space Info Vol 1« └─⟦this⟧
with Our_String, Lex, Text_Io; package Ext_String is subtype Var_String is Our_String.Variable_String; ---------------------------------------------------------------------------- -- Procedures d'ecriture du fichier de verification -- ---------------------------------------------------------------------------- procedure Init_Verify_False; procedure Init_Verify_True; procedure Init_Verify_True (Verify : Text_Io.File_Type); function Verify_Is_Ok return Boolean; function Verify_Output return Text_Io.File_Type; procedure Verify_New_Line; procedure Verify_Print (My_Message : String); procedure Verify_Print (My_Message : Var_String); procedure Print_New_Line; procedure Print (My_Message : String); procedure Print (My_Message : Var_String); ---------------------------------------------------------------------------- -- Fonctions de creation -- ---------------------------------------------------------------------------- procedure Free (V : in out Var_String) renames Our_String.Free; function Image (V : Var_String) return String renames Our_String.Image; function Value (S : String) return Var_String renames Our_String.Value; procedure Copy (Target : in out Var_String; Source : Var_String) renames Our_String.Copy; procedure Copy (Target : in out Var_String; Source : String) renames Our_String.Copy; procedure Copy (Target : in out Var_String; Source : Character) renames Our_String.Copy; procedure Append (Target : in out Var_String; Source : Var_String) renames Our_String.Append; procedure Append (Target : in out Var_String; Source : String) renames Our_String.Append; procedure Append (Target : in out Var_String; Source : Character) renames Our_String.Append; ---------------------------------------------------------------------------- -- Fonctions de consultation -- ---------------------------------------------------------------------------- function Is_Token_Op (Val : Var_String) return Boolean; function Is_Boolean (Val : Var_String) return Boolean; function Is_Integer (Val : Var_String) return Boolean; function Is_String (Val : Var_String) return Boolean; ---------------------------------------------------------------------------- -- Fonctions de consultation -- ---------------------------------------------------------------------------- function Cmp (Val1, Val2 : Var_String) return Boolean; function Cmp (Val1 : Var_String; Val2 : String) return Boolean; function Cmp (Val1 : String; Val2 : Var_String) return Boolean; ---------------------------------------------------------------------------- -- Fonctions de conversion -- ---------------------------------------------------------------------------- function Convert (Val : Var_String) return Lex.Token; function Convert (Val : Var_String) return Boolean; function Convert (Val : Var_String) return Integer; function Convert (Val : Lex.Token) return Var_String; function Convert (Val : Boolean) return Var_String; function Convert (Val : Integer) return Var_String; function Convert (Val : Var_String) return Var_String; ---------------------------------------------------------------------------- -- Fonctions de concatenation -- ---------------------------------------------------------------------------- function "&" (Val1, Val2 : Var_String) return Var_String; function "&" (Val1 : Var_String; Val2 : String) return Var_String; function "&" (Val1 : String; Val2 : Var_String) return Var_String; ---------------------------------------------------------------------------- end Ext_String;
nblk1=5 nid=2 hdr6=8 [0x00] rec0=1e rec1=00 rec2=01 rec3=058 [0x01] rec0=13 rec1=00 rec2=05 rec3=042 [0x02] rec0=14 rec1=00 rec2=03 rec3=034 [0x03] rec0=14 rec1=00 rec2=04 rec3=000 [0x04] rec0=80 rec1=00 rec2=00 rec3=100 tail 0x215467552865b44c7bbb0 0x42a00088462060003 Free Block Chain: 0x2: 0000 00 00 03 fc 80 20 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ┆ ----------┆