Automatic generation produced by ISE Eiffel
class WEL_STANDARD_PENS General cluster: wel description: "Definition of the sixteen standard pens." Ancestors ANY WEL_PS_CONSTANTS WEL_STANDARD_COLORS Queries Black: WEL_COLOR_REF Black_pen: WEL_PEN Blue: WEL_COLOR_REF Blue_pen: WEL_PEN Cyan: WEL_COLOR_REF Cyan_pen: WEL_PEN Dark_blue: WEL_COLOR_REF Dark_blue_pen: WEL_PEN Dark_cyan: WEL_COLOR_REF Dark_cyan_pen: WEL_PEN Dark_gray: WEL_COLOR_REF Dark_green: WEL_COLOR_REF Dark_green_pen: WEL_PEN Dark_grey: WEL_COLOR_REF Dark_grey_pen: WEL_PEN Dark_magenta: WEL_COLOR_REF Dark_magenta_pen: WEL_PEN Dark_red: WEL_COLOR_REF Dark_red_pen: WEL_PEN Dark_yellow: WEL_COLOR_REF Dark_yellow_pen: WEL_PEN Gray: WEL_COLOR_REF Green: WEL_COLOR_REF Green_pen: WEL_PEN Grey: WEL_COLOR_REF Grey_pen: WEL_PEN Magenta: WEL_COLOR_REF Magenta_pen: WEL_PEN Ps_alternate: INTEGER_32 Ps_cosmetic: INTEGER_32 Ps_dash: INTEGER_32 Ps_dashdot: INTEGER_32 Ps_dashdotdot: INTEGER_32 Ps_dot: INTEGER_32 Ps_endcap_flat: INTEGER_32 Ps_endcap_round: INTEGER_32 Ps_endcap_square: INTEGER_32 Ps_geometric: INTEGER_32 Ps_insideframe: INTEGER_32 Ps_join_bevel: INTEGER_32 Ps_join_miter: INTEGER_32 Ps_join_round: INTEGER_32 Ps_null: INTEGER_32 Ps_solid: INTEGER_32 Ps_userstyle: INTEGER_32 Red: WEL_COLOR_REF Red_pen: WEL_PEN valid_extended_pen_style (c: INTEGER_32): BOOLEAN valid_pen_style_constant (c: INTEGER_32): BOOLEAN White: WEL_COLOR_REF White_pen: WEL_PEN Yellow: WEL_COLOR_REF Yellow_pen: WEL_PEN -- Generated by Eiffel Studio --
For more details: eiffel.org