+
Point of view
All features
class XML_REPOSITORY_OUTPUT
Summary
top
Direct parents
Inherit list: REPOSITORY_OUTPUT
Class invariant
top
Overview
top
Creation features
{XML_REPOSITORY_IMPL}
Features
{REPOSITORY_IMPL}
{}
{}
is_connected: BOOLEAN
effective function
{REPOSITORY_IMPL}
top
start_write
effective procedure
{REPOSITORY_IMPL}
top
require
  • is_connected
end_write
effective procedure
{REPOSITORY_IMPL}
top
require
  • is_connected
write_reference (ref: INTEGER_32, name: STRING)
effective procedure
{REPOSITORY_IMPL}
top
require
  • is_connected
  • ref > 0
write_transient_reference (ref: STRING, name: STRING)
effective procedure
{REPOSITORY_IMPL}
top
require
  • is_connected
  • not ref.is_empty
start_layout (ref: INTEGER_32, type: STRING)
effective procedure
{REPOSITORY_IMPL}
top
require
  • is_connected
  • ref >= 0
  • not type.is_empty
end_layout
effective procedure
{REPOSITORY_IMPL}
top
require
  • is_connected
write_character_layout_object (internals: INTERNALS, name: STRING)
effective procedure
{REPOSITORY_IMPL}
top
require
  • is_connected
  • internals.type_generating_type.is_equal("CHARACTER")
write_boolean_layout_object (internals: INTERNALS, name: STRING)
effective procedure
{REPOSITORY_IMPL}
top
require
  • is_connected
  • internals.type_generating_type.is_equal("BOOLEAN")
write_integer_8_layout_object (internals: INTERNALS, name: STRING)
effective procedure
{REPOSITORY_IMPL}
top
require
  • is_connected
  • internals.type_generating_type.is_equal("INTEGER_8")
write_integer_16_layout_object (internals: INTERNALS, name: STRING)
effective procedure
{REPOSITORY_IMPL}
top
require
  • is_connected
  • internals.type_generating_type.is_equal("INTEGER_16")
write_integer_32_layout_object (internals: INTERNALS, name: STRING)
effective procedure
{REPOSITORY_IMPL}
top
require
  • is_connected
  • internals.type_generating_type.is_equal("INTEGER_32")
write_integer_64_layout_object (internals: INTERNALS, name: STRING)
effective procedure
{REPOSITORY_IMPL}
top
require
  • is_connected
  • internals.type_generating_type.is_equal("INTEGER_64")
write_integer_layout_object (internals: INTERNALS, name: STRING)
effective procedure
{REPOSITORY_IMPL}
top
require
  • is_connected
  • internals.type_generating_type.is_equal("INTEGER")
write_real_32_layout_object (internals: INTERNALS, name: STRING)
effective procedure
{REPOSITORY_IMPL}
top
require
  • is_connected
  • internals.type_generating_type.is_equal("REAL_32")
write_real_64_layout_object (internals: INTERNALS, name: STRING)
effective procedure
{REPOSITORY_IMPL}
top
require
  • is_connected
  • internals.type_generating_type.is_equal("REAL_64")
write_real_80_layout_object (internals: INTERNALS, name: STRING)
effective procedure
{REPOSITORY_IMPL}
top
require
  • is_connected
  • internals.type_generating_type.is_equal("REAL_80")
write_real_128_layout_object (internals: INTERNALS, name: STRING)
effective procedure
{REPOSITORY_IMPL}
top
require
  • is_connected
  • internals.type_generating_type.is_equal("REAL_128")
write_real_layout_object (internals: INTERNALS, name: STRING)
effective procedure
{REPOSITORY_IMPL}
top
require
  • is_connected
  • internals.type_generating_type.is_equal("REAL")
write_real_expanded_layout_object (internals: INTERNALS, name: STRING)
effective procedure
{REPOSITORY_IMPL}
top
require
  • is_connected
  • internals.type_generating_type.is_equal("REAL_EXPANDED")
start_array_layout (array: INTERNALS, name: STRING)
effective procedure
{REPOSITORY_IMPL}
top
require
  • is_connected
  • array.type_is_native_array
  • array.type_attribute_count > 0
end_array_layout (array: INTERNALS, name: STRING)
effective procedure
{REPOSITORY_IMPL}
top
require
  • is_connected
start_embedded_layout (layout: INTERNALS, name: STRING)
effective procedure
{REPOSITORY_IMPL}
top
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)
effective procedure
{REPOSITORY_IMPL}
top
require
  • is_connected
out_stream: OUTPUT_STREAM
writable attribute
{}
top
version: STRING
writable attribute
{}
top
make (a_out_stream: OUTPUT_STREAM, a_version: STRING)
effective procedure
{}
top
require
  • a_out_stream /= Void
  • a_version /= Void
ensure
valid_generating_type_for_internals (type: STRING): BOOLEAN
frozen
{}
top
require
  • type /= Void
ensure
  • Result implies not type.has_prefix("NATIVE_ARRAY")
internals_from_generating_type (type: STRING): INTERNALS
frozen
{}
top
require ensure
  • Result /= Void
  • Result.object_can_be_modified
valid_generating_type_for_native_array_internals (type: STRING): BOOLEAN
frozen
{}
top
require
  • type /= Void
ensure
  • Result implies type.has_prefix("NATIVE_ARRAY")
native_array_internals_from_generating_type (type: STRING, capacity: INTEGER_32): INTERNALS
frozen
{}
top
require ensure
  • Result /= Void
  • Result.object_can_be_modified