
    <<RoseWireTwiddling.Mesa>>
<<Last Edited by: Spreitzer, September 24, 1985 3:51:14 pm PDT>>

    DIRECTORY Basics, PrincOps, RoseBehavior, RosePrivates, RoseSimTypes, RoseWireTypes;

    RoseWireTwiddling: CEDAR--not really, but what the hey, you'd just put TRUSTEDs around it, right?-- DEFINITIONS = {

        Ptr: TYPE = PrincOps.BitAddress;
        RoseWireType: TYPE = RoseWireTypes.RoseWireType;
        Drive: TYPE = RoseBehavior.Drive;

        RefToPtr: PROC [ra: REF ANY, referentType: RoseWireType] RETURNS [p: Ptr];

        CopyVal: PROC [fromT, toT: RoseWireType, fromP, toP: Ptr, bbTable: PrincOps.BitBltTablePtr];

        CopyAndLimitDrive: PROC [type: RoseWireType, fromP, toP: Ptr, min: Drive];

        CopyQ, CopyUD, CopyLevel: PROC [fromT, toT: RoseWireType, fromP, toP: Ptr];

        EqualVal: PROC [t1, t2: RoseWireType, p1, p2: Ptr] RETURNS [equal: BOOL];

        EqualUD: PROC [t1, t2: RoseWireType, p1, p2: Ptr] RETURNS [equal: BOOL];

        MaxinQ, MaxinUD: PROC [fromT, toT: RoseWireType, fromP, toP: Ptr] RETURNS [increase: BOOL];

        ReadDrive: PROC [Ptr] RETURNS [Drive];
        WriteDrive: PROC [Ptr, Drive];

        CreateUntypedInstance: PROC [rwt: RoseWireType] RETURNS [p: Ptr];

        }.