- indexing
- title: "Visual Eiffel Library.", "The WAPI_LOGFONT class defines the attributes of a Font."
- project: "Visual Eiffel Win32 Library"
- revision: "$Revision: 1.1 $"
- copyright: "Copyright (C) 1996-2005 Object Tools Group"
- license: "http://visual-eiffel.com/license"
- cluster: winlib
class WAPI_LOGFONT
- inherit
-
WAPI_GET_POINTER
- end
-
MEMORY
- end
- feature -- Class data
-
lfHeight: INTEGER
-
lfWidth: INTEGER
-
lfEscapement: INTEGER
-
lfOrientation: INTEGER
-
lfWeight: INTEGER
-
lfItalic: BOOLEAN
-
lfUnderline: BOOLEAN
-
lfStrikeOut: BOOLEAN
-
lfCharSet: BIT 8
-
lfOutPrecision: BIT 8
-
lfClipPrecision: BIT 8
-
lfQuality: BIT 8
-
lfPitchAndFamily: BIT 8
-
lfFaceName: CHARACTER
-
lfFaceName1: CHARACTER
-
lfFaceName2: CHARACTER
-
lfFaceName3: CHARACTER
-
lfFaceName4: CHARACTER
-
lfFaceName5: CHARACTER
-
lfFaceName6: CHARACTER
-
lfFaceName7: CHARACTER
-
lfFaceName8: CHARACTER
-
lfFaceName9: CHARACTER
-
lfFaceName10: CHARACTER
-
lfFaceName11: CHARACTER
-
lfFaceName12: CHARACTER
-
lfFaceName13: CHARACTER
-
lfFaceName14: CHARACTER
-
lfFaceName15: CHARACTER
-
lfFaceName16: CHARACTER
-
lfFaceName17: CHARACTER
-
lfFaceName18: CHARACTER
-
lfFaceName19: CHARACTER
-
lfFaceName20: CHARACTER
-
lfFaceName21: CHARACTER
-
lfFaceName22: CHARACTER
-
lfFaceName23: CHARACTER
-
lfFaceName24: CHARACTER
-
lfFaceName25: CHARACTER
-
lfFaceName26: CHARACTER
-
lfFaceName27: CHARACTER
-
lfFaceName28: CHARACTER
-
lfFaceName29: CHARACTER
-
lfFaceName30: CHARACTER
-
lfFaceName31: CHARACTER
- feature -- Access
-
ptr: POINTER
- feature -- Change
-
set_lfHeight (i: INTEGER)
-
- ensure
-
correct_set:
lfheight = i
-
set_lfWidth (i: INTEGER)
-
- ensure
-
correct_set:
lfwidth = i
-
set_lfEscapement (i: INTEGER)
-
- ensure
-
correct_set:
lfescapement = i
-
set_lfOrientation (i: INTEGER)
-
- ensure
-
correct_set:
lforientation = i
-
set_lfWeight (i: INTEGER)
-
- require
-
correct_i:
i >= 0 and i <= 1000
-
- ensure
-
correct_set:
lfweight = i
-
set_lfItalic (b: BOOLEAN)
-
- ensure
-
correct_set:
lfitalic = b
-
set_lfUnderline (b: BOOLEAN)
-
- ensure
-
correct_set:
lfunderline = b
-
set_lfStrikeOut (b: BOOLEAN)
-
- ensure
-
correct_set:
lfstrikeout = b
-
set_lfCharSet (i: INTEGER)
-
set_lfOutPrecision (i: INTEGER)
-
set_lfClipPrecision (i: INTEGER)
-
set_lfQuality (i: INTEGER)
-
set_lfPitchAndFamily (i: INTEGER)
-
set_lfFaceName (str: STRING)
-
- require
-
correct_str:
str /= void
-
fits_well:
str.count < 31
- feature -- Queries
-
get_lfFaceName: STRING
end -- class WAPI_LOGFONT