indexing
	description: "Pen style (PS) constants."
	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"

class interface
	WEL_PS_CONSTANTS

feature -- Access

	Ps_dash: INTEGER is 1

	Ps_dashdot: INTEGER is 3

	Ps_dashdotdot: INTEGER is 4

	Ps_dot: INTEGER is 2

	Ps_insideframe: INTEGER is 6

	Ps_null: INTEGER is 5

	Ps_solid: INTEGER is 0
	
feature -- Status report

	valid_pen_style_constant (c: INTEGER): BOOLEAN
			-- Is c a valid pen style constant?
	
invariant

		-- from ANY
	reflexive_equality: standard_is_equal (Current)
	reflexive_conformance: conforms_to (Current)

end -- class WEL_PS_CONSTANTS