+
Point of view
All features
class SETTINGS
- current_is_not_an_expanded_type
- is_real_singleton
is "."
constant attribute
standard_typedefs_class:
STRING
writable attribute
are_standard_typedefs_emitted:
BOOLEAN
writable attribute
set_typedefs (a_typedefs:
STRING)
effective procedure
set_standard_typedefs (a_class_name:
STRING)
effective procedure
unset_use_standard_typedefs
effective procedure
is_equal (other: SETTINGS):
BOOLEAN
effective function
require
ensure
-
commutative: generating_type = other.generating_type implies Result = other.is_equal(Current)
ensure
-
assertion_check_only: Result
current_is_not_an_expanded_type:
BOOLEAN
effective function
{}
require
- path1 /= Void
- path2 /= Void
require
- path1 /= Void
- path2 /= Void
require
- path /= Void
- path.count > 0
require
- path /= Void
- not path.is_empty
require
- old_path /= Void
- new_path /= Void
require
- source_path /= Void
- target_path /= Void
require
- path /= Void
- path.count > 0
require
- path /= Void
- path.count > 0
require
- path /= Void
- path.count > 0
require
- path /= Void
- path.count > 0
connect_to_current_working_directory
effective procedure
require
- not some_path.is_empty
-
common_buffer_protection: last_entry /= some_path
require
- not parent_path.is_empty
- not entry_name.is_empty
-
common_buffer_protection1: last_entry /= parent_path
-
common_buffer_protection2: last_entry /= entry_name
require
- not parent_path.is_empty
- not file_name.is_empty
-
common_buffer_protection1: last_entry /= parent_path
-
common_buffer_protection2: last_entry /= file_name
directory_current_working_directory:
POINTER
{}