|
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: 2225 (0x8b1)
Types: TextFile
Names: »B«
└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
└─ ⟦129cab021⟧ »DATA«
└─⟦this⟧
└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
└─ ⟦129cab021⟧ »DATA«
└─⟦e24fb53b7⟧
└─⟦this⟧
separate (Generic_Predicate)
package body System_Defined is
function Match (Using_Operator : Operators; Value : Slot.Object)
return Boolean is
begin
case Using_Operator is
when Is_Equal | Is_Less | Is_Less_Or_Equal |
Is_Greater | Is_Greater_Or_Equal | Is_Different =>
raise Illegal_Operation;
when Is_Any =>
return True;
when Is_Undefined =>
return Slot.Is_Undefined (Value);
when Is_Defined =>
return not Slot.Is_Undefined (Value);
end case;
end Match;
function Match (Using_Operator : Operators;
Value : Slot.Object;
Against : Slot.Object) return Boolean is
use Slot.Operators;
begin
case Using_Operator is
when Is_Equal =>
return Value = Against;
when Is_Less =>
return Value < Against;
when Is_Less_Or_Equal =>
return Value <= Against;
when Is_Greater =>
return Value > Against;
when Is_Greater_Or_Equal =>
return Value >= Against;
when Is_Different =>
return Value /= Against;
when Is_Any | Is_Undefined | Is_Defined =>
raise Illegal_Operation;
end case;
end Match;
function Image (Op : Operators) return String is
begin
case Op is
when Is_Equal =>
return "Is_Equal";
when Is_Less =>
return "Is_Less";
when Is_Less_Or_Equal =>
return "Is_Less_Or_Equal";
when Is_Greater =>
return "Is_Greater";
when Is_Greater_Or_Equal =>
return "Is_Greater_Or_Equal";
when Is_Different =>
return "Is_Different";
when Is_Any =>
return "Is_Any";
when Is_Undefined =>
return "Is_Undefined";
when Is_Defined =>
return "is_defined";
end case;
end Image;
end System_Defined;