DIRECTORY Rope, Basics, IO, AlgebraClasses, BigRats; RatIntervals: CEDAR DEFINITIONS = BEGIN OPEN BR: BigRats; RatInterval: TYPE = AlgebraClasses.Object; RatIntervalData: TYPE = REF RatIntervalDataRec; RatIntervalDataRec: TYPE = RECORD [ leftEndPoint, rightEndPoint: BR.BigRat ]; -- assumed that leftEndPoint <= rightEndPoint. RatIntervals: AlgebraClasses.Object;-- public structure 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. rRatIntervals.mesa Last Edited by: Arnon, June 10, 1985 4:19:22 pm PDT RatInterval Representation Operations Κm˜Jšœ™J™3J˜šΟk ˜ Jšœ˜J˜Jšœ˜J˜Jšœ˜—J˜Ihead2šœœ ˜Jšœœœœ ˜headšœ Οn™šœ œ˜*J˜—Jšœœœ˜/šœœœ˜#Jšœœ˜&JšœΟc.˜1——˜Jšž œŸ˜7J˜—šž ™ š žœœœœœ˜AJ˜—šžœœ œœ˜EJ˜—š žœœ!œœœœ˜ZJ˜—š žœœœœœœ˜UJ˜——˜J˜—J˜Jšœ˜—…—Μ«