+
Point of view
All features
deferred class INTERNALS_HANDLER
Summary
All classes that use INTERNALS must be descendants of INTERNALS_HANDLER.
Direct parents
Insert list: ANY
Known children
Insert list: REPOSITORY_IMPL, REPOSITORY_LAYOUT, REPOSITORY_OUTPUT, REPOSITORY_TRANSIENT, REPOSITORY_TRANSIENT_OBJECT
Overview
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