+
Point of view
All features
class JVM
require
- not lt.canonical_type_mark.is_kernel_expanded
require
- not lt.canonical_type_mark.is_kernel_expanded
kernel_expanded_convert (source:
TYPE, destination:
TYPE)
frozen
effective procedure
require
- source.can_be_assigned_to(destination)
compute_runtime_directory:
STRING
once function
compute_executable_name:
STRING
once function
require
ensure
- ace.executable_name /= Void
require
- byte.code.in_range(0, 255)
b_put_byte_string (str:
STRING)
effective procedure
require
- ace.executable_name /= Void
assign_target (type:
TYPE)
effective procedure
require
- e.resolve_in(type).live_type.run_time_set.count = 1
require
- not bfw.is_connected
- path /= Void
ensure
incr_inlined_procedure_count
effective procedure
incr_real_procedure_count
effective procedure
incr_inlined_function_count
effective procedure
incr_precursor_routine_count
effective procedure
ensure
- Result.code = code
- Result.valid
require
- rf /= Void
- type /= Void
- t /= Void
require
- rf /= Void
- type /= Void
- args /= Void implies rf.arguments.count = args.count
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