|
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 - download
Length: 9216 (0x2400)
Types: Ada Source
Notes: 03_class, FILE, R1k_Segment, e3_tag, package Asa_Definitions, seg_010764
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─ ⟦cfc2e13cd⟧ »Space Info Vol 2«
└─⟦this⟧
with Calendar;
with Gateway_Object;
with Requirements;
with Unix_Definitions;
package Asa_Definitions is
-- Product name.
Asa : constant String := "ASA";
-- Gateway classes.
type Gateway_Class is (Asa_Model, Asa_Module, Asa_Requirement);
Main_Class_Directory : constant String :=
"!MACHINE.GATEWAY_CLASSES." & Gateway_Class'Image (Asa_Model);
package Commands is
package Unix renames Unix_Definitions;
-- Asaedit command and options.
Asaedit : constant String := "asaedit";
Annotations_Extension : constant String :=
Unix.Extension_Separator & "ann";
Annotation_Types_Extension : constant String :=
Unix.Extension_Separator & "aty";
Model_Extension : constant String := Unix.Extension_Separator & "lsa";
Annotations : constant String := "-ann";
Annotation_Types : constant String := "-aty";
Asa : constant String := "-asa";
Coupling : constant String := "-mcag";
Device : constant String := "-dev";
Geode : constant String := "-geode";
Node : constant String := "-node";
No_Comments : constant String := "-ncom";
No_Factorize : constant String := "-nfact";
No_Labels : constant String := "-nlabel";
No_Limits : constant String := "-nlimit";
No_Warnings : constant String := "-nw";
Options : constant String := "-config";
Read_Only : constant String := "-read";
Show_Annotations : constant String := "-seeann";
Start_Node : constant String := "-startnode";
Undo : constant String := "-undo";
-- Asaopen command and options.
Asaopen : constant String := "asaopen";
Asaopen_Extension : constant String := Unix.Extension_Separator & "opn";
Listing : constant String := "-list";
end Commands;
package Properties is
package Gwo renames Gateway_Object;
function Asa_Comment (H : in Gwo.Handle) return String;
function Asa_Dependents (H : in Gwo.Handle) return String;
function Asa_Dependents
(H : in Gwo.Handle;
Number : in Requirements.Functional_Requirement_Number)
return String;
function Asa_Id (H : in Gwo.Handle) return Positive;
function Asa_Last_Id (H : in Gwo.Handle) return Natural;
function Asa_Last_Requirement_Id (H : in Gwo.Handle) return Natural;
function Asa_Node_Number (H : in Gwo.Handle) return String;
function Asa_Requirement
(H : in Gwo.Handle;
Number : in Requirements.Functional_Requirement_Number)
return String;
function Asa_Requirement_Kind (H : in Gwo.Handle)
return Requirements.Non_Functional;
function Asa_Requirement_Text (H : in Gwo.Handle) return String;
function Asa_Update_Time (H : in Gwo.Handle) return Calendar.Time;
function Class (H : in Gwo.Handle) return Gateway_Class;
function Data_Context (H : in Gwo.Handle) return String;
function Data_Host (H : in Gwo.Handle) return String;
function Data_Name (H : in Gwo.Handle) return String;
procedure Set_Asa_Comment (H : in Gwo.Handle;
Value : in String);
procedure Set_Asa_Dependents (H : in Gwo.Handle;
Value : in String);
procedure Set_Asa_Dependents
(H : in Gwo.Handle;
Number : in Requirements.Functional_Requirement_Number;
Value : in String);
procedure Set_Asa_Id (H : in Gwo.Handle;
Value : in Positive);
procedure Set_Asa_Last_Id (H : in Gwo.Handle;
Value : in Natural);
procedure Set_Asa_Last_Requirement_Id (H : in Gwo.Handle;
Value : in Natural);
procedure Set_Asa_Node_Number (H : in Gwo.Handle;
Value : in String);
procedure Set_Asa_Requirement
(H : in Gwo.Handle;
Number : in Requirements.Functional_Requirement_Number;
Value : in String);
procedure Set_Asa_Requirement_Kind
(H : in Gwo.Handle;
Value : in Requirements.Non_Functional);
procedure Set_Asa_Requirement_Text (H : in Gwo.Handle;
Value : in String);
procedure Set_Asa_Update_Time (H : in Gwo.Handle;
Value : in Calendar.Time);
procedure Set_Data_Context (H : in Gwo.Handle;
Value : in String);
procedure Set_Data_Host (H : in Gwo.Handle;
Value : in String);
procedure Set_Data_Name (H : in Gwo.Handle;
Value : in String);
procedure Set_Parent_Name (H : in Gwo.Handle;
Value : in String);
private
Asa_Comment_N : constant String := Asa & ".COMMENT";
Asa_Dependents_F_N : constant String := Asa & ".DEPENDENTS_";
Asa_Dependents_Nf_N : constant String := Asa & ".DEPENDENTS";
Asa_Id_N : constant String := Asa & ".ID";
Asa_Last_Id_N : constant String := Asa & ".LAST_ID";
Asa_Last_Requirement_Id_N : constant String :=
Asa & ".LAST_REQUIREMENT_ID";
Asa_Node_Number_N : constant String := Asa & ".NODE_NUMBER";
Asa_Requirement_N : constant String := Asa & ".REQUIREMENT_";
Asa_Requirement_Kind_N : constant String := Asa & ".REQUIREMENT_KIND";
Asa_Requirement_Text_N : constant String := Asa & ".REQUIREMENT_TEXT";
Asa_Update_Time_N : constant String := Asa & ".UPDATE_TIME";
Class_Name_N : constant String := "CLASS_NAME";
Data_Context_N : constant String := "DATA.CONTEXT";
Data_Host_N : constant String := "DATA.HOST";
Data_Name_N : constant String := "DATA.NAME";
Parent_Name_N : constant String := "PARENT_NAME";
end Properties;
package Switches is
type Action is (Abandon, Accept_Changes, Continue);
type Control_Level is (Control_None,
Control_Model,
Control_Modules,
Control_All);
function Action_When_Out_Of_Date return Action;
function Bin_Directory (Host : in String) return String;
function Cmvc_Control_Level return Control_Level;
function Remote_Display return String;
--
-- Exactly one task of the following type MUST be declared in a
-- library package by the gateway server. This object declaration
-- must NOT be part of the transitive closure of any user program:
-- such a program would not terminate.
--
task type Register is
entry Stop;
end Register;
private
Action_When_Out_Of_Date_N : constant String :=
"ACTION_WHEN_OUT_OF_DATE";
Bin_Directories_N : constant String := "BIN_DIRECTORIES";
Cmvc_Control_Level_N : constant String := "CMVC_CONTROL_LEVEL";
Remote_Display_N : constant String := "REMOTE_DISPLAY";
end Switches;
end Asa_Definitions;
nblk1=8
nid=0
hdr6=10
[0x00] rec0=23 rec1=00 rec2=01 rec3=03a
[0x01] rec0=1b rec1=00 rec2=02 rec3=030
[0x02] rec0=15 rec1=00 rec2=03 rec3=02a
[0x03] rec0=12 rec1=00 rec2=04 rec3=01c
[0x04] rec0=11 rec1=00 rec2=05 rec3=034
[0x05] rec0=12 rec1=00 rec2=06 rec3=072
[0x06] rec0=17 rec1=00 rec2=07 rec3=04e
[0x07] rec0=16 rec1=00 rec2=08 rec3=000
tail 0x2170c8ad4823076de8236 0x42a00088462060003