+
Point of view
All features
deferred class REPOSITORY_OUTPUT
Summary
Direct parents
Insert list: INTERNALS_HANDLER
Known children
Inherit list: JSON_REPOSITORY_OUTPUT, XML_REPOSITORY_OUTPUT
Overview
Features
{REPOSITORY_IMPL}
{}
is_connected: BOOLEAN
deferred function
start_write
deferred procedure
require
end_write
deferred procedure
require
write_reference (ref: INTEGER_32, name: STRING)
deferred procedure
require
write_transient_reference (ref: STRING, name: STRING)
deferred procedure
require
start_layout (ref: INTEGER_32, type: STRING)
deferred procedure
require
end_layout
deferred procedure
require
write_character_layout_object (internals: INTERNALS, name: STRING)
deferred procedure
require
  • is_connected
  • internals.type_generating_type.is_equal("CHARACTER")
write_boolean_layout_object (internals: INTERNALS, name: STRING)
deferred procedure
require
  • is_connected
  • internals.type_generating_type.is_equal("BOOLEAN")
write_integer_8_layout_object (internals: INTERNALS, name: STRING)
deferred procedure
require
  • is_connected
  • internals.type_generating_type.is_equal("INTEGER_8")
write_integer_16_layout_object (internals: INTERNALS, name: STRING)
deferred procedure
require
  • is_connected
  • internals.type_generating_type.is_equal("INTEGER_16")
write_integer_32_layout_object (internals: INTERNALS, name: STRING)
deferred procedure
require
  • is_connected
  • internals.type_generating_type.is_equal("INTEGER_32")
write_integer_64_layout_object (internals: INTERNALS, name: STRING)
deferred procedure
require
  • is_connected
  • internals.type_generating_type.is_equal("INTEGER_64")
write_integer_layout_object (internals: INTERNALS, name: STRING)
deferred procedure
require
  • is_connected
  • internals.type_generating_type.is_equal("INTEGER")
write_real_32_layout_object (internals: INTERNALS, name: STRING)
deferred procedure
require
  • is_connected
  • internals.type_generating_type.is_equal("REAL_32")
write_real_64_layout_object (internals: INTERNALS, name: STRING)
deferred procedure
require
  • is_connected
  • internals.type_generating_type.is_equal("REAL_64")
write_real_80_layout_object (internals: INTERNALS, name: STRING)
deferred procedure
require
  • is_connected
  • internals.type_generating_type.is_equal("REAL_80")
write_real_128_layout_object (internals: INTERNALS, name: STRING)
deferred procedure
require
  • is_connected
  • internals.type_generating_type.is_equal("REAL_128")
write_real_layout_object (internals: INTERNALS, name: STRING)
deferred procedure
require
  • is_connected
  • internals.type_generating_type.is_equal("REAL")
write_real_expanded_layout_object (internals: INTERNALS, name: STRING)
deferred procedure
require
  • is_connected
  • internals.type_generating_type.is_equal("REAL_EXPANDED")
start_array_layout (array: INTERNALS, name: STRING)
deferred procedure
require
  • is_connected
  • array.type_is_native_array
  • array.type_attribute_count > 0
end_array_layout (array: INTERNALS, name: STRING)
deferred procedure
require
start_embedded_layout (layout: INTERNALS, name: STRING)
deferred procedure
require
  • is_connected
  • layout.type_is_expanded
  • not layout.type_is_native_array
  • layout.type_attribute_count > 0
end_embedded_layout (layout: INTERNALS, name: STRING)
deferred procedure
require
valid_generating_type_for_internals (type: STRING): BOOLEAN
frozen
{}
require
  • type /= Void
ensure
  • Result implies not type.has_prefix("NATIVE_ARRAY")
internals_from_generating_type (type: STRING): INTERNALS
frozen
{}
require ensure
  • Result /= Void
  • Result.object_can_be_modified
valid_generating_type_for_native_array_internals (type: STRING): BOOLEAN
frozen
{}
require
  • type /= Void
ensure
  • Result implies type.has_prefix("NATIVE_ARRAY")
native_array_internals_from_generating_type (type: STRING, capacity: INTEGER_32): INTERNALS
frozen
{}
require ensure
  • Result /= Void
  • Result.object_can_be_modified