|
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: 12288 (0x3000)
Types: Ada Source
Notes: 03_class, FILE, R1k_Segment, e3_tag, package body Qualit_Frames, seg_04cb51, separate Qualit_Generic_Agent
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─⟦cfc2e13cd⟧ »Space Info Vol 2«
└─⟦this⟧
separate (Qualit_Generic_Agent)
package body Qualit_Frames is
procedure Put (The_Fact : Fact_Name; Where : Output_Stream.Object) is
-- ........................................................................
function Prediction_Image
(For_Slot : Prediction_Slots; Value : Slot.Object)
return String is
use Prediction_Name_Facilities;
begin
case For_Slot is
when Prediction_Name =>
return Prediction_Names'Image (Get (Value));
when Quadrant_Number =>
return Integer'Image (Get (Value));
end case;
end Prediction_Image;
function Epsilon_Variation_Image
(For_Slots : Epsilon_Variation_Slots; Value : Slot.Object)
return String is
begin
return Integer'Image (Get (Value));
end Epsilon_Variation_Image;
function Variation_Of_Epsilon_Variation_Image
(For_Slots : Variation_Of_Epsilon_Variation_Slots;
Value : Slot.Object) return String is
begin
return Integer'Image (Get (Value));
end Variation_Of_Epsilon_Variation_Image;
function Delta_Y_Image (For_Slots : Delta_Y_Slots; Value : Slot.Object)
return String is
begin
return Integer'Image (Get (Value));
end Delta_Y_Image;
function Up_Value_Image
(For_Slots : Up_Value_Slots; Value : Slot.Object)
return String is
begin
return Integer'Image (Get (Value));
end Up_Value_Image;
function Down_Value_Image
(For_Slots : Down_Value_Slots; Value : Slot.Object)
return String is
begin
return Integer'Image (Get (Value));
end Down_Value_Image;
function Down_Dec_Image
(For_Slots : Down_Decrement_Slots; Value : Slot.Object)
return String is
begin
return Integer'Image (Get (Value));
end Down_Dec_Image;
function Down_Inc_Image
(For_Slots : Down_Increment_Slots; Value : Slot.Object)
return String is
begin
return Integer'Image (Get (Value));
end Down_Inc_Image;
function Up_Dec_Image
(For_Slots : Up_Decrement_Slots; Value : Slot.Object)
return String is
begin
return Integer'Image (Get (Value));
end Up_Dec_Image;
function Up_Inc_Image
(For_Slots : Up_Increment_Slots; Value : Slot.Object)
return String is
begin
return Integer'Image (Get (Value));
end Up_Inc_Image;
function Current_Pos_Image
(For_Slots : Current_Position_Slots; Value : Slot.Object)
return String is
begin
return Integer'Image (Get (Value));
end Current_Pos_Image;
function Pos_To_Reach_Image
(For_Slots : Position_To_Reach_Slots; Value : Slot.Object)
return String is
begin
return Integer'Image (Get (Value));
end Pos_To_Reach_Image;
function Update_Image (For_Slots : Update_Slots; Value : Slot.Object)
return String is
use Boolean_Facilities;
begin
return Boolean'Image (Get (Value));
end Update_Image;
function Epsilon_Image (For_Slots : Epsilon_Slots; Value : Slot.Object)
return String is
begin
return Integer'Image (Get (Value));
end Epsilon_Image;
function Plus_Delta_Y_Max_Image
(For_Slots : Plus_Delta_Y_Max_Slots; Value : Slot.Object)
return String is
begin
return Integer'Image (Get (Value));
end Plus_Delta_Y_Max_Image;
function Minus_Delta_Y_Max_Image
(For_Slots : Minus_Delta_Y_Max_Slots; Value : Slot.Object)
return String is
begin
return Integer'Image (Get (Value));
end Minus_Delta_Y_Max_Image;
function Plus_Near_Delta_Y_Max_Image
(For_Slots : Plus_Near_Delta_Y_Max_Slots;
Value : Slot.Object) return String is
begin
return Integer'Image (Get (Value));
end Plus_Near_Delta_Y_Max_Image;
function Minus_Near_Delta_Y_Max_Image
(For_Slots : Minus_Near_Delta_Y_Max_Slots;
Value : Slot.Object) return String is
begin
return Integer'Image (Get (Value));
end Minus_Near_Delta_Y_Max_Image;
function Epsilon_Near_Zero_Image
(For_Slots : Epsilon_Near_Zero_Slots; Value : Slot.Object)
return String is
begin
return Integer'Image (Get (Value));
end Epsilon_Near_Zero_Image;
function Delta_Y_Max_Reached_In_B_Image
(For_Slots : Delta_Y_Max_Reached_In_B_Slots;
Value : Slot.Object) return String is
begin
return Integer'Image (Get (Value));
end Delta_Y_Max_Reached_In_B_Image;
-- ....................................................................
procedure Put_Prediction is new Predictions.Generic_Put
(Image => Prediction_Image);
procedure Put_Epsilon is new Epsilons.Generic_Put
(Image => Epsilon_Image);
procedure Put_Epsilon_Variation is
new Epsilon_Variations.Generic_Put
(Image => Epsilon_Variation_Image);
procedure Put_Variation_Of_Epsilon_Variation is
new Variation_Of_Epsilon_Variations.Generic_Put
(Image => Variation_Of_Epsilon_Variation_Image);
procedure Put_Up_Value is new Up_Values.Generic_Put
(Image => Up_Value_Image);
procedure Put_Down_Value is new Down_Values.Generic_Put
(Image => Down_Value_Image);
procedure Put_Up_Inc is new Up_Increments.Generic_Put
(Image => Up_Inc_Image);
procedure Put_Down_Inc is new Down_Increments.Generic_Put
(Image => Down_Inc_Image);
procedure Put_Up_Dec is new Up_Decrements.Generic_Put
(Image => Up_Dec_Image);
procedure Put_Down_Dec is new Down_Decrements.Generic_Put
(Image => Down_Dec_Image);
procedure Put_Current_Pos is new Current_Positions.Generic_Put
(Image => Current_Pos_Image);
procedure Put_Pos_To_Reach is new Positions_To_Reach.Generic_Put
(Image => Pos_To_Reach_Image);
procedure Put_Update is new Updates.Generic_Put (Image => Update_Image);
procedure Put_Delta_Y is new Delta_Ys.Generic_Put
(Image => Delta_Y_Image);
procedure Put_Plus_Delta_Y_Max is
new Plus_Delta_Y_Maxs.Generic_Put (Image => Plus_Delta_Y_Max_Image);
procedure Put_Minus_Delta_Y_Max is
new Minus_Delta_Y_Maxs.Generic_Put
(Image => Minus_Delta_Y_Max_Image);
procedure Put_Plus_Near_Delta_Y_Max is
new Plus_Near_Delta_Y_Maxs.Generic_Put
(Image => Plus_Near_Delta_Y_Max_Image);
procedure Put_Minus_Near_Delta_Y_Max is
new Minus_Near_Delta_Y_Maxs.Generic_Put
(Image => Minus_Near_Delta_Y_Max_Image);
procedure Put_Epsilon_Near_Zero is
new Epsilon_Near_Zeros.Generic_Put
(Image => Epsilon_Near_Zero_Image);
procedure Put_Delta_Y_Max_Reached_In_B is
new Delta_Y_Max_Reached_In_Bs.Generic_Put
(Image => Delta_Y_Max_Reached_In_B_Image);
begin
case Fact_Base.Class.Class_Name_Of (The_Fact) is
when Prediction =>
Put_Prediction (The_Fact, Where);
when Epsilon =>
Put_Epsilon (The_Fact, Where);
when Epsilon_Variation =>
Put_Epsilon_Variation (The_Fact, Where);
when Variation_Of_Epsilon_Variation =>
Put_Variation_Of_Epsilon_Variation (The_Fact, Where);
when Up_Value =>
Put_Up_Value (The_Fact, Where);
when Up_Increment =>
Put_Up_Inc (The_Fact, Where);
when Down_Increment =>
Put_Down_Inc (The_Fact, Where);
when Up_Decrement =>
Put_Up_Dec (The_Fact, Where);
when Down_Decrement =>
Put_Down_Dec (The_Fact, Where);
when Down_Value =>
Put_Down_Value (The_Fact, Where);
when Current_Position =>
Put_Current_Pos (The_Fact, Where);
when Position_To_Reach =>
Put_Pos_To_Reach (The_Fact, Where);
when Update =>
Put_Update (The_Fact, Where);
when Delta_Y =>
Put_Delta_Y (The_Fact, Where);
when Plus_Delta_Y_Max =>
Put_Plus_Delta_Y_Max (The_Fact, Where);
when Minus_Delta_Y_Max =>
Put_Minus_Delta_Y_Max (The_Fact, Where);
when Plus_Near_Delta_Y_Max =>
Put_Plus_Near_Delta_Y_Max (The_Fact, Where);
when Minus_Near_Delta_Y_Max =>
Put_Minus_Near_Delta_Y_Max (The_Fact, Where);
when Epsilon_Near_Zero =>
Put_Epsilon_Near_Zero (The_Fact, Where);
when Delta_Y_Max_Reached_In_B =>
Put_Delta_Y_Max_Reached_In_B (The_Fact, Where);
when Nothing =>
null;
end case;
end Put;
end Qualit_Frames;
nblk1=b
nid=0
hdr6=16
[0x00] rec0=1d rec1=00 rec2=01 rec3=036
[0x01] rec0=1e rec1=00 rec2=03 rec3=044
[0x02] rec0=20 rec1=00 rec2=0b rec3=05e
[0x03] rec0=1f rec1=00 rec2=04 rec3=056
[0x04] rec0=1e rec1=00 rec2=0a rec3=034
[0x05] rec0=18 rec1=00 rec2=09 rec3=034
[0x06] rec0=10 rec1=00 rec2=02 rec3=040
[0x07] rec0=0f rec1=00 rec2=07 rec3=032
[0x08] rec0=13 rec1=00 rec2=06 rec3=034
[0x09] rec0=17 rec1=00 rec2=05 rec3=022
[0x0a] rec0=16 rec1=00 rec2=08 rec3=000
tail 0x21753cccc871b3448a455 0x42a00088462063c03