RatIntervals.mesa
Last Edited by: Arnon, June 10, 1985 4:19:22 pm PDT
DIRECTORY
Rope,
Basics,
IO,
AlgebraClasses,
BigRats;
RatIntervals: CEDAR DEFINITIONS
= BEGIN OPEN BR: BigRats;
RatInterval Representation
RatInterval:
TYPE = AlgebraClasses.Object;
RatIntervalData: TYPE = REF RatIntervalDataRec;
RatIntervalDataRec:
TYPE =
RECORD [
leftEndPoint, rightEndPoint: BR.BigRat
]; -- assumed that leftEndPoint <= rightEndPoint.
RatIntervals: AlgebraClasses.Object;-- public structure
Operations
ReadRatInterval:
PROC [in:
IO.
STREAM]
RETURNS [out: RatInterval];
RatIntervalFromRope:
PROC [in: Rope.
ROPE]
RETURNS [out: RatInterval];
RatIntervalToRope:
PROC [in: RatInterval, showDenomOne:
BOOL ←
FALSE]
RETURNS [Rope.
ROPE];
WriteRatInterval:
PROC [in: RatInterval, out:
IO.
STREAM, showDenomOne:
BOOL ←
FALSE];
END.