|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 Tapes |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Tapes Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - downloadIndex: ┃ B T ┃
Length: 1755 (0x6db)
Types: TextFile
Names: »B«
└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
└─ ⟦129cab021⟧ »DATA«
└─⟦this⟧
└─⟦2f6cfab89⟧ Bits:30000547 8mm tape, Rational 1000, !projects 94-01-04
└─ ⟦d65440be7⟧ »DATA«
└─⟦this⟧
└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
└─ ⟦129cab021⟧ »DATA«
└─⟦e24fb53b7⟧
└─⟦this⟧
separate (Generic_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);
Put (The_Object.The_Operand, Where);
Put (")", Where);
end Put;
function Match (Value : Integer; Against : Object) return Boolean is
The_Operand : constant Integer := 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_Match
(Against.The_User_Operator, Value, The_Operand);
end case;
end Match;
end Binary_Predicate;