Last modified on Mon Dec 16 11:02:01 PST 1991 by kalsow modified on Sat May 19 07:28:29 1990 by muller
MODULE; IMPORT Word; (* let the compiler implement each of these as inlines *) PROCEDURE Word Plus (x, y: T): T = BEGIN RETURN Word.Plus (x, y) END Plus; PROCEDURETimes (x, y: T): T = BEGIN RETURN Word.Times (x, y) END Times; PROCEDUREMinus (x, y: T): T = BEGIN RETURN Word.Minus (x, y) END Minus; PROCEDUREDivide (x, y: T): T = BEGIN RETURN Word.Divide (x, y) END Divide; PROCEDUREMod (x, y: T): T = BEGIN RETURN Word.Mod (x, y) END Mod; PROCEDURELT (x, y: T): BOOLEAN = BEGIN RETURN Word.LT (x, y) END LT; PROCEDURELE (x, y: T): BOOLEAN = BEGIN RETURN Word.LE (x, y) END LE; PROCEDUREGT (x, y: T): BOOLEAN = BEGIN RETURN Word.GT (x, y) END GT; PROCEDUREGE (x, y: T): BOOLEAN = BEGIN RETURN Word.GE (x, y) END GE; PROCEDUREAnd (x, y: T): T = BEGIN RETURN Word.And (x, y) END And; PROCEDUREOr (x, y: T): T = BEGIN RETURN Word.Or (x, y) END Or; PROCEDUREXor (x, y: T): T = BEGIN RETURN Word.Xor (x, y) END Xor; PROCEDURENot (x: T): T = BEGIN RETURN Word.Not (x) END Not; PROCEDUREShift (x: T; n: INTEGER): T = BEGIN RETURN Word.Shift (x, n) END Shift; PROCEDURELeftShift (x: T; n: [0..Size-1]): T = BEGIN RETURN Word.LeftShift (x, n) END LeftShift; PROCEDURERightShift (x: T; n: [0..Size-1]): T = BEGIN RETURN Word.RightShift (x, n) END RightShift; PROCEDURERotate (x: T; n: INTEGER): T = BEGIN RETURN Word.Rotate (x, n) END Rotate; PROCEDURELeftRotate (x: T; n: [0..Size-1]): T = BEGIN RETURN Word.LeftRotate (x, n) END LeftRotate; PROCEDURERightRotate (x: T; n: [0..Size-1]): T = BEGIN RETURN Word.RightRotate (x, n) END RightRotate; PROCEDUREExtract (x: T; i, n: CARDINAL): T = BEGIN RETURN Word.Extract (x, i, n) END Extract; PROCEDUREInsert (x, y: T; i, n: CARDINAL): T = BEGIN RETURN Word.Insert (x, y, i, n) END Insert; BEGIN END Word.