StateRep:
TYPE =
RECORD[
-- persistent variables --
cpx, cpy: REAL,
-- CORRECT variables --
correctMX, correctMY: REAL,
correctMaskCount: INT,
correctMaskX, correctMaskY: REAL,
correctSumX, correctSumY: REAL,
correctSpaceX, correctSpaceY: REAL,
correctcpx, correctcpy: REAL,
correctTargetX, correctTargetY: REAL,
-- nonpersistent variables --
T: Transformation,
priorityImportant: INT,
mediumXSize, mediumYSize: REAL,
fieldXMin, fieldYMin, fieldXMax, fieldYMax: REAL,
showVec: REF,
color: Color,
noImage: INT,
strokeWidth: REAL,
strokeEnd: INT,
underlineStart: REAL,
amplifySpace: REAL,
correctPass: INT,
correctShrink: REAL,
correctTX, correctTY: REAL,
clipper: ClientClipper,
propertyList: REF
];