Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
note
	description: "Eiffel Vision Environment. Mswindows implementation."
	legal: "See notice at end of class."
	status: "See notice at end of class."
	date: "$Date: 2017-03-27 09:23:22 -0800 (Mon, 27 Mar 2017) $"
	revision: "$Revision: 100056 $"

class interface
	EV_ENVIRONMENT_IMP

create 
	make
			-- No extra initialization needed.
		ensure -- from EV_ANY_I
			is_initialized: get_state_flag (Is_initialized_flag)

feature -- Initialization

	make
			-- No extra initialization needed.
		ensure -- from EV_ANY_I
			is_initialized: get_state_flag (Is_initialized_flag)

	old_make (an_interface: attached like interface)
			-- Initialize Current with interface an_interface.
		require -- from EV_ANY_I
			an_interface_not_void: an_interface /= Void
		ensure -- from EV_ANY_I
			interface_assigned: interface = an_interface
			base_make_called: base_make_called
	
feature -- Access

	generating_type: TYPE [detachable EV_ENVIRONMENT_IMP]
			-- Type of current object
			-- (type of which it is a direct instance)
			-- (from ANY)
		ensure -- from ANY
			generating_type_not_void: Result /= Void

	generator: STRING_8
			-- Name of current object's generating class
			-- (base class of the type of which it is a direct instance)
			-- (from ANY)
		ensure -- from ANY
			generator_not_void: Result /= Void
			generator_not_empty: not Result.is_empty
	
