|
|
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: 5120 (0x1400)
Types: Ada Source
Notes: 03_class, FILE, R1k_Segment, e3_tag, package Name_Utilities, seg_00469d
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─⟦5a81ac88f⟧ »Space Info Vol 1«
└─⟦this⟧
--| @SUMMARY This package provides some useful Ada and Environment
--| name operations.
--|
with Time_Utilities;
package Name_Utilities is
--| @DESCRIPTION Returns True iff the specified string is a valid
--| simple Ada name (i.e. "Foo", or "Two_Words"). Leading or trailing
--| blanks are not permitted.
--|
function Is_Simple_Ada_Name (This_String : in String) return Boolean;
--| @DESCRIPTION Returns True iff the specified string is a valid Ada
--| name containing at least one '.' (i.e. "Foo.Bar"). Leading or trailing
--| blanks are not permitted.
--|
function Is_Dotted_Ada_Name (This_String : in String) return Boolean;
--| @DESCRIPTION Returns True iff the specified string is a simple Ada
--| name or a dotted Ada name. Leading or trailing blanks are not permitted.
--|
function Is_Ada_Name (This_String : in String) return Boolean;
--| @DESCRIPTION Returns True iff the specified string is a valid
--| Environment pathname (i.e. "$$.Foo.@.Bar").
--|
function Is_Pathname (This_String : in String) return Boolean;
--| @DESCRIPTION Returns True iff the specified string is a valid
--| fully qualified Environment pathname (i.e. "!Foo.Bar").
--|
function Is_Fully_Qualified_Pathname
(This_String : in String) return Boolean;
--| @DESCRIPTION Returns True iff the specified string is a valid username
--| (i.e. "JLS" or "Demo_1").
--|
function Is_User_Name (This_String : in String) return Boolean;
--| @SUMMARY Returns the fully-qualified name of a file located in
--| "!Machine.Temporary".
--|
--| @SPECIAL_NOTES This function will return a different name each time
--| it is called, so the return value must be assigned to a string constant
--| if it is going to be used more than once.
--|
function Unique_Temporary_File_Name return String;
--| @DESCRIPTION This function returns a filename indicating that the
--| specified file is to be used as an indirect file for naming resolution.
--|
function Indirect_File_Name_For (This_File_Name : in String) return String;
--| @SUMMARY Returns a naming expression which resolves to all objects
--| in the specified library.
--|
--| @DESCRIPTION If "Transitive" is True, returns a naming expression
--| which resolves to every object in the specified library, no matter how
--| deeply nested; otherwise returns only the objects contained directly
--| within the specified library.
--|
--| If "Include_Object_Itself" is True, adds the library itself to the
--| naming expression.
--|
function All_Objects_In (This_Library : in String;
Include_Object_Itself : in Boolean;
Transitive : in Boolean) return String;
--| @SUMMARY Returns a time stamp suitable for file names.
--|
function Time_Stamp (Date : Time_Utilities.Time :=
Time_Utilities.Get_Time;
Date_Style : Time_Utilities.Date_Format :=
Time_Utilities.Ada;
Time_Style : Time_Utilities.Time_Format :=
Time_Utilities.Ada;
Contents : Time_Utilities.Image_Contents :=
Time_Utilities.Both)
return String renames Time_Utilities.Image;
end Name_Utilities;
nblk1=4
nid=0
hdr6=8
[0x00] rec0=19 rec1=00 rec2=01 rec3=082
[0x01] rec0=19 rec1=00 rec2=02 rec3=02e
[0x02] rec0=14 rec1=00 rec2=03 rec3=058
[0x03] rec0=0d rec1=00 rec2=04 rec3=001
tail 0x2150047aa815c66a5b7db 0x42a00088462061e03