OracleGen.mesa
Copyright Ó 1987 by Xerox Corporation. All rights reserved.
Jean Gastinel, August 12, 1987 7:28:15 pm PDT
OracleGen include some basic procedures to help the generation of repetitif paterns for
test vector generation.
OracleGen: CEDAR DEFINITIONS
Creation
Bin:
PROC [k:
CARD]
RETURNS [s: Rope
.ROPE];
Transform the integer into a Rope which is the binary value of the integer
LExtend:
PROC [r: Rope
.ROPE, i:
INT]
RETURNS [s: Rope
.ROPE];
Left extend the initial Rope by 0 until having the length "i"
BinExt:
PROC [k:
INT, i:
INT]
RETURNS [r: Rope
.ROPE];
Convert an Integer to a Rope with left 0 padding for a length of i
Expand:
PROC [r: Rope
.ROPE, i:
INT]
RETURNS [s: Rope
.ROPE];
Expand the initial Rope in inserting "i" space between each digit
Hex:
PROC [k:
CARD]
RETURNS [s: Rope.
ROPE];
Convert an integer into a Rope which correspond to its value
END.