ClockFace

ClockHandEndPoints DrawClockFace DrawClockHand FaceBox

Attributes

HasSecondHand

Fields

Define Class ClockFace;
    mixes in with Object;

    operation ClockHandEndPoints(time: Unsigned; whichHand: UnsignedShort;
        length: Micron; overlap: Micron; center: Dot;
        var centerTip: Dot; var edgeTip: Dot);
    operation DrawClockHand(whichHand: UnsignedShort; inner: Dot; outer: Dot;
        thickness: Micron; shadowFlag: Boolean);
    operation DrawClockFace(time: Unsigned);
    operation FaceBox(var faceBox: Box);
    attribute HasSecondHand: Boolean, readOnly, safe, common;
end class;