DragonRosemary.mesa
Copyright © 1986 by Xerox Corporation. All rights reserved.
Modified for Core and Rosemary5
Auxiliary functions for Dragon Rosemary simulations
last edited by E. McCreight, March 10, 1986 6:21:15 pm PST
DIRECTORY
Dragon,
DragOpsCross,
Rope;
DragonRosemary: CEDAR DEFINITIONS =
BEGIN
OpName: PUBLIC READONLY ARRAY Dragon.Opcode OF Rope.ROPE;
OpLength: PROC [ op: Dragon.Opcode ] RETURNS [ length: [0..5] ];
Assert: PROC [ condition: BOOL, message: Rope.ROPE ← NIL ];
AssertionFailed: SIGNAL [ message: Rope.ROPE ];
Count:    PROC [ a, b, c, d, e, f, g, h, i, j: BOOL ← FALSE ] RETURNS [ NAT ];
OneOf:    PROC [ a, b, c, d, e, f, g, h, i, j: BOOL ← FALSE ] RETURNS [ BOOL ];
MoreThanOneOf: PROC [ a, b, c, d, e, f, g, h, i, j: BOOL ← FALSE ] RETURNS [ BOOL ];
END.