indexing description: "Facilities used by and for ues with EV_FONT." status: "See notice at end of class" keywords: "character, face, size, family, weight, shape, bold, italic" date: "$Date$" revision: "$Revision$" class EV_FONT_CONSTANTS feature -- Constants Family_screen: INTEGER is 1 Family_roman: INTEGER is 2 Family_sans: INTEGER is 3 Family_typewriter: INTEGER is 4 Family_modern: INTEGER is 5 Weight_thin: INTEGER is 6 Weight_regular: INTEGER is 7 Weight_bold: INTEGER is 8 Weight_black: INTEGER is 9 Shape_regular: INTEGER is 10 Shape_italic: INTEGER is 11 feature -- Contract support valid_family (a_family: INTEGER): BOOLEAN is -- Is `a_family' a valid family value. do Result := a_family = family_screen or else a_family = family_roman or else a_family = family_sans or else a_family = family_typewriter or else a_family = family_modern end valid_weight (a_weight: INTEGER): BOOLEAN is -- Is `a_weight' a valid weight value. do Result := a_weight = weight_thin or else a_weight = weight_regular or else a_weight = weight_bold or else a_weight = weight_black end valid_shape (a_shape: INTEGER): BOOLEAN is -- Is `a_shape' a valid shape value. do Result := a_shape = shape_regular or else a_shape = shape_italic end end -- class EV_FONT_CONSTANTS --|---------------------------------------------------------------- --| EiffelVision2: library of reusable components for ISE Eiffel. --| Copyright (C) 1985-2004 Eiffel Software. All rights reserved. --| Duplication and distribution prohibited. May be used only with --| ISE Eiffel, under terms of user license. --| Contact Eiffel Software for any other use. --| --| Interactive Software Engineering Inc. --| dba Eiffel Software --| 356 Storke Road, Goleta, CA 93117 USA --| Telephone 805-685-1006, Fax 805-685-6869 --| Contact us at: http://www.eiffel.com/general/email.html --| Customer support: http://support.eiffel.com --| For latest info on our award winning products, visit: --| http://www.eiffel.com --|----------------------------------------------------------------