+
Point of view
All features
class ASSERTION
features
- tag: TAG_NAME
- expression: EXPRESSION
- comment: COMMENT
- start_position: POSITION
- pretty (indent_level: INTEGER_32)
- short (type: TYPE, h01: STRING, r01: STRING, h02: STRING, r02: STRING, h03: STRING, r03: STRING, h04: STRING, r04: STRING, h05: STRING, r05: STRING, h06: STRING, r06: STRING, h07: STRING, r07: STRING, h08: STRING, r08: STRING, h09: STRING, r09: STRING, h10: STRING, r10: STRING, h11: STRING, r11: STRING, h12: STRING, r12: STRING, h13: STRING, r13: STRING)
- use_current (type: TYPE): BOOLEAN
- compile_to_c (type: TYPE)
- is_always_true: BOOLEAN
- safety_check (type: TYPE)
- accept (visitor: ASSERTION_VISITOR)
short (type:
TYPE, h01:
STRING, r01:
STRING, h02:
STRING, r02:
STRING, h03:
STRING, r03:
STRING, h04:
STRING, r04:
STRING, h05:
STRING, r05:
STRING, h06:
STRING, r06:
STRING, h07:
STRING, r07:
STRING, h08:
STRING, r08:
STRING, h09:
STRING, r09:
STRING, h10:
STRING, r10:
STRING, h11:
STRING, r11:
STRING, h12:
STRING, r12:
STRING, h13:
STRING, r13:
STRING)
effective procedure
compile_to_c (type:
TYPE)
effective procedure
safety_check (type:
TYPE)
effective procedure
adapt_for (t:
TYPE): ASSERTION
effective function
specialize_in (type:
TYPE): ASSERTION
effective function
specialize_2 (type:
TYPE): ASSERTION
effective function
specialize_2_check (type:
TYPE)
effective procedure
require
- t /= Void or exp /= Void or c /= Void
ensure
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