+
Point of view
All features
class RUN_FEATURE_7
- type_of_current /= Void
- name /= Void
- base_feature /= Void
ensure
- Result implies result_type = Void
ensure
- Result implies result_type /= Void
require
- cpp.pending_c_function
- type_of_current.live_type.at_run_time
require
ensure
- use_current_state = True_state or else use_current_state = False_state
update_tmp_jvm_descriptor
effective procedure
ensure
-
good_hash_value: Result >= 0
frozen
effective function
frozen
effective function
debug_info_in (buffer:
STRING)
frozen
effective procedure
frozen
effective function
mapping_name_in (buffer:
STRING)
effective procedure
frozen
effective function
default_mapping_procedure
frozen
effective procedure
frozen
effective procedure
frozen
effective procedure
frozen
effective function
require
- cpp.pending_c_function
- ace.no_check
ensure
require
- cpp.pending_c_function
- ace.no_check
ensure
frozen
effective function
frozen
effective function
frozen
effective procedure
address_of_wrapper_name_in (str:
STRING)
effective procedure
require
- not cpp.pending_c_function
address_of_c_mapping_wrapper
effective procedure
frozen
effective procedure
routine_update_tmp_jvm_descriptor
effective procedure
jvm_increment_invariant_flag
effective procedure
jvm_decrement_invariant_flag
effective procedure
require
- jvm.current_frame = Current
require
- jvm.current_frame = Current
frozen
effective procedure
frozen
effective procedure
is_equal (other: RUN_FEATURE_7):
BOOLEAN
deferred function
require
ensure
- Result implies hash_code = other.hash_code
-
commutative: generating_type = other.generating_type implies Result = other.is_equal(Current)
frozen
effective function
frozen
effective function
as_force_to_integer_16:
STRING
constant attribute
as_force_to_integer_32:
STRING
constant attribute
as_force_to_integer_64:
STRING
constant attribute
as_native_array_collector:
STRING
constant attribute
as_native_array_internals:
STRING
constant attribute
as_text_file_read:
STRING
constant attribute
as_text_file_write:
STRING
constant attribute
as_backslash_backslash:
STRING
constant attribute
as_bit_shift_right_unsigned:
STRING
constant attribute
as_sharp_backslash_backslash:
STRING
constant attribute
as_type_can_be_assigned_to_attribute:
STRING
constant attribute
as_type_can_be_assigned_to_item:
STRING
constant attribute
as_type_attribute_count:
STRING
constant attribute
as_type_attribute_generator:
STRING
constant attribute
as_type_attribute_generating_type:
STRING
constant attribute
as_type_attribute_is_expanded:
STRING
constant attribute
as_type_attribute_name:
STRING
constant attribute
as_internals_from_generating_type:
STRING
constant attribute
as_is_basic_expanded_type:
STRING
constant attribute
as_native_array_internals_from_generating_type:
STRING
constant attribute
as_minimum_character_code:
STRING
constant attribute
as_manifest_initialize:
STRING
constant attribute
as_manifest_semicolon_check:
STRING
constant attribute
as_maximum_character_code:
STRING
constant attribute
as_print_run_time_stack:
STRING
constant attribute
as_print_all_run_time_stacks:
STRING
constant attribute
as_set_object_attribute:
STRING
constant attribute
as_type_generating_type:
STRING
constant attribute
as_type_item_generating_type:
STRING
constant attribute
as_type_item_generator:
STRING
constant attribute
as_type_item_is_expanded:
STRING
constant attribute
as_valid_generating_type_for_internals:
STRING
constant attribute
as_valid_generating_type_for_native_array_internals:
STRING
constant attribute
as_native_array_character:
STRING
constant attribute
as_open_argument_indices:
STRING
constant attribute
as_open_argument_index:
STRING
constant attribute
as_open_argument_count:
STRING
constant attribute
fz_assertion_flat_check:
STRING
constant attribute
fz_section_java_java_compiler:
STRING
constant attribute
fz_section_java_classpath:
STRING
constant attribute
fz_conf_invariant_check:
STRING
constant attribute
fz_conf_smarteiffel_options:
STRING
constant attribute
fz_conf_compiler_options:
STRING
constant attribute
fz_conf_linker_options:
STRING
constant attribute
fz_conf_cpp_compiler_type:
STRING
constant attribute
fz_conf_cpp_compiler_path:
STRING
constant attribute
fz_conf_cpp_compiler_options:
STRING
constant attribute
fz_conf_cpp_linker_path:
STRING
constant attribute
fz_conf_cpp_strip_path:
STRING
constant attribute
fz_conf_cpp_linker_options:
STRING
constant attribute
fz_conf_java_jar_binary:
STRING
constant attribute
fz_conf_java_jvm_binary:
STRING
constant attribute
fz_conf_java_java_compiler:
STRING
constant attribute