DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400 Tapes

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400 Tapes

Excavated with: AutoArchaeologist - Free & Open Source Software. 

top - download
Index: ┃ T V ┃

⟦839472ad3⟧ TextFile

    Length: 2391 (0x957)
    Types: TextFile
    Names: »V«

Derivation

└─⟦149519bd4⟧ Bits:30000546 8mm tape, Rational 1000, !projects 93-07-13
    └─ ⟦124ff5788⟧ »DATA« 
        └─⟦this⟧

TextFile

with Expression;
with System_Operators;
use Expression;
use System_Operators;
package System_Expression is

    function Is_Equal is new Binary_System_Predicate (Is_Equal_Op);
    function Is_Less is new Binary_System_Predicate (Is_Less_Op);
    function Is_Less_Or_Equal is
       new Binary_System_Predicate (Is_Less_Or_Equal_Op);
    function Is_Greater is new Binary_System_Predicate (Is_Greater_Op);
    function Is_Greater_Or_Equal is
       new Binary_System_Predicate (Is_Greater_Or_Equal_Op);
    function Is_Different is new Binary_System_Predicate (Is_Different_Op);
    function Is_Any is new Unary_System_Predicate (Is_Any_Op);

    -- value predicate shortcuts

    function Is_Equal            (Value : Integer) return Expression.Object;
    function Is_Less             (Value : Integer) return Expression.Object;
    function Is_Less_Or_Equal    (Value : Integer) return Expression.Object;
    function Is_Greater          (Value : Integer) return Expression.Object;
    function Is_Greater_Or_Equal (Value : Integer) return Expression.Object;
    function Is_Different        (Value : Integer) return Expression.Object;

    -- alias predicate shortcuts

    function Is_Equal     (Value : Expression.Alias) return Expression.Object;
    function Is_Less      (Value : Expression.Alias) return Expression.Object;
    function Is_Less_Or_Equal
                (Value : Expression.Alias)           return Expression.Object;
    function Is_Greater   (Value : Expression.Alias) return Expression.Object;
    function Is_Greater_Or_Equal
                (Value : Expression.Alias)           return Expression.Object;
    function Is_Different (Value : Expression.Alias) return Expression.Object;

    -- arithmetic expressions

    function "+" is new Expression.Binary_System_Expression
                           (Operator => System_Operators.'+');

    function "-" is new Expression.Binary_System_Expression
                           (Operator => System_Operators.'-');

    function "*" is new Expression.Binary_System_Expression
                           (Operator => System_Operators.'*');

    function "/" is new Expression.Binary_System_Expression
                           (Operator => System_Operators.'/');

    function "abs" is new Expression.Unary_System_Expression
                             (Operator => System_Operators.Abs_Op);


end System_Expression;