+
Point of view
All features
deferred class REPOSITORY_OUTPUT
Features
- is_connected: BOOLEAN
- start_write
- end_write
- write_reference (ref: INTEGER_32, name: STRING)
- write_transient_reference (ref: STRING, name: STRING)
- start_layout (ref: INTEGER_32, type: STRING)
- end_layout
- write_character_layout_object (internals: INTERNALS, name: STRING)
- write_boolean_layout_object (internals: INTERNALS, name: STRING)
- write_integer_8_layout_object (internals: INTERNALS, name: STRING)
- write_integer_16_layout_object (internals: INTERNALS, name: STRING)
- write_integer_32_layout_object (internals: INTERNALS, name: STRING)
- write_integer_64_layout_object (internals: INTERNALS, name: STRING)
- write_integer_layout_object (internals: INTERNALS, name: STRING)
- write_real_32_layout_object (internals: INTERNALS, name: STRING)
- write_real_64_layout_object (internals: INTERNALS, name: STRING)
- write_real_80_layout_object (internals: INTERNALS, name: STRING)
- write_real_128_layout_object (internals: INTERNALS, name: STRING)
- write_real_layout_object (internals: INTERNALS, name: STRING)
- write_real_expanded_layout_object (internals: INTERNALS, name: STRING)
- start_array_layout (array: INTERNALS, name: STRING)
- end_array_layout (array: INTERNALS, name: STRING)
- start_embedded_layout (layout: INTERNALS, name: STRING)
- end_embedded_layout (layout: INTERNALS, name: STRING)
{}
require
- is_connected
- internals.type_generating_type.is_equal("CHARACTER")
require
- is_connected
- internals.type_generating_type.is_equal("BOOLEAN")
require
- is_connected
- internals.type_generating_type.is_equal("INTEGER_8")
require
- is_connected
- internals.type_generating_type.is_equal("INTEGER_16")
require
- is_connected
- internals.type_generating_type.is_equal("INTEGER_32")
require
- is_connected
- internals.type_generating_type.is_equal("INTEGER_64")
require
- is_connected
- internals.type_generating_type.is_equal("INTEGER")
require
- is_connected
- internals.type_generating_type.is_equal("REAL_32")
require
- is_connected
- internals.type_generating_type.is_equal("REAL_64")
require
- is_connected
- internals.type_generating_type.is_equal("REAL_80")
require
- is_connected
- internals.type_generating_type.is_equal("REAL_128")
require
- is_connected
- internals.type_generating_type.is_equal("REAL")
require
- is_connected
- internals.type_generating_type.is_equal("REAL_EXPANDED")
require
- is_connected
- array.type_is_native_array
- array.type_attribute_count > 0
require
- is_connected
- layout.type_is_expanded
- not layout.type_is_native_array
- layout.type_attribute_count > 0
require
ensure
- Result implies not type.has_prefix("NATIVE_ARRAY")
require
ensure
- Result /= Void
- Result.object_can_be_modified
valid_generating_type_for_native_array_internals (type:
STRING):
BOOLEAN
frozen
{}
require
ensure
- Result implies type.has_prefix("NATIVE_ARRAY")
require
ensure
- Result /= Void
- Result.object_can_be_modified