|
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: 4096 (0x1000)
Types: Ada Source
Notes: 03_class, FILE, R1k_Segment, e3_tag, package body Binary_Predicate, seg_03bb61, seg_03c0c5, seg_03c530, seg_03c6d7, separate Generic_Fact_Base.Predicate
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─⟦5a81ac88f⟧ »Space Info Vol 1«
└─⟦this⟧
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─⟦cfc2e13cd⟧ »Space Info Vol 2«
└─⟦this⟧
separate (Generic_Fact_Base.Predicate)
package body Binary_Predicate is
function Make (The_Operator : System_Defined.Operators;
The_Operand : Expression_Object) return Object is
begin
return Object'(Owner => System,
The_System_Operator => The_Operator,
The_Operand => The_Operand);
end Make;
function Make (The_Operator : User_Defined_Operators;
The_Operand : Expression_Object) return Object is
begin
return Object'(Owner => User,
The_User_Operator => The_Operator,
The_Operand => The_Operand);
end Make;
procedure Put (The_Object : Object; Where : Output_Stream.Object) is
use Output_Stream;
begin
case The_Object.Owner is
when System =>
Put (System_Defined.Image (The_Object.The_System_Operator),
Where);
when User =>
Put (User_Defined_Image (The_Object.The_User_Operator), Where);
end case;
Put ("(", Where);
Expression_Put (The_Object.The_Operand, Where);
Put (")", Where);
end Put;
function Match (Value : Slot.Object; Against : Object) return Boolean is
The_Operand : constant Slot.Object :=
Expression_Evaluate (Against.The_Operand);
begin
case Against.Owner is
when System =>
return System_Defined.Match
(Against.The_System_Operator, Value, The_Operand);
when User =>
return User_Defined_Binary_Match
(Against.The_User_Operator, Value, The_Operand);
end case;
end Match;
end Binary_Predicate;
nblk1=3
nid=2
hdr6=4
[0x00] rec0=1c rec1=00 rec2=01 rec3=08a
[0x01] rec0=1b rec1=00 rec2=03 rec3=000
[0x02] rec0=0e rec1=00 rec2=02 rec3=000
tail 0x217398b3285407ff8cea2 0x42a00088462063c03
Free Block Chain:
0x2: 0000 00 00 03 fc 80 13 4f 62 6a 65 63 74 2e 54 68 65 ┆ Object.The┆