|
|
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: 29696 (0x7400)
Types: Ada Source
Notes: 03_class, FILE, R1k_Segment, e3_tag, package body Any, seg_0045ae, separate Object_Info
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─⟦5a81ac88f⟧ »Space Info Vol 1«
└─⟦this⟧
separate (Object_Info)
package body Any is
function Is_Empty (These_Objects : in Objects) return Boolean is
The_Objects : Objects := These_Objects;
begin
Directory_Tools.Object.Reset (The_Objects);
return Directory_Tools.Object.Done (The_Objects);
end Is_Empty;
function Number_In (These_Objects : in Objects) return Natural is
The_Objects : Objects := These_Objects;
Count : Natural := 0;
begin
Directory_Tools.Object.Reset (The_Objects);
while not Directory_Tools.Object.Done (The_Objects) loop
Count := Count + 1;
Directory_Tools.Object.Next (The_Objects);
end loop;
Directory_Tools.Object.Reset (The_Objects);
return Count;
end Number_In;
function Classes_Equal
(This_Object : in Object;
This_Class : in Directory_Tools.Object.Class_Enumeration)
return Boolean is
begin
return Directory_Tools.Object.Equal
(Directory_Tools.Object.Class (This_Object), This_Class);
end Classes_Equal;
function Subclasses_Equal (This_Object : in Object;
This_Subclass : in Standard.Directory.Subclass)
return Boolean is
function "=" (This_Subclass : in Standard.Directory.Subclass;
That_Subclass : in Standard.Directory.Subclass)
return Boolean renames Standard.Directory."=";
function "=" (This_Error_Status : in Standard.Directory.Error_Status;
That_Error_Status : in Standard.Directory.Error_Status)
return Boolean renames Standard.Directory."=";
The_Object : Standard.Directory.Object;
The_Status : Standard.Directory.Error_Status;
begin
Directory_Tools.Object.Low_Level.Get_Object
(This_Object, The_Object, The_Status);
return (The_Status = Standard.Directory.Successful) and then
(Standard.Directory.Get_Subclass (The_Object) =
This_Subclass);
end Subclasses_Equal;
function Is_Good (This_Object : in Object) return Boolean is
begin
return not Directory_Tools.Object.Is_Bad (This_Object);
end Is_Good;
function Is_Bad (This_Object : in Object) return Boolean is
begin
return Directory_Tools.Object.Is_Bad (This_Object);
end Is_Bad;
function Is_Library (This_Object : in Object) return Boolean is
begin
return Directory_Tools.Library_Object.Is_Library (This_Object);
end Is_Library;
function Is_Directory (This_Object : in Object) return Boolean is
begin
return Directory_Tools.Library_Object.Is_Directory (This_Object);
end Is_Directory;
function Is_World (This_Object : in Object) return Boolean is
begin
return Directory_Tools.Library_Object.Is_World (This_Object);
end Is_World;
function Is_Simple_World (This_Object : in Object) return Boolean is
begin
return Any.Is_World (This_Object) and then
not Any.Is_Subsystem (This_Object) and then
not Any.Is_View (This_Object);
end Is_Simple_World;
function Is_Model_World (This_Object : in Object) return Boolean is
begin
return
(Directory_Tools.
Naming.Prefix (Directory_Tools.
Naming.Full_Name (This_Object)) = "!MODEL") and then
Any.Is_Simple_World (This_Object);
end Is_Model_World;
function Is_Root (This_Object : in Object) return Boolean is
begin
return Directory_Tools.Naming.Full_Name (This_Object) = "!";
end Is_Root;
function Is_Subsystem (This_Object : in Object) return Boolean is
begin
return Any.Subclasses_Equal
(This_Object, Object_Subclass.Subsystem_Subclass) or else
Any.Subclasses_Equal
(This_Object, Object_Subclass.
Spec_Load_Subsystem_Subclass) or else
Any.Subclasses_Equal
(This_Object, Object_Subclass.Combined_Subsystem_Subclass);
end Is_Subsystem;
function Is_View (This_Object : in Object) return Boolean is
begin
return Any.Subclasses_Equal (This_Object,
Object_Subclass.Spec_View_Subclass) or else
Any.Subclasses_Equal (This_Object,
Object_Subclass.Load_View_Subclass) or else
Any.Subclasses_Equal (This_Object,
Object_Subclass.Combined_View_Subclass);
end Is_View;
function Is_Spec_View (This_Object : in Object) return Boolean is
begin
return Any.Subclasses_Equal (This_Object,
Object_Subclass.Spec_View_Subclass);
end Is_Spec_View;
function Is_Load_View (This_Object : in Object) return Boolean is
begin
return Any.Subclasses_Equal (This_Object,
Object_Subclass.Load_View_Subclass);
end Is_Load_View;
function Is_Working_Load_View (This_Object : in Object) return Boolean is
-- Since there is no Working_View subclass, we
-- need to test if the name of the object ends in
-- "_WORKING".
Suffix : constant String := "_WORKING";
Name : constant String :=
Directory_Tools.Naming.Full_Name (This_Object);
begin
return Any.Is_Load_View (This_Object) and then
not Any.Is_Code_Only_Load_View (This_Object) and then
(Name (Name'Last - Suffix'Length + 1 .. Name'Last) = Suffix);
exception
when others =>
return False;
end Is_Working_Load_View;
function Is_Released_Load_View (This_Object : in Object) return Boolean is
begin
return Any.Is_Load_View (This_Object) and then
not Any.Is_Working_Load_View (This_Object) and then
not Any.Is_Code_Only_Load_View (This_Object);
end Is_Released_Load_View;
function Is_Code_Only_Load_View (This_Object : in Object) return Boolean is
-- Since there is no Code_View subclass, we need
-- to test for the presence or absence of a code
-- database.
begin
return Any.Is_Load_View (This_Object) and then
Any.Is_Good (Directory_Tools.Naming.Resolution
(Directory_Tools.Naming.Full_Name
(This_Object) & ".CODE_DATABASE"));
end Is_Code_Only_Load_View;
function Is_Combined_View (This_Object : in Object) return Boolean is
begin
return Any.Subclasses_Equal (This_Object,
Object_Subclass.Combined_View_Subclass);
end Is_Combined_View;
function Is_Units_Directory_Of_View
(This_Object : in Object) return Boolean is
begin
return Any.Is_Directory (This_Object) and then
(Directory_Tools.Naming.Full_Name (This_Object) =
Directory_Tools.Naming.Full_Name
(View_Containing (This_Object, Transitive => False)) &
".UNITS");
end Is_Units_Directory_Of_View;
function Is_Simple_Object (This_Object : in Object) return Boolean is
begin
return Any.Is_Good (This_Object) and then
not Any.Is_Library (This_Object);
end Is_Simple_Object;
function Is_Ada_Unit (This_Object : in Object) return Boolean is
begin
return Any.Classes_Equal (This_Object,
Directory_Tools.Object.Ada_Class);
end Is_Ada_Unit;
function Is_File (This_Object : in Object) return Boolean is
begin
return Any.Classes_Equal (This_Object,
Directory_Tools.Object.File_Class);
end Is_File;
function Is_Misc_Simple_Object (This_Object : in Object) return Boolean is
begin
return Any.Is_Simple_Object (This_Object) and then
not Any.Is_Ada_Unit (This_Object) and then
not Any.Is_File (This_Object);
end Is_Misc_Simple_Object;
function Is_Frozen (This_Object : in Object) return Boolean is
begin
return Directory_Tools.Any_Object.Is_Frozen (This_Object);
end Is_Frozen;
function Contains_Libraries
(This_Object : in Object; Transitive : in Boolean := True)
return Boolean is
begin
return Utilities.Contains_Objects
(This_Object, Utilities.Library, Transitive);
end Contains_Libraries;
function Contains_Directories
(This_Object : in Object; Transitive : in Boolean := True)
return Boolean is
begin
return Utilities.Contains_Objects
(This_Object, Utilities.Directory, Transitive);
end Contains_Directories;
function Contains_Worlds
(This_Object : in Object; Transitive : in Boolean := True)
return Boolean is
begin
return Utilities.Contains_Objects
(This_Object, Utilities.World, Transitive);
end Contains_Worlds;
function Contains_Simple_Worlds
(This_Object : in Object; Transitive : in Boolean := True)
return Boolean is
begin
return Utilities.Contains_Objects
(This_Object, Utilities.Simple_World, Transitive);
end Contains_Simple_Worlds;
function Contains_Subsystems
(This_Object : in Object; Transitive : in Boolean := True)
return Boolean is
begin
return Utilities.Contains_Objects
(This_Object, Utilities.Subsystem, Transitive);
end Contains_Subsystems;
function Contains_Views
(This_Object : in Object; Transitive : in Boolean := True)
return Boolean is
begin
return Utilities.Contains_Objects (This_Object,
Utilities.View, Transitive);
end Contains_Views;
function Contains_Spec_Views
(This_Object : in Object; Transitive : in Boolean := True)
return Boolean is
begin
return Utilities.Contains_Objects
(This_Object, Utilities.Spec_View, Transitive);
end Contains_Spec_Views;
function Contains_Load_Views
(This_Object : in Object; Transitive : in Boolean := True)
return Boolean is
begin
return Utilities.Contains_Objects
(This_Object, Utilities.Load_View, Transitive);
end Contains_Load_Views;
function Contains_Working_Load_Views
(This_Object : in Object; Transitive : in Boolean := True)
return Boolean is
begin
return Utilities.Contains_Objects
(This_Object, Utilities.Working_Load_View, Transitive);
end Contains_Working_Load_Views;
function Contains_Released_Load_Views
(This_Object : in Object; Transitive : in Boolean := True)
return Boolean is
begin
return Utilities.Contains_Objects
(This_Object, Utilities.Released_Load_View, Transitive);
end Contains_Released_Load_Views;
function Contains_Code_Only_Load_Views
(This_Object : in Object; Transitive : in Boolean := True)
return Boolean is
begin
return Utilities.Contains_Objects
(This_Object, Utilities.Code_Only_Load_View, Transitive);
end Contains_Code_Only_Load_Views;
function Contains_Combined_Views
(This_Object : in Object; Transitive : in Boolean := True)
return Boolean is
begin
return Utilities.Contains_Objects
(This_Object, Utilities.Combined_View, Transitive);
end Contains_Combined_Views;
function Contains_Simple_Objects
(This_Object : in Object; Transitive : in Boolean := True)
return Boolean is
begin
return Utilities.Contains_Objects
(This_Object, Utilities.Simple_Object, Transitive);
end Contains_Simple_Objects;
function Contains_Ada_Units
(This_Object : in Object; Transitive : in Boolean := True)
return Boolean is
begin
return Utilities.Contains_Objects
(This_Object, Utilities.Ada_Unit, Transitive);
end Contains_Ada_Units;
function Contains_Files
(This_Object : in Object; Transitive : in Boolean := True)
return Boolean is
begin
return Utilities.Contains_Objects
(This_Object, Utilities.File, Transitive);
end Contains_Files;
function Contains_Misc_Simple_Objects
(This_Object : in Object; Transitive : in Boolean := True)
return Boolean is
begin
return Utilities.Contains_Objects
(This_Object, Utilities.Misc_Simple_Object, Transitive);
end Contains_Misc_Simple_Objects;
function Contains_Frozen_Objects
(This_Object : in Object; Transitive : in Boolean := True)
return Boolean is
begin
return Utilities.Contains_Objects
(This_Object, Utilities.Frozen, Transitive);
end Contains_Frozen_Objects;
function Is_Contained
(This_Object : in Object; By_Library : Object) return Boolean is
Parent : Object := Directory_Tools.Traversal.Parent (This_Object);
begin
if Directory_Tools.Object.Equal (Parent, By_Library) then
return True;
elsif Any.Is_Root (Parent) then
return False;
else
return Is_Contained (Parent, By_Library);
end if;
end Is_Contained;
function Is_Contained_By_Directory
(This_Object : in Object; Transitive : in Boolean := True)
return Boolean is
begin
return Utilities.Is_Enclosed
(This_Object, Utilities.Directory, Transitive);
end Is_Contained_By_Directory;
function Is_Contained_By_World
(This_Object : in Object; Transitive : in Boolean := True)
return Boolean is
begin
return Utilities.Is_Enclosed (This_Object, Utilities.World, Transitive);
end Is_Contained_By_World;
function Is_Contained_By_Simple_World
(This_Object : in Object; Transitive : in Boolean := True)
return Boolean is
begin
return Utilities.Is_Enclosed
(This_Object, Utilities.Simple_World, Transitive);
end Is_Contained_By_Simple_World;
function Is_Contained_By_Subsystem
(This_Object : in Object; Transitive : in Boolean := True)
return Boolean is
begin
return Utilities.Is_Enclosed
(This_Object, Utilities.Subsystem, Transitive);
end Is_Contained_By_Subsystem;
function Is_Contained_By_View
(This_Object : in Object; Transitive : in Boolean := True)
return Boolean is
begin
return Utilities.Is_Enclosed (This_Object, Utilities.View, Transitive);
end Is_Contained_By_View;
function Is_Contained_By_Spec_View
(This_Object : in Object; Transitive : in Boolean := True)
return Boolean is
begin
return Utilities.Is_Enclosed
(This_Object, Utilities.Spec_View, Transitive);
end Is_Contained_By_Spec_View;
function Is_Contained_By_Load_View
(This_Object : in Object; Transitive : in Boolean := True)
return Boolean is
begin
return Utilities.Is_Enclosed
(This_Object, Utilities.Load_View, Transitive);
end Is_Contained_By_Load_View;
function Is_Contained_By_Working_Load_View
(This_Object : in Object; Transitive : in Boolean := True)
return Boolean is
begin
return Utilities.Is_Enclosed
(This_Object, Utilities.Working_Load_View, Transitive);
end Is_Contained_By_Working_Load_View;
function Is_Contained_By_Released_Load_View
(This_Object : in Object; Transitive : in Boolean := True)
return Boolean is
begin
return Utilities.Is_Enclosed
(This_Object, Utilities.Released_Load_View, Transitive);
end Is_Contained_By_Released_Load_View;
function Is_Contained_By_Code_Only_Load_View
(This_Object : in Object; Transitive : in Boolean := True)
return Boolean is
begin
return Utilities.Is_Enclosed
(This_Object, Utilities.Code_Only_Load_View, Transitive);
end Is_Contained_By_Code_Only_Load_View;
function Is_Contained_By_Combined_View
(This_Object : in Object; Transitive : in Boolean := True)
return Boolean is
begin
return Utilities.Is_Enclosed
(This_Object, Utilities.Combined_View, Transitive);
end Is_Contained_By_Combined_View;
function Is_Contained_By_Units_Directory_Of_View
(This_Object : in Object; Transitive : in Boolean := True)
return Boolean is
begin
return Utilities.Is_Enclosed
(This_Object, Utilities.Units_Directory_Of_View, Transitive);
end Is_Contained_By_Units_Directory_Of_View;
function Directory_Containing
(This_Object : in Object; Transitive : in Boolean := True)
return Directory is
begin
return Utilities.Enclosing_For
(This_Object, Utilities.Directory, Transitive);
end Directory_Containing;
function World_Containing
(This_Object : in Object; Transitive : in Boolean := True)
return World is
begin
return Utilities.Enclosing_For
(This_Object, Utilities.World, Transitive);
end World_Containing;
function Simple_World_Containing
(This_Object : in Object; Transitive : in Boolean := True)
return Simple_World is
begin
return Utilities.Enclosing_For
(This_Object, Utilities.Simple_World, Transitive);
end Simple_World_Containing;
function Subsystem_Containing
(This_Object : in Object; Transitive : in Boolean := True)
return Subsystem is
begin
return Utilities.Enclosing_For
(This_Object, Utilities.Subsystem, Transitive);
end Subsystem_Containing;
function View_Containing
(This_Object : in Object; Transitive : in Boolean := True)
return View is
begin
return Utilities.Enclosing_For
(This_Object, Utilities.View, Transitive);
end View_Containing;
function Spec_View_Containing
(This_Object : in Object; Transitive : in Boolean := True)
return Spec_View is
begin
return Utilities.Enclosing_For
(This_Object, Utilities.Spec_View, Transitive);
end Spec_View_Containing;
function Load_View_Containing
(This_Object : in Object; Transitive : in Boolean := True)
return Load_View is
begin
return Utilities.Enclosing_For
(This_Object, Utilities.Load_View, Transitive);
end Load_View_Containing;
function Working_Load_View_Containing
(This_Object : in Object; Transitive : in Boolean := True)
return Working_Load_View is
begin
return Utilities.Enclosing_For
(This_Object, Utilities.Working_Load_View, Transitive);
end Working_Load_View_Containing;
function Released_Load_View_Containing
(This_Object : in Object; Transitive : in Boolean := True)
return Released_Load_View is
begin
return Utilities.Enclosing_For
(This_Object, Utilities.Released_Load_View, Transitive);
end Released_Load_View_Containing;
function Code_Only_Load_View_Containing
(This_Object : in Object; Transitive : in Boolean := True)
return Code_Only_Load_View is
begin
return Utilities.Enclosing_For
(This_Object, Utilities.Code_Only_Load_View, Transitive);
end Code_Only_Load_View_Containing;
function Combined_View_Containing
(This_Object : in Object; Transitive : in Boolean := True)
return Combined_View is
begin
return Utilities.Enclosing_For
(This_Object, Utilities.Combined_View, Transitive);
end Combined_View_Containing;
function Units_Directory_Containing
(This_Object : in Object; Transitive : in Boolean := True)
return Units_Directory is
begin
return Utilities.Enclosing_For
(This_Object, Utilities.Units_Directory_Of_View, Transitive);
end Units_Directory_Containing;
function All_Objects_In
(This_Object : in Object; Transitive : in Boolean := True)
return Objects is
begin
return Utilities.Objects_In
(This_Object, Utilities.Anything, Transitive);
end All_Objects_In;
function Libraries_In
(This_Object : in Object; Transitive : in Boolean := True)
return Libraries is
begin
return Utilities.Objects_In
(This_Object, Utilities.Library, Transitive);
end Libraries_In;
function Directories_In
(This_Object : in Object; Transitive : in Boolean := True)
return Directories is
begin
return Utilities.Objects_In
(This_Object, Utilities.Directory, Transitive);
end Directories_In;
function Worlds_In
(This_Object : in Object; Transitive : in Boolean := True)
return Worlds is
begin
return Utilities.Objects_In (This_Object, Utilities.World, Transitive);
end Worlds_In;
function Simple_Worlds_In
(This_Object : in Object; Transitive : in Boolean := True)
return Simple_Worlds is
begin
return Utilities.Objects_In
(This_Object, Utilities.Simple_World, Transitive);
end Simple_Worlds_In;
function Subsystems_In
(This_Object : in Object; Transitive : in Boolean := True)
return Subsystems is
begin
return Utilities.Objects_In
(This_Object, Utilities.Subsystem, Transitive);
end Subsystems_In;
function Views_In (This_Object : in Object; Transitive : in Boolean := True)
return Views is
begin
return Utilities.Objects_In (This_Object, Utilities.View, Transitive);
end Views_In;
function Spec_Views_In
(This_Object : in Object; Transitive : in Boolean := True)
return Spec_Views is
begin
return Utilities.Objects_In
(This_Object, Utilities.Spec_View, Transitive);
end Spec_Views_In;
function Load_Views_In
(This_Object : in Object; Transitive : in Boolean := True)
return Load_Views is
begin
return Utilities.Objects_In
(This_Object, Utilities.Load_View, Transitive);
end Load_Views_In;
function Working_Load_Views_In
(This_Object : in Object; Transitive : in Boolean := True)
return Working_Load_Views is
begin
return Utilities.Objects_In
(This_Object, Utilities.Working_Load_View, Transitive);
end Working_Load_Views_In;
function Released_Load_Views_In
(This_Object : in Object; Transitive : in Boolean := True)
return Released_Load_Views is
begin
return Utilities.Objects_In
(This_Object, Utilities.Released_Load_View, Transitive);
end Released_Load_Views_In;
function Code_Only_Load_Views_In
(This_Object : in Object; Transitive : in Boolean := True)
return Code_Only_Load_Views is
begin
return Utilities.Objects_In
(This_Object, Utilities.Code_Only_Load_View, Transitive);
end Code_Only_Load_Views_In;
function Combined_Views_In
(This_Object : in Object; Transitive : in Boolean := True)
return Combined_Views is
begin
return Utilities.Objects_In
(This_Object, Utilities.Combined_View, Transitive);
end Combined_Views_In;
function Simple_Objects_In
(This_Object : in Object; Transitive : in Boolean := True)
return Simple_Objects is
begin
return Utilities.Objects_In
(This_Object, Utilities.Simple_Object, Transitive);
end Simple_Objects_In;
function Ada_Units_In
(This_Object : in Object; Transitive : in Boolean := True)
return Ada_Units is
begin
return Utilities.Objects_In
(This_Object, Utilities.Ada_Unit, Transitive);
end Ada_Units_In;
function Files_In (This_Object : in Object; Transitive : in Boolean := True)
return Files is
begin
return Utilities.Objects_In (This_Object, Utilities.File, Transitive);
end Files_In;
function Misc_Simple_Objects_In
(This_Object : in Object; Transitive : in Boolean := True)
return Misc_Simple_Objects is
begin
return Utilities.Objects_In
(This_Object, Utilities.Misc_Simple_Object, Transitive);
end Misc_Simple_Objects_In;
function Frozen_Objects_In
(This_Object : in Object; Transitive : in Boolean := True)
return Frozen_Objects is
begin
return Utilities.Objects_In (This_Object, Utilities.Frozen, Transitive);
end Frozen_Objects_In;
end Any;
nblk1=1c
nid=0
hdr6=38
[0x00] rec0=21 rec1=00 rec2=01 rec3=038
[0x01] rec0=17 rec1=00 rec2=02 rec3=034
[0x02] rec0=1c rec1=00 rec2=03 rec3=010
[0x03] rec0=1b rec1=00 rec2=04 rec3=008
[0x04] rec0=14 rec1=00 rec2=05 rec3=05a
[0x05] rec0=1b rec1=00 rec2=06 rec3=026
[0x06] rec0=1a rec1=00 rec2=07 rec3=014
[0x07] rec0=17 rec1=00 rec2=08 rec3=06c
[0x08] rec0=1b rec1=00 rec2=09 rec3=00a
[0x09] rec0=1b rec1=00 rec2=0a rec3=04a
[0x0a] rec0=1a rec1=00 rec2=0b rec3=012
[0x0b] rec0=19 rec1=00 rec2=0c rec3=04c
[0x0c] rec0=19 rec1=00 rec2=0d rec3=064
[0x0d] rec0=1c rec1=00 rec2=0e rec3=008
[0x0e] rec0=1b rec1=00 rec2=0f rec3=008
[0x0f] rec0=1a rec1=00 rec2=10 rec3=03e
[0x10] rec0=18 rec1=00 rec2=11 rec3=094
[0x11] rec0=19 rec1=00 rec2=12 rec3=008
[0x12] rec0=1a rec1=00 rec2=13 rec3=03e
[0x13] rec0=1b rec1=00 rec2=14 rec3=000
[0x14] rec0=19 rec1=00 rec2=15 rec3=038
[0x15] rec0=19 rec1=00 rec2=16 rec3=00c
[0x16] rec0=1b rec1=00 rec2=17 rec3=046
[0x17] rec0=1b rec1=00 rec2=18 rec3=00a
[0x18] rec0=1b rec1=00 rec2=19 rec3=014
[0x19] rec0=18 rec1=00 rec2=1a rec3=088
[0x1a] rec0=1b rec1=00 rec2=1b rec3=024
[0x1b] rec0=06 rec1=00 rec2=1c rec3=000
tail 0x215003e9c815c6540fa62 0x42a00088462061e03