|
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: 1607 (0x647)
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 Primary_Predicate is
function Make_Alias_Definition (The_Alias : Alias.Name) return Object is
begin
return Object'(Kind => Alias_Definition, The_Alias => The_Alias);
end Make_Alias_Definition;
function Make_Conjunction
(Left, Right : Generic_Predicate.Object) return Object is
begin
return Object'(Kind => Predicate_Conjunction,
The_Left_Predicate => Left,
The_Right_Predicate => Right);
end Make_Conjunction;
procedure Put (The_Object : Object; Where : Output_Stream.Object) is
use Output_Stream;
begin
case The_Object.Kind is
when Alias_Definition =>
Put ("Define_As(", Where);
Alias.Put (The_Object.The_Alias, Where);
Put (")", Where);
when Predicate_Conjunction =>
Put (The_Object.The_Left_Predicate, Where);
Put (" and ", Where);
Put (The_Object.The_Right_Predicate, Where);
end case;
end Put;
function Match (Value : Slot.Object; Against : Object) return Boolean is
begin
case Against.Kind is
when Alias_Definition =>
Alias.Set (Against.The_Alias, To => Value);
return True;
when Predicate_Conjunction =>
return Match (Value, Against.The_Left_Predicate) and then
Match (Value, Against.The_Right_Predicate);
end case;
end Match;
end Primary_Predicate;