Border

BorderOpaqueThickness BorderThickness DrawBorder DrawBorderAsCoupon DrawBorderShadow PartColor SetPartColor

Attributes

Class Border defines no new attributes.

Fields

Define Class Border;
    mixes in with Object;

    // drawing
    operation DrawBorder(position: Box; highlighted: Boolean), noFail, noMethod;
    operation DrawBorderShadow(position: Box; offset: Dot; shadowRGB: Unsigned), noFail;
    operation DrawBorderAsCoupon(position: Box);

    // geometry
    operation BorderThickness(var thickness: Box), noMethod;
    operation BorderOpaqueThickness(var thickness: Box);

    // color
    operation PartColor(part: Signed): Unsigned, noFail;
    operation SetPartColor(color: Unsigned; part: Signed);
end class;