|
|
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 ┆ ----------┆