feature -- Comparison

	frozen deep_equal (a: detachable ANY; b: like arg #1): BOOLEAN
			-- Are a and b either both void
			-- or attached to isomorphic object structures?
			-- (from ANY)
		ensure -- from ANY
			instance_free: class
			shallow_implies_deep: standard_equal (a, b) implies Result
			both_or_none_void: (a = Void) implies (Result = (b = Void))
			same_type: (Result and (a /= Void)) implies (b /= Void and then a.same_type (b))
			symmetric: Result implies deep_equal (b, a)

	frozen equal (a: detachable ANY; b: like arg #1): BOOLEAN
			-- Are a and b either both void or attached
			-- to objects considered equal?
			-- (from ANY)
		ensure -- from ANY
			instance_free: class
			definition: Result = (a = Void and b = Void) or else ((a /= Void and b /= Void) and then a.is_equal (b))

	frozen is_deep_equal alias "≡≡≡" (other: EV_ENVIRONMENT_IMP): BOOLEAN
			-- Are Current and other attached to isomorphic object structures?
			-- (from ANY)
		require -- from ANY
			other_not_void: other /= Void
		ensure -- from ANY
			shallow_implies_deep: standard_is_equal (other) implies Result
			same_type: Result implies same_type (other)
			symmetric: Result implies other.is_deep_equal (Current)

	is_equal (other: EV_ENVIRONMENT_IMP): BOOLEAN
			-- Is other attached to an object considered
			-- equal to current object?
			-- (from ANY)
		require -- from ANY
			other_not_void: other /= Void
		ensure -- from ANY
			symmetric: Result implies other ~ Current
			consistent: standard_is_equal (other) implies Result

	frozen standard_equal (a: detachable ANY; b: like arg #1): BOOLEAN
			-- Are a and b either both void or attached to
			-- field-by-field identical objects of the same type?
			-- Always uses default object comparison criterion.
			-- (from ANY)
		ensure -- from ANY
			instance_free: class
			definition: Result = (a = Void and b = Void) or else ((a /= Void and b /= Void) and then a.standard_is_equal (b))

	frozen standard_is_equal alias "≜" (other: EV_ENVIRONMENT_IMP): BOOLEAN
			-- Is other attached to an object of the same type
			-- as current object, and field-by-field identical to it?
			-- (from ANY)
		require -- from ANY
			other_not_void: other /= Void
		ensure -- from ANY
			same_type: Result implies same_type (other)
			symmetric: Result implies other.standard_is_equal (Current)
	
feature -- Status report

	conforms_to (other: ANY): BOOLEAN
			-- Does type of current object conform to type
			-- of other (as per Eiffel: The Language, chapter 13)?
			-- (from ANY)
		require -- from ANY
			other_not_void: other /= Void

	is_application_processor: BOOLEAN
			-- Is current instance of EV_ENVIRONMENT on the same processor as EV_APPLICATION?
			-- True if this is the same processor, or if EV_APPLICATION has not been created yet.
			-- (from EV_ENVIRONMENT_I)

	is_destroyed: BOOLEAN
			-- Is Current no longer usable?
			-- (from EV_ANY_I)

	same_type (other: ANY): BOOLEAN
			-- Is type of current object identical to type of other?
			-- (from ANY)
		require -- from ANY
			other_not_void: other /= Void
		ensure -- from ANY
			definition: Result = (conforms_to (other) and other.conforms_to (Current))
	
feature -- Duplication

	copy (other: EV_ENVIRONMENT_IMP)
			-- Update current object using fields of object attached
			-- to other, so as to yield equal objects.
			-- (from ANY)
		require -- from ANY
			other_not_void: other /= Void
			type_identity: same_type (other)
		ensure -- from ANY
			is_equal: Current ~ other

	frozen deep_copy (other: EV_ENVIRONMENT_IMP)
			-- Effect equivalent to that of:
			--		`copy` (other . `deep_twin`)
			-- (from ANY)
		require -- from ANY
			other_not_void: other /= Void
		ensure -- from ANY
			deep_equal: deep_equal (Current, other)

	frozen deep_twin: EV_ENVIRONMENT_IMP
			-- New object structure recursively duplicated from Current.
			-- (from ANY)
		ensure -- from ANY
			deep_twin_not_void: Result /= Void
			deep_equal: deep_equal (Current, Result)

	frozen standard_copy (other: EV_ENVIRONMENT_IMP)
			-- Copy every field of other onto corresponding field
			-- of current object.
			-- (from ANY)
		require -- from ANY
			other_not_void: other /= Void
			type_identity: same_type (other)
		ensure -- from ANY
			is_standard_equal: standard_is_equal (other)

	frozen standard_twin: EV_ENVIRONMENT_IMP
			-- New object field-by-field identical to other.
			-- Always uses default copying semantics.
			-- (from ANY)
		ensure -- from ANY
			standard_twin_not_void: Result /= Void
			equal: standard_equal (Result, Current)

	frozen twin: EV_ENVIRONMENT_IMP
			-- New object equal to Current
			-- `twin` calls `copy`; to change copying/twinning semantics, redefine `copy`.
			-- (from ANY)
		ensure -- from ANY
			twin_not_void: Result /= Void
			is_equal: Result ~ Current
	
feature -- Basic operations

	frozen default: detachable EV_ENVIRONMENT_IMP
			-- Default value of object's type
			-- (from ANY)

	frozen default_pointer: POINTER
			-- Default value of type POINTER
			-- (Avoid the need to write p.`default` for
			-- some p of type POINTER.)
			-- (from ANY)
		ensure -- from ANY
			instance_free: class

	default_rescue
			-- Process exception for routines with no Rescue clause.
			-- (Default: do nothing.)
			-- (from ANY)

	frozen do_nothing
			-- Execute a null action.
			-- (from ANY)
		ensure -- from ANY
			instance_free: class
	
feature -- Implementation

	has_printer: BOOLEAN
			-- Is a default printer available?
			-- Result is True if at least one printer is installed.
	
feature -- "Shell and Common controls" Versions

	Comctl32_version: INTEGER_32
			-- Version of Comctl32.dll
			-- (from WEL_WINDOWS_VERSION)

	Shell32_version: INTEGER_32
			-- Version of Shell32.dll
			-- (from WEL_WINDOWS_VERSION)

	Shlwapi_version: INTEGER_32
			-- Version of Shlwapi.dll
			-- (from WEL_WINDOWS_VERSION)
	
feature -- Command

	destroy
			-- Render current unusable.
			-- (from EV_ENVIRONMENT_I)
		ensure -- from EV_ANY_I
			is_in_destroy_set: is_in_destroy
			is_destroyed_set: is_destroyed
	
feature -- Compatible Windows Versions

	is_windows_2000_compatible: BOOLEAN
			-- Is the current program running under Windows 2000 or above?
			-- (from WEL_WINDOWS_VERSION)

	is_windows_98_compatible: BOOLEAN
			-- Is the current program running under Windows 98 or above?
			-- (from WEL_WINDOWS_VERSION)

	is_windows_9x: BOOLEAN
			-- Is the current program running under Windows 9x
			-- (Windows 95, Windows 98, Windows Me, ...)?
			-- (from WEL_WINDOWS_VERSION)

	is_windows_me_compatible: BOOLEAN
			-- Is the current program running under Windows Me or above?
			-- (from WEL_WINDOWS_VERSION)

	is_windows_nt: BOOLEAN
			-- Is the current program running under a version of
			-- windows belonging to the NT family?
			-- (Windows NT 3.51, Windows NT4, Windows 2000,
			-- Windows XP Home/Professional, Windows Vista)
			-- (from WEL_WINDOWS_VERSION)

	is_windows_nt4_compatible: BOOLEAN
			-- Is the current program running under Windows NT4 or above?
			-- (from WEL_WINDOWS_VERSION)

	is_windows_xp_compatible: BOOLEAN
			-- Is the current program running under Windows XP or above?
			-- (from WEL_WINDOWS_VERSION)
	
feature -- Current Windows Version

	build_number: INTEGER_32
			-- Build number of current operating system
			-- (from WEL_WINDOWS_VERSION)
		require -- from WEL_WINDOWS_VERSION
			windows_nt_family: is_windows_nt

	major_version: INTEGER_32
			-- Major version of current operating system
			-- (from WEL_WINDOWS_VERSION)

	minor_version: INTEGER_32
			-- Minor version of current operating system
			-- (from WEL_WINDOWS_VERSION)

	version_info: detachable WEL_OS_VERSION_INFO
			-- Associated WEL_OS_VERSION_INFO structure
			-- (from WEL_WINDOWS_VERSION)
	
feature -- Exact Windows Versions

	is_windows_2000: BOOLEAN
			-- Is the current program running under Windows 2000?
			-- (from WEL_WINDOWS_VERSION)
		ensure -- from WEL_WINDOWS_VERSION
			windows2000_is_nt: Result implies is_windows_nt

	is_windows_95: BOOLEAN
			-- Is the current program running under Windows 95
			-- (OSR1, OSR2 or OSR2.5)?
			-- (from WEL_WINDOWS_VERSION)
		ensure -- from WEL_WINDOWS_VERSION
			windows95_is_9x: Result implies is_windows_9x

	is_windows_98: BOOLEAN
			-- Is the current program running under Windows 98
			-- (1st or 2nd edition)?
			-- (from WEL_WINDOWS_VERSION)
		ensure -- from WEL_WINDOWS_VERSION
			windows98_is_9x: Result implies is_windows_9x

	is_windows_me: BOOLEAN
			-- Is the current program running under Windows Millenium Edition?
			-- (from WEL_WINDOWS_VERSION)
		ensure -- from WEL_WINDOWS_VERSION
			windows_me_is_9x: Result implies is_windows_9x

	is_windows_nt4: BOOLEAN
			-- Is the current program running under Windows NT4?
			-- (from WEL_WINDOWS_VERSION)
		ensure -- from WEL_WINDOWS_VERSION
			windows_nt4_is_nt: Result implies is_windows_nt

	is_windows_vista: BOOLEAN
			-- If the current program running under Windows Vista?
			-- (from WEL_WINDOWS_VERSION)

	is_windows_xp: BOOLEAN
			-- Is the current program running under Windows XP (Home or Professional)?
			-- (from WEL_WINDOWS_VERSION)
		ensure -- from WEL_WINDOWS_VERSION
			windows_xp_is_nt: Result implies is_windows_nt
	
feature -- Output

	Io: STD_FILES
			-- Handle to standard file setup
			-- (from ANY)
		ensure -- from ANY
			instance_free: class
			io_not_void: Result /= Void

	out: STRING_8
			-- New string containing terse printable representation
			-- of current object
			-- (from ANY)
		ensure -- from ANY
			out_not_void: Result /= Void

	print (o: detachable ANY)
			-- Write terse external representation of o
			-- on standard output.
			-- (from ANY)
		ensure -- from ANY
			instance_free: class

	frozen tagged_out: STRING_8
			-- New string containing terse printable representation
			-- of current object
			-- (from ANY)
		ensure -- from ANY
			tagged_out_not_void: Result /= Void
	
feature -- Platform

	Operating_environment: OPERATING_ENVIRONMENT
			-- Objects available from the operating system
			-- (from ANY)
		ensure -- from ANY
			instance_free: class
			operating_environment_not_void: Result /= Void
	
feature -- Status

	get_non_client_metrics: WEL_NON_CLIENT_METRICS
			-- Retrieves the metrics associated with the nonclient area of
			-- nonminimized windows.
			-- If non-successful, default value
			-- (from WEL_SYSTEM_PARAMETERS_INFO)

	get_wheel_scroll_lines: INTEGER_32
			-- Retrieves the number of lines that will be scrolled when the mouse wheel is rotated.
			-- (from WEL_SYSTEM_PARAMETERS_INFO)

	has_drag_full_windows: BOOLEAN
			-- Determines whether dragging of full windows is enabled.
			-- The pvParam parameter must point to a BOOL variable that
			-- receives TRUE if enabled, or FALSE otherwise.
			--
			-- Windows 95: This flag is supported only if Windows Plus!
			-- is installed. See SPI_GETWINDOWSEXTENSION.
			-- (from WEL_SYSTEM_PARAMETERS_INFO)

	has_flat_menu: BOOLEAN
			-- Determines whether native User menus have flat menu appearance
			-- (from WEL_SYSTEM_PARAMETERS_INFO)

	has_windows95_plus: BOOLEAN
			-- Windows 95 only: Indicates whether the Windows extension,
			-- Windows Plus!, is installed. Set the uiParam parameter to 1.
			-- The pvParam parameter is not used. The function returns TRUE
			-- if the extension is installed, or FALSE if it is not.
			-- (from WEL_SYSTEM_PARAMETERS_INFO)
	
feature -- SystemParameter (All Windows)

	Spi_getaccesstimeout: INTEGER_32 = 60
			-- Declared in Windows as SPI_GETACCESSTIMEOUT
			-- (from WEL_SPI_CONSTANTS)

	Spi_getanimation: INTEGER_32 = 72
			-- Declared in Windows as SPI_GETANIMATION
			-- (from WEL_SPI_CONSTANTS)

	Spi_getbeep: INTEGER_32 = 1
			-- Declared in Windows as SPI_GETBEEP
			-- (from WEL_SPI_CONSTANTS)

	Spi_getborder: INTEGER_32 = 5
			-- Declared in Windows as SPI_GETBORDER
			-- (from WEL_SPI_CONSTANTS)

	Spi_getdefaultinputlang: INTEGER_32 = 89
			-- Declared in Windows as SPI_GETDEFAULTINPUTLANG
			-- (from WEL_SPI_CONSTANTS)

	Spi_getdragfullwindows: INTEGER_32 = 38
			-- Declared in Windows as SPI_GETDRAGFULLWINDOWS
			-- (from WEL_SPI_CONSTANTS)

	Spi_getfasttaskswitch: INTEGER_32 = 35
			-- Declared in Windows as SPI_GETFASTTASKSWITCH
			-- (from WEL_SPI_CONSTANTS)

	Spi_getfilterkeys: INTEGER_32 = 50
			-- Declared in Windows as SPI_GETFILTERKEYS
			-- (from WEL_SPI_CONSTANTS)

	Spi_getfontsmoothing: INTEGER_32 = 74
			-- Declared in Windows as SPI_GETFONTSMOOTHING
			-- (from WEL_SPI_CONSTANTS)

	Spi_getgridgranularity: INTEGER_32 = 18
			-- Declared in Windows as SPI_GETGRIDGRANULARITY
			-- (from WEL_SPI_CONSTANTS)

	Spi_gethighcontrast: INTEGER_32 = 66
			-- Declared in Windows as SPI_GETHIGHCONTRAST
			-- (from WEL_SPI_CONSTANTS)

	Spi_geticonmetrics: INTEGER_32 = 45
			-- Declared in Windows as SPI_GETICONMETRICS
			-- (from WEL_SPI_CONSTANTS)

	Spi_geticontitlelogfont: INTEGER_32 = 31
			-- Declared in Windows as SPI_GETICONTITLELOGFONT
			-- (from WEL_SPI_CONSTANTS)

	Spi_geticontitlewrap: INTEGER_32 = 25
			-- Declared in Windows as SPI_GETICONTITLEWRAP
			-- (from WEL_SPI_CONSTANTS)

	Spi_getkeyboarddelay: INTEGER_32 = 22
			-- Declared in Windows as SPI_GETKEYBOARDDELAY
			-- (from WEL_SPI_CONSTANTS)

	Spi_getkeyboardpref: INTEGER_32 = 68
			-- Declared in Windows as SPI_GETKEYBOARDPREF
			-- (from WEL_SPI_CONSTANTS)

	Spi_getkeyboardspeed: INTEGER_32 = 10
			-- Declared in Windows as SPI_GETKEYBOARDSPEED
			-- (from WEL_SPI_CONSTANTS)

	Spi_getlowpoweractive: INTEGER_32 = 83
			-- Declared in Windows as SPI_GETLOWPOWERACTIVE
			-- (from WEL_SPI_CONSTANTS)

	Spi_getlowpowertimeout: INTEGER_32 = 79
			-- Declared in Windows as SPI_GETLOWPOWERTIMEOUT
			-- (from WEL_SPI_CONSTANTS)

	Spi_getmenudropalignment: INTEGER_32 = 27
			-- Declared in Windows as SPI_GETMENUDROPALIGNMENT
			-- (from WEL_SPI_CONSTANTS)

	Spi_getminimizedmetrics: INTEGER_32 = 43
			-- Declared in Windows as SPI_GETMINIMIZEDMETRICS
			-- (from WEL_SPI_CONSTANTS)

	Spi_getmouse: INTEGER_32 = 3
			-- Declared in Windows as SPI_GETMOUSE
			-- (from WEL_SPI_CONSTANTS)

	Spi_getmousekeys: INTEGER_32 = 54
			-- Declared in Windows as SPI_GETMOUSEKEYS
			-- (from WEL_SPI_CONSTANTS)

	Spi_getmousetrails: INTEGER_32 = 94
			-- Declared in Windows as SPI_GETMOUSETRAILS
			-- (from WEL_SPI_CONSTANTS)

	Spi_getnonclientmetrics: INTEGER_32 = 41
			-- Declared in Windows as SPI_GETNONCLIENTMETRICS
			-- (from WEL_SPI_CONSTANTS)

	Spi_getpoweroffactive: INTEGER_32 = 84
			-- Declared in Windows as SPI_GETPOWEROFFACTIVE
			-- (from WEL_SPI_CONSTANTS)

	Spi_getpowerofftimeout: INTEGER_32 = 80
			-- Declared in Windows as SPI_GETPOWEROFFTIMEOUT
			-- (from WEL_SPI_CONSTANTS)

	Spi_getscreenreader: INTEGER_32 = 70
			-- Declared in Windows as SPI_GETSCREENREADER
			-- (from WEL_SPI_CONSTANTS)

	Spi_getscreensaveactive: INTEGER_32 = 16
			-- Declared in Windows as SPI_GETSCREENSAVEACTIVE
			-- (from WEL_SPI_CONSTANTS)

	Spi_getscreensavetimeout: INTEGER_32 = 14
			-- Declared in Windows as SPI_GETSCREENSAVETIMEOUT
			-- (from WEL_SPI_CONSTANTS)

	Spi_getserialkeys: INTEGER_32 = 62
			-- Declared in Windows as SPI_GETSERIALKEYS
			-- (from WEL_SPI_CONSTANTS)

	Spi_getshowsounds: INTEGER_32 = 56
			-- Declared in Windows as SPI_GETSHOWSOUNDS
			-- (from WEL_SPI_CONSTANTS)

	Spi_getsnaptodefbutton: INTEGER_32 = 95
			-- Declared in Windows as SPI_GETSNAPTODEFBUTTON
			-- (from WEL_SPI_CONSTANTS)

	Spi_getsoundsentry: INTEGER_32 = 64
			-- Declared in Windows as SPI_GETSOUNDSENTRY
			-- (from WEL_SPI_CONSTANTS)

	Spi_getstickykeys: INTEGER_32 = 58
			-- Declared in Windows as SPI_GETSTICKYKEYS
			-- (from WEL_SPI_CONSTANTS)

	Spi_gettogglekeys: INTEGER_32 = 52
			-- Declared in Windows as SPI_GETTOGGLEKEYS
			-- (from WEL_SPI_CONSTANTS)

	Spi_getwindowsextension: INTEGER_32 = 92
			-- Declared in Windows as SPI_GETWINDOWSEXTENSION
			-- (from WEL_SPI_CONSTANTS)

	Spi_getworkarea: INTEGER_32 = 48
			-- Declared in Windows as SPI_GETWORKAREA
			-- (from WEL_SPI_CONSTANTS)

	Spi_iconhorizontalspacing: INTEGER_32 = 13
			-- Declared in Windows as SPI_ICONHORIZONTALSPACING
			-- (from WEL_SPI_CONSTANTS)

	Spi_iconverticalspacing: INTEGER_32 = 24
			-- Declared in Windows as SPI_ICONVERTICALSPACING
			-- (from WEL_SPI_CONSTANTS)

	Spi_langdriver: INTEGER_32 = 12
			-- Declared in Windows as SPI_LANGDRIVER
			-- (from WEL_SPI_CONSTANTS)

	Spi_screensaverrunning: INTEGER_32 = 97
			-- Declared in Windows as SPI_SCREENSAVERRUNNING
			-- (from WEL_SPI_CONSTANTS)

	Spi_setaccesstimeout: INTEGER_32 = 61
			-- Declared in Windows as SPI_SETACCESSTIMEOUT
			-- (from WEL_SPI_CONSTANTS)

	Spi_setanimation: INTEGER_32 = 73
			-- Declared in Windows as SPI_SETANIMATION
			-- (from WEL_SPI_CONSTANTS)

	Spi_setbeep: INTEGER_32 = 2
			-- Declared in Windows as SPI_SETBEEP
			-- (from WEL_SPI_CONSTANTS)

	Spi_setborder: INTEGER_32 = 6
			-- Declared in Windows as SPI_SETBORDER
			-- (from WEL_SPI_CONSTANTS)

	Spi_setcursors: INTEGER_32 = 87
			-- Declared in Windows as SPI_SETCURSORS
			-- (from WEL_SPI_CONSTANTS)

	Spi_setdefaultinputlang: INTEGER_32 = 90
			-- Declared in Windows as SPI_SETDEFAULTINPUTLANG
			-- (from WEL_SPI_CONSTANTS)

	Spi_setdeskpattern: INTEGER_32 = 21
			-- Declared in Windows as SPI_SETDESKPATTERN
			-- (from WEL_SPI_CONSTANTS)

	Spi_setdeskwallpaper: INTEGER_32 = 20
			-- Declared in Windows as SPI_SETDESKWALLPAPER
			-- (from WEL_SPI_CONSTANTS)

	Spi_setdoubleclicktime: INTEGER_32 = 32
			-- Declared in Windows as SPI_SETDOUBLECLICKTIME
			-- (from WEL_SPI_CONSTANTS)

	Spi_setdoubleclkheight: INTEGER_32 = 30
			-- Declared in Windows as SPI_SETDOUBLECLKHEIGHT
			-- (from WEL_SPI_CONSTANTS)

	Spi_setdoubleclkwidth: INTEGER_32 = 29
			-- Declared in Windows as SPI_SETDOUBLECLKWIDTH
			-- (from WEL_SPI_CONSTANTS)

	Spi_setdragfullwindows: INTEGER_32 = 37
			-- Declared in Windows as SPI_SETDRAGFULLWINDOWS
			-- (from WEL_SPI_CONSTANTS)

	Spi_setdragheight: INTEGER_32 = 77
			-- Declared in Windows as SPI_SETDRAGHEIGHT
			-- (from WEL_SPI_CONSTANTS)

	Spi_setdragwidth: INTEGER_32 = 76
			-- Declared in Windows as SPI_SETDRAGWIDTH
			-- (from WEL_SPI_CONSTANTS)

	Spi_setfasttaskswitch: INTEGER_32 = 36
			-- Declared in Windows as SPI_SETFASTTASKSWITCH
			-- (from WEL_SPI_CONSTANTS)

	Spi_setfilterkeys: INTEGER_32 = 51
			-- Declared in Windows as SPI_SETFILTERKEYS
			-- (from WEL_SPI_CONSTANTS)

	Spi_setfontsmoothing: INTEGER_32 = 75
			-- Declared in Windows as SPI_SETFONTSMOOTHING
			-- (from WEL_SPI_CONSTANTS)

	Spi_setgridgranularity: INTEGER_32 = 19
			-- Declared in Windows as SPI_SETGRIDGRANULARITY
			-- (from WEL_SPI_CONSTANTS)

	Spi_sethandheld: INTEGER_32 = 78
			-- Declared in Windows as SPI_SETHANDHELD
			-- (from WEL_SPI_CONSTANTS)

	Spi_sethighcontrast: INTEGER_32 = 67
			-- Declared in Windows as SPI_SETHIGHCONTRAST
			-- (from WEL_SPI_CONSTANTS)

	Spi_seticonmetrics: INTEGER_32 = 46
			-- Declared in Windows as SPI_SETICONMETRICS
			-- (from WEL_SPI_CONSTANTS)

	Spi_seticons: INTEGER_32 = 88
			-- Declared in Windows as SPI_SETICONS
			-- (from WEL_SPI_CONSTANTS)

	Spi_seticontitlelogfont: INTEGER_32 = 34
			-- Declared in Windows as SPI_SETICONTITLELOGFONT
			-- (from WEL_SPI_CONSTANTS)

	Spi_seticontitlewrap: INTEGER_32 = 26
			-- Declared in Windows as SPI_SETICONTITLEWRAP
			-- (from WEL_SPI_CONSTANTS)

	Spi_setkeyboarddelay: INTEGER_32 = 23
			-- Declared in Windows as SPI_SETKEYBOARDDELAY
			-- (from WEL_SPI_CONSTANTS)

	Spi_setkeyboardpref: INTEGER_32 = 69
			-- Declared in Windows as SPI_SETKEYBOARDPREF
			-- (from WEL_SPI_CONSTANTS)

	Spi_setkeyboardspeed: INTEGER_32 = 11
			-- Declared in Windows as SPI_SETKEYBOARDSPEED
			-- (from WEL_SPI_CONSTANTS)

	Spi_setlangtoggle: INTEGER_32 = 91
			-- Declared in Windows as SPI_SETLANGTOGGLE
			-- (from WEL_SPI_CONSTANTS)

	Spi_setlowpoweractive: INTEGER_32 = 85
			-- Declared in Windows as SPI_SETLOWPOWERACTIVE
			-- (from WEL_SPI_CONSTANTS)

	Spi_setlowpowertimeout: INTEGER_32 = 81
			-- Declared in Windows as SPI_SETLOWPOWERTIMEOUT
			-- (from WEL_SPI_CONSTANTS)

	Spi_setmenudropalignment: INTEGER_32 = 28
			-- Declared in Windows as SPI_SETMENUDROPALIGNMENT
			-- (from WEL_SPI_CONSTANTS)

	Spi_setminimizedmetrics: INTEGER_32 = 44
			-- Declared in Windows as SPI_SETMINIMIZEDMETRICS
			-- (from WEL_SPI_CONSTANTS)

	Spi_setmouse: INTEGER_32 = 4
			-- Declared in Windows as SPI_SETMOUSE
			-- (from WEL_SPI_CONSTANTS)

	Spi_setmousebuttonswap: INTEGER_32 = 33
			-- Declared in Windows as SPI_SETMOUSEBUTTONSWAP
			-- (from WEL_SPI_CONSTANTS)

	Spi_setmousekeys: INTEGER_32 = 55
			-- Declared in Windows as SPI_SETMOUSEKEYS
			-- (from WEL_SPI_CONSTANTS)

	Spi_setmousetrails: INTEGER_32 = 93
			-- Declared in Windows as SPI_SETMOUSETRAILS
			-- (from WEL_SPI_CONSTANTS)

	Spi_setnonclientmetrics: INTEGER_32 = 42
			-- Declared in Windows as SPI_SETNONCLIENTMETRICS
			-- (from WEL_SPI_CONSTANTS)

	Spi_setpenwindows: INTEGER_32 = 49
			-- Declared in Windows as SPI_SETPENWINDOWS
			-- (from WEL_SPI_CONSTANTS)

	Spi_setpoweroffactive: INTEGER_32 = 86
			-- Declared in Windows as SPI_SETPOWEROFFACTIVE
			-- (from WEL_SPI_CONSTANTS)

	Spi_setpowerofftimeout: INTEGER_32 = 82
			-- Declared in Windows as SPI_SETPOWEROFFTIMEOUT
			-- (from WEL_SPI_CONSTANTS)

	Spi_setscreenreader: INTEGER_32 = 71
			-- Declared in Windows as SPI_SETSCREENREADER
			-- (from WEL_SPI_CONSTANTS)

	Spi_setscreensaveactive: INTEGER_32 = 17
			-- Declared in Windows as SPI_SETSCREENSAVEACTIVE
			-- (from WEL_SPI_CONSTANTS)

	Spi_setscreensaverrunning: INTEGER_32 = 97
			-- Declared in Windows as SPI_SETSCREENSAVERRUNNING
			-- (from WEL_SPI_CONSTANTS)

	Spi_setscreensavetimeout: INTEGER_32 = 15
			-- Declared in Windows as SPI_SETSCREENSAVETIMEOUT
			-- (from WEL_SPI_CONSTANTS)

	Spi_setserialkeys: INTEGER_32 = 63
			-- Declared in Windows as SPI_SETSERIALKEYS
			-- (from WEL_SPI_CONSTANTS)

	Spi_setshowsounds: INTEGER_32 = 57
			-- Declared in Windows as SPI_SETSHOWSOUNDS
			-- (from WEL_SPI_CONSTANTS)

	Spi_setsnaptodefbutton: INTEGER_32 = 96
			-- Declared in Windows as SPI_SETSNAPTODEFBUTTON
			-- (from WEL_SPI_CONSTANTS)

	Spi_setsoundsentry: INTEGER_32 = 65
			-- Declared in Windows as SPI_SETSOUNDSENTRY
			-- (from WEL_SPI_CONSTANTS)

	Spi_setstickykeys: INTEGER_32 = 59
			-- Declared in Windows as SPI_SETSTICKYKEYS
			-- (from WEL_SPI_CONSTANTS)

	Spi_settogglekeys: INTEGER_32 = 53
			-- Declared in Windows as SPI_SETTOGGLEKEYS
			-- (from WEL_SPI_CONSTANTS)

	Spi_setworkarea: INTEGER_32 = 47
			-- Declared in Windows as SPI_SETWORKAREA
			-- (from WEL_SPI_CONSTANTS)
	
feature -- SystemParameter (Windows 98, Windows 2000 and above)

	Spi_getactivewindowtracking: INTEGER_32 = 4096
			-- Declared in Windows as SPI_GETACTIVEWINDOWTRACKING
			-- (from WEL_SPI_CONSTANTS)

	Spi_getactivewndtrktimeout: INTEGER_32 = 8194
			-- Declared in Windows as SPI_GETACTIVEWNDTRKTIMEOUT
			-- (from WEL_SPI_CONSTANTS)

	Spi_getactivewndtrkzorder: INTEGER_32 = 4108
			-- Declared in Windows as SPI_GETACTIVEWNDTRKZORDER
			-- (from WEL_SPI_CONSTANTS)

	Spi_getcaretwidth: INTEGER_32 = 8198
			-- Declared in Windows as SPI_GETCARETWIDTH
			-- (from WEL_SPI_CONSTANTS)

	Spi_getcomboboxanimation: INTEGER_32 = 4100
			-- Declared in Windows as SPI_GETCOMBOBOXANIMATION
			-- (from WEL_SPI_CONSTANTS)

	Spi_getcursorshadow: INTEGER_32 = 4122
			-- Declared in Windows as SPI_GETCURSORSHADOW
			-- (from WEL_SPI_CONSTANTS)

	Spi_getdeskwallpaper: INTEGER_32 = 115
			-- Declared in Windows as SPI_GETDESKWALLPAPER
			-- (from WEL_SPI_CONSTANTS)

	Spi_getforegroundflashcount: INTEGER_32 = 8196
			-- Declared in Windows as SPI_GETFOREGROUNDFLASHCOUNT
			-- (from WEL_SPI_CONSTANTS)

	Spi_getforegroundlocktimeout: INTEGER_32 = 8192
			-- Declared in Windows as SPI_GETFOREGROUNDLOCKTIMEOUT
			-- (from WEL_SPI_CONSTANTS)

	Spi_getgradientcaptions: INTEGER_32 = 4104
			-- Declared in Windows as SPI_GETGRADIENTCAPTIONS
			-- (from WEL_SPI_CONSTANTS)

	Spi_gethottracking: INTEGER_32 = 4110
			-- Declared in Windows as SPI_GETHOTTRACKING
			-- (from WEL_SPI_CONSTANTS)

	Spi_getkeyboardcues: INTEGER_32 = 4106
			-- Declared in Windows as SPI_GETKEYBOARDCUES
			-- (from WEL_SPI_CONSTANTS)

	Spi_getlistboxsmoothscrolling: INTEGER_32 = 4102
			-- Declared in Windows as SPI_GETLISTBOXSMOOTHSCROLLING
			-- (from WEL_SPI_CONSTANTS)

	Spi_getmenuanimation: INTEGER_32 = 4098
			-- Declared in Windows as SPI_GETMENUANIMATION
			-- (from WEL_SPI_CONSTANTS)

	Spi_getmenufade: INTEGER_32 = 4114
			-- Declared in Windows as SPI_GETMENUFADE
			-- (from WEL_SPI_CONSTANTS)

	Spi_getmenuunderlines: INTEGER_32 = 4106
			-- Declared in Windows as SPI_GETMENUUNDERLINES
			-- (from WEL_SPI_CONSTANTS)

	Spi_getmousespeed: INTEGER_32 = 112
			-- Declared in Windows as SPI_GETMOUSESPEED
			-- (from WEL_SPI_CONSTANTS)

	Spi_getscreensaverrunning: INTEGER_32 = 114
			-- Declared in Windows as SPI_GETSCREENSAVERRUNNING
			-- (from WEL_SPI_CONSTANTS)

	Spi_getselectionfade: INTEGER_32 = 4116
			-- Declared in Windows as SPI_GETSELECTIONFADE
			-- (from WEL_SPI_CONSTANTS)

	Spi_gettooltipanimation: INTEGER_32 = 4118
			-- Declared in Windows as SPI_GETTOOLTIPANIMATION
			-- (from WEL_SPI_CONSTANTS)

	Spi_gettooltipfade: INTEGER_32 = 4120
			-- Declared in Windows as SPI_GETTOOLTIPFADE
			-- (from WEL_SPI_CONSTANTS)

	Spi_getuieffects: INTEGER_32 = 4158
			-- Declared in Windows as SPI_GETUIEFFECTS
			-- (from WEL_SPI_CONSTANTS)

	Spi_setactivewindowtracking: INTEGER_32 = 4097
			-- Declared in Windows as SPI_SETACTIVEWINDOWTRACKING
			-- (from WEL_SPI_CONSTANTS)

	Spi_setactivewndtrktimeout: INTEGER_32 = 8195
			-- Declared in Windows as SPI_SETACTIVEWNDTRKTIMEOUT
			-- (from WEL_SPI_CONSTANTS)

	Spi_setactivewndtrkzorder: INTEGER_32 = 4109
			-- Declared in Windows as SPI_SETACTIVEWNDTRKZORDER
			-- (from WEL_SPI_CONSTANTS)

	Spi_setcaretwidth: INTEGER_32 = 8199
			-- Declared in Windows as SPI_SETCARETWIDTH
			-- (from WEL_SPI_CONSTANTS)

	Spi_setcomboboxanimation: INTEGER_32 = 4101
			-- Declared in Windows as SPI_SETCOMBOBOXANIMATION
			-- (from WEL_SPI_CONSTANTS)

	Spi_setcursorshadow: INTEGER_32 = 4123
			-- Declared in Windows as SPI_SETCURSORSHADOW
			-- (from WEL_SPI_CONSTANTS)

	Spi_setforegroundflashcount: INTEGER_32 = 8197
			-- Declared in Windows as SPI_SETFOREGROUNDFLASHCOUNT
			-- (from WEL_SPI_CONSTANTS)

	Spi_setforegroundlocktimeout: INTEGER_32 = 8193
			-- Declared in Windows as SPI_SETFOREGROUNDLOCKTIMEOUT
			-- (from WEL_SPI_CONSTANTS)

	Spi_setgradientcaptions: INTEGER_32 = 4105
			-- Declared in Windows as SPI_SETGRADIENTCAPTIONS
			-- (from WEL_SPI_CONSTANTS)

	Spi_sethottracking: INTEGER_32 = 4111
			-- Declared in Windows as SPI_SETHOTTRACKING
			-- (from WEL_SPI_CONSTANTS)

	Spi_setkeyboardcues: INTEGER_32 = 4107
			-- Declared in Windows as SPI_SETKEYBOARDCUES
			-- (from WEL_SPI_CONSTANTS)

	Spi_setlistboxsmoothscrolling: INTEGER_32 = 4103
			-- Declared in Windows as SPI_SETLISTBOXSMOOTHSCROLLING
			-- (from WEL_SPI_CONSTANTS)

	Spi_setmenuanimation: INTEGER_32 = 4099
			-- Declared in Windows as SPI_SETMENUANIMATION
			-- (from WEL_SPI_CONSTANTS)

	Spi_setmenufade: INTEGER_32 = 4115
			-- Declared in Windows as SPI_SETMENUFADE
			-- (from WEL_SPI_CONSTANTS)

	Spi_setmenuunderlines: INTEGER_32 = 4107
			-- Declared in Windows as SPI_SETMENUUNDERLINES
			-- (from WEL_SPI_CONSTANTS)

	Spi_setmousespeed: INTEGER_32 = 113
			-- Declared in Windows as SPI_SETMOUSESPEED
			-- (from WEL_SPI_CONSTANTS)

	Spi_setselectionfade: INTEGER_32 = 4117
			-- Declared in Windows as SPI_SETSELECTIONFADE
			-- (from WEL_SPI_CONSTANTS)

	Spi_settooltipanimation: INTEGER_32 = 4119
			-- Declared in Windows as SPI_SETTOOLTIPANIMATION
			-- (from WEL_SPI_CONSTANTS)

	Spi_settooltipfade: INTEGER_32 = 4121
			-- Declared in Windows as SPI_SETTOOLTIPFADE
			-- (from WEL_SPI_CONSTANTS)

	Spi_setuieffects: INTEGER_32 = 4159
			-- Declared in Windows as SPI_SETUIEFFECTS
			-- (from WEL_SPI_CONSTANTS)
	
feature -- SystemParameter (Windows NT 4.0, Windows 98, Windows 2000 and above)

	Spi_getmenushowdelay: INTEGER_32 = 106
			-- Declared in Windows as SPI_GETMENUSHOWDELAY
			-- (from WEL_SPI_CONSTANTS)

	Spi_getmousehoverheight: INTEGER_32 = 100
			-- Declared in Windows as SPI_GETMOUSEHOVERHEIGHT
			-- (from WEL_SPI_CONSTANTS)

	Spi_getmousehovertime: INTEGER_32 = 102
			-- Declared in Windows as SPI_GETMOUSEHOVERTIME
			-- (from WEL_SPI_CONSTANTS)

	Spi_getmousehoverwidth: INTEGER_32 = 98
			-- Declared in Windows as SPI_GETMOUSEHOVERWIDTH
			-- (from WEL_SPI_CONSTANTS)

	Spi_getshowimeui: INTEGER_32 = 110
			-- Declared in Windows as SPI_GETSHOWIMEUI
			-- (from WEL_SPI_CONSTANTS)

	Spi_getwheelscrolllines: INTEGER_32 = 104
			-- Declared in Windows as SPI_GETWHEELSCROLLLINES
			-- (from WEL_SPI_CONSTANTS)

	Spi_setmenushowdelay: INTEGER_32 = 107
			-- Declared in Windows as SPI_SETMENUSHOWDELAY
			-- (from WEL_SPI_CONSTANTS)

	Spi_setmousehoverheight: INTEGER_32 = 101
			-- Declared in Windows as SPI_SETMOUSEHOVERHEIGHT
			-- (from WEL_SPI_CONSTANTS)

	Spi_setmousehovertime: INTEGER_32 = 103
			-- Declared in Windows as SPI_SETMOUSEHOVERTIME
			-- (from WEL_SPI_CONSTANTS)

	Spi_setmousehoverwidth: INTEGER_32 = 99
			-- Declared in Windows as SPI_SETMOUSEHOVERWIDTH
			-- (from WEL_SPI_CONSTANTS)

	Spi_setshowimeui: INTEGER_32 = 111
			-- Declared in Windows as SPI_SETSHOWIMEUI
			-- (from WEL_SPI_CONSTANTS)

	Spi_setwheelscrolllines: INTEGER_32 = 105
			-- Declared in Windows as SPI_SETWHEELSCROLLLINES
			-- (from WEL_SPI_CONSTANTS)
	
feature -- SystemParameter (Windows XP and above)

	Spi_getdropshadow: INTEGER_32 = 4132
			-- Declared in Windows as SPI_GETDROPSHADOW
			-- (from WEL_SPI_CONSTANTS)

	Spi_getflatmenu: INTEGER_32 = 4130
			-- Declared in Windows as SPI_GETFLATMENU
			-- (from WEL_SPI_CONSTANTS)

	Spi_getfocusborderheight: INTEGER_32 = 8208
			-- Declared in Windows as SPI_GETFOCUSBORDERHEIGHT
			-- (from WEL_SPI_CONSTANTS)

	Spi_getfocusborderwidth: INTEGER_32 = 8206
			-- Declared in Windows as SPI_GETFOCUSBORDERWIDTH
			-- (from WEL_SPI_CONSTANTS)

	Spi_getfontsmoothingcontrast: INTEGER_32 = 8204
			-- Declared in Windows as SPI_GETFONTSMOOTHINGCONTRAST
			-- (from WEL_SPI_CONSTANTS)

	Spi_getfontsmoothingtype: INTEGER_32 = 8202
			-- Declared in Windows as SPI_GETFONTSMOOTHINGTYPE
			-- (from WEL_SPI_CONSTANTS)

	Spi_getmouseclicklock: INTEGER_32 = 4126
			-- Declared in Windows as SPI_GETMOUSECLICKLOCK
			-- (from WEL_SPI_CONSTANTS)

	Spi_getmouseclicklocktime: INTEGER_32 = 8200
			-- Declared in Windows as SPI_GETMOUSECLICKLOCKTIME
			-- (from WEL_SPI_CONSTANTS)

	Spi_getmousesonar: INTEGER_32 = 4124
			-- Declared in Windows as SPI_GETMOUSESONAR
			-- (from WEL_SPI_CONSTANTS)

	Spi_getmousevanish: INTEGER_32 = 4128
			-- Declared in Windows as SPI_GETMOUSEVANISH
			-- (from WEL_SPI_CONSTANTS)

	Spi_setdropshadow: INTEGER_32 = 4133
			-- Declared in Windows as SPI_SETDROPSHADOW
			-- (from WEL_SPI_CONSTANTS)

	Spi_setflatmenu: INTEGER_32 = 4131
			-- Declared in Windows as SPI_SETFLATMENU
			-- (from WEL_SPI_CONSTANTS)

	Spi_setfocusborderheight: INTEGER_32 = 8209
			-- Declared in Windows as SPI_SETFOCUSBORDERHEIGHT
			-- (from WEL_SPI_CONSTANTS)

	Spi_setfocusborderwidth: INTEGER_32 = 8207
			-- Declared in Windows as SPI_SETFOCUSBORDERWIDTH
			-- (from WEL_SPI_CONSTANTS)

	Spi_setfontsmoothingcontrast: INTEGER_32 = 8205
			-- Declared in Windows as SPI_SETFONTSMOOTHINGCONTRAST
			-- (from WEL_SPI_CONSTANTS)

	Spi_setfontsmoothingtype: INTEGER_32 = 8203
			-- Declared in Windows as SPI_SETFONTSMOOTHINGTYPE
			-- (from WEL_SPI_CONSTANTS)

	Spi_setmouseclicklock: INTEGER_32 = 4127
			-- Declared in Windows as SPI_SETMOUSECLICKLOCK
			-- (from WEL_SPI_CONSTANTS)

	Spi_setmouseclicklocktime: INTEGER_32 = 8201
			-- Declared in Windows as SPI_SETMOUSECLICKLOCKTIME
			-- (from WEL_SPI_CONSTANTS)

	Spi_setmousesonar: INTEGER_32 = 4125
			-- Declared in Windows as SPI_SETMOUSESONAR
			-- (from WEL_SPI_CONSTANTS)

	Spi_setmousevanish: INTEGER_32 = 4129
			-- Declared in Windows as SPI_SETMOUSEVANISH
			-- (from WEL_SPI_CONSTANTS)
	
feature -- SystemParameterInfo Flags (all Windows)

	Spif_sendchange: INTEGER_32 = 2
			-- Declared in Windows as SPIF_SENDCHANGE
			-- (from WEL_SPI_CONSTANTS)

	Spif_sendwininichange: INTEGER_32 = 2
			-- Declared in Windows as SPIF_SENDWININICHANGE
			-- (from WEL_SPI_CONSTANTS)

	Spif_updateinifile: INTEGER_32 = 1
			-- Declared in Windows as SPIF_UPDATEINIFILE
			-- (from WEL_SPI_CONSTANTS)
	
feature -- Version Constants

	Version_400: INTEGER_32 = 262144
			-- version_400 <=> Microsoft Windows 95/Windows NT 4.0
			-- (from WEL_WINDOWS_VERSION)

	Version_470: INTEGER_32 = 262214
			-- version_470 <=> Microsoft Internet Explorer 3.x
			-- (from WEL_WINDOWS_VERSION)

	Version_471: INTEGER_32 = 262215
			-- version_471 <=> Microsoft Internet Explorer 4.0
			-- (from WEL_WINDOWS_VERSION)

	Version_472: INTEGER_32 = 262216
			-- version_472 <=> Microsoft Internet Explorer 4.01 & Windows 98
			-- (from WEL_WINDOWS_VERSION)

	Version_500: INTEGER_32 = 327680
			-- version_500 (Shlwapi.dll) <=> Microsoft Internet Explorer 5
			-- version_500 (Shell32.dll) <=> Microsoft Windows 2000
			-- (from WEL_WINDOWS_VERSION)

	Version_580: INTEGER_32 = 327760
			-- version_580 (Comctl32.dll) <=> Microsoft Internet Explorer 5
			-- (from WEL_WINDOWS_VERSION)

	Version_581: INTEGER_32 = 327761
			-- version_581 (Comctl32.dll)<=> Microsoft Windows 2000
			-- (from WEL_WINDOWS_VERSION)

	Version_600: INTEGER_32 = 393216
			-- version_600 (Comctl32.dll)<=> Microsoft Windows XP
			-- (from WEL_WINDOWS_VERSION)
	
feature -- Windows Versions (output)

	version_number_string: STRING_8
			-- String representing the version number using the following format
			--   <major_version>.<minor_version>.<build_number> for Windows NT, 2000, XP
			--   <major_version>.<minor_version> for Windows 95, 98, Me
			-- (from WEL_WINDOWS_VERSION)
	
invariant
		-- from EV_ANY_I
	interface_coupled: is_usable implies interface /= Void and then attached_interface.implementation = Current
	base_make_called: is_usable implies base_make_called

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

note
	copyright: "Copyright (c) 1984-2017, Eiffel Software and others"
	license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
	source: "[
		Eiffel Software
		5949 Hollister Ave., Goleta, CA 93117 USA
		Telephone 805-685-1006, Fax 805-685-6869
		Website http://www.eiffel.com
		Customer support http://support.eiffel.com
	]"

end -- class EV_ENVIRONMENT_IMP


Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

-- Generated by Eiffel Studio --
For more details: eiffel.org