indexing
description: "Registry manager"
legal: "See notice at end of class."
status: "See notice at end of class."
date: "$Date: 2006-04-17 11:38:39 -0700 (Mon, 17 Apr 2006) $"
revision: "$Revision: 58231 $"
class interface
WEL_REGISTRY
create
default_create
ANY
feature
enumerate_key (key: POINTER; index: INTEGER_32): WEL_REGISTRY_KEY
`index'`key'
`key'`index'
require
key_possible: valid_value_for_hkey (key)
index_possible: index <= number_of_subkeys (key)
generating_type: STRING_8
ANY
generator: STRING_8
ANY
frozen hkey_classes_root: POINTER
WEL_HKEY
frozen hkey_current_config: POINTER
WEL_HKEY
frozen hkey_current_user: POINTER
WEL_HKEY
frozen hkey_dyn_data: POINTER
WEL_HKEY
frozen hkey_local_machine: POINTER
WEL_HKEY
frozen hkey_performance_data: POINTER
WEL_HKEY
frozen hkey_users: POINTER
WEL_HKEY
frozen key_all_access: INTEGER_32
WEL_REGISTRY_ACCESS_MODE
frozen key_create_link: INTEGER_32
WEL_REGISTRY_ACCESS_MODE
frozen key_create_sub_key: INTEGER_32
WEL_REGISTRY_ACCESS_MODE
frozen key_enumerate_sub_keys: INTEGER_32
WEL_REGISTRY_ACCESS_MODE
frozen key_execute: INTEGER_32
WEL_REGISTRY_ACCESS_MODE
key_from_remote_host (host_name: STRING_GENERAL; root_key: POINTER): POINTER
require
root_key_possible: root_key = hkey_local_machine or root_key = hkey_users or root_key = hkey_performance_data
host_name_possible: host_name /= Void
frozen key_notify: INTEGER_32
WEL_REGISTRY_ACCESS_MODE
frozen key_query_value: INTEGER_32
WEL_REGISTRY_ACCESS_MODE
frozen key_read: INTEGER_32
WEL_REGISTRY_ACCESS_MODE
frozen key_set_value: INTEGER_32
WEL_REGISTRY_ACCESS_MODE
key_value (key: POINTER; value_name: STRING_GENERAL): WEL_REGISTRY_KEY_VALUE
`value_name'
`key'
require
value_name_possible: value_name /= Void
key_valid: valid_value_for_hkey (key)
frozen key_write: INTEGER_32
WEL_REGISTRY_ACCESS_MODE
feature
frozen deep_equal (some: ANY; other: like arg #1): BOOLEAN
`some'`other'
ANY
ensure ANY
shallow_implies_deep: standard_equal (some, other) implies Result
both_or_none_void: (some = Void) implies (Result = (other = Void))
same_type: (Result and (some /= Void)) implies some.same_type (other)
symmetric: Result implies deep_equal (other, some)
frozen equal (some: ANY; other: like arg #1): BOOLEAN
`some'`other'
ANY
ensure ANY
definition: Result = (some = Void and other = Void) or else ((some /= Void and other /= Void) and then some.is_equal (other))
is_equal (other: like Current): BOOLEAN
`other'
ANY
require ANY
other_not_void: other /= Void
ensure ANY
symmetric: Result implies other.is_equal (Current)
consistent: standard_is_equal (other) implies Result
frozen standard_equal (some: ANY; other: like arg #1): BOOLEAN
`some'`other'
ANY
ensure ANY
definition: Result = (some = Void and other = Void) or else ((some /= Void and other /= Void) and then some.standard_is_equal (other))
frozen standard_is_equal (other: like Current): BOOLEAN
`other'
ANY
require ANY
other_not_void: other /= Void
ensure ANY
same_type: Result implies same_type (other)
symmetric: Result implies other.standard_is_equal (Current)
feature
conforms_to (other: ANY): BOOLEAN
`other'
ANY
require ANY
other_not_void: other /= Void
same_type (other: ANY): BOOLEAN
`other'
ANY
require ANY
other_not_void: other /= Void
ensure ANY
definition: Result = (conforms_to (other) and other.conforms_to (Current))
feature
copy (other: like Current)
`other'
ANY
require ANY
other_not_void: other /= Void
type_identity: same_type (other)
ensure ANY
is_equal: is_equal (other)
frozen deep_copy (other: like Current)
copy`other'deep_twin
ANY
require ANY
other_not_void: other /= Void
ensure ANY
deep_equal: deep_equal (Current, other)
frozen deep_twin: like Current
ANY
ensure ANY
deep_equal: deep_equal (Current, Result)
frozen standard_copy (other: like Current)
`other'
ANY
require ANY
other_not_void: other /= Void
type_identity: same_type (other)
ensure ANY
is_standard_equal: standard_is_equal (other)
frozen standard_twin: like Current
`other'
ANY
ensure ANY
standard_twin_not_void: Result /= Void
equal: standard_equal (Result, Current)
frozen twin: like Current
`Current'
twincopycopy
ANY
ensure ANY
twin_not_void: Result /= Void
is_equal: Result.is_equal (Current)
feature
frozen default: like Current
ANY
frozen default_pointer: POINTER
`POINTER'
`p'default
`p'`POINTER'
ANY
default_rescue
ANY
frozen do_nothing
ANY
feature
create_new_key (key_path: STRING_GENERAL)
require
at_least_one_back_slash: key_path /= Void and then key_path.has_code (('\').natural_32_code)
delete_key_value (key_path, value_name: STRING_GENERAL)
`key_path'`value_name'
require
at_least_one_back_slash: key_path /= Void and then key_path.has_code (('\').natural_32_code)
key_name_possible: value_name /= Void
open_key_value (key_path: STRING_GENERAL; value_name: STRING_GENERAL): WEL_REGISTRY_KEY_VALUE
require
key_name_possible: value_name /= Void
at_least_one_back_slash: key_path /= Void and then key_path.has_code (('\').natural_32_code)
open_key_with_access (key_path: STRING_GENERAL; acc: INTEGER_32): POINTER
require
at_least_one_back_slash: key_path /= Void and then key_path.has_code (('\').natural_32_code)
save_key_value (key_path, value_name: STRING_GENERAL; value: WEL_REGISTRY_KEY_VALUE)
`key_path'`value_name'`value'
require
at_least_one_back_slash: key_path /= Void and then key_path.has_code (('\').natural_32_code)
key_name_possible: value_name /= Void
valid_value: value /= Void
feature
close_key (key: POINTER)
`key'
require
key_possible: valid_value_for_hkey (key)
create_key (parent_key: POINTER; key_name: STRING_GENERAL; sam: INTEGER_32): POINTER
`key_name'`parent_key'`sam'
require
key_name_possible: key_name /= Void and then not key_name.is_empty
parent_key_possible: valid_value_for_hkey (parent_key)
delete_key (parent_key: POINTER; key_name: STRING_GENERAL)
`key_name'`parent_key'
require
key_name_possible: key_name /= Void and then not key_name.is_empty
parent_key_possible: valid_value_for_hkey (parent_key)
enumerate_values (key: POINTER): LINKED_LIST [STRING_32]
enumerate_values_as_string_8 (key: POINTER): LINKED_LIST [STRING_8]
open_key (parent_key: POINTER; key_name: STRING_GENERAL; access_mode: INTEGER_32): POINTER
`key_name'`parent_key'`access_mode'
require
key_name_possible: key_name /= Void and then not key_name.is_empty
parent_key_possible: valid_value_for_hkey (parent_key)
feature
delete_value (parent_key: POINTER; name: STRING_GENERAL)
require
key_possible: valid_value_for_hkey (parent_key)
name_possible: name /= Void
enumerate_value (key: POINTER; index: INTEGER_32): STRING_GENERAL
number_of_subkeys (key: POINTER): INTEGER_32
number_of_values (key: POINTER): INTEGER_32
valid_value_for_hkey (key: POINTER): BOOLEAN
feature
io: STD_FILES
ANY
out: STRING_8
ANYtagged_out
ANY
print (some: ANY)
`some'
ANY
frozen tagged_out: STRING_8
ANYout
ANY
feature
operating_environment: OPERATING_ENVIRONMENT
ANY
feature
set_key_value (key: POINTER; value_name: STRING_GENERAL; value: WEL_REGISTRY_KEY_VALUE)
`key'`value_name'`value'
require
valid_value: value /= Void
valid_value_name: value_name /= Void
key_possible: valid_value_for_hkey (key)
feature
basic_valid_name_for_hkey (name: STRING_GENERAL): BOOLEAN
WEL_HKEY
require WEL_HKEY
name_possible: name /= Void
name_valid: name.is_valid_as_string_8
basic_valid_value_for_hkey (value: POINTER): BOOLEAN
WEL_HKEY
index_value_for_root_keys (name: STRING_GENERAL): POINTER
WEL_HKEY
require WEL_HKEY
name_not_void: name /= Void
name_valid: name.is_valid_as_string_8
valid_key: basic_valid_name_for_hkey (name)
last_call_successful: BOOLEAN
invariant
ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)
indexing
copyright: "Copyright (c) 1984-2006, Eiffel Software and others"
license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
source: "[
Eiffel Software
356 Storke Road, Goleta, CA 93117 USA
Telephone 805-685-1006, Fax 805-685-6869
Website http://www.eiffel.com
Customer support http://support.eiffel.com
]"
end WEL_REGISTRY