+
Point of view
All features
class AGENT_POOL
- current_is_not_an_expanded_type
- is_real_singleton
agent_creation_collected_flag:
BOOLEAN
writable attribute
require
- agent_creation.resolve_in(type) = agent_type
require
- launcher_type.canonical_type_mark.is_agent
ensure
c_define_agent_creation_for (type:
TYPE)
effective procedure
require
- not cpp.pending_c_function
jvm_define_deferred_methods
effective procedure
require
- agent_result = launcher_type.agent_result
notify_assignment_handler_with (agent_type:
TYPE, launcher_type:
TYPE)
effective procedure
require
- agent_type.is_agent
- launcher_type.is_agent
- agent_type.insert_inherit_test(launcher_type) /= unrelated_code
signature_add_last (signature:
STRING, type:
TYPE)
effective procedure
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
ensure
-
assertion_check_only: Result
current_is_not_an_expanded_type:
BOOLEAN
effective function