class INTERNALS_HANDLER

All features

WARNING: This interface is tentative and may change to a large extent from SmartEiffel 2.2 to SmartEiffel 2.3.

All classes that use INTERNALS must be descendants of INTERNALS_HANDLER.

Direct parents

non-conformant parents

ANY

Known children

non-conformant children

REPOSITORY, XML_REPOSITORY_LAYOUT

Summary

exported features

Details

valid_generating_type_for_internals (type: STRING): BOOLEAN

require

  • type /= Void

ensure

  • Result implies not type.has_prefix(once "NATIVE_ARRAY")

internals_from_generating_type (type: STRING): INTERNALS

require

  • valid_generating_type_for_internals(type)

ensure

  • Result /= Void
  • Result.object_can_be_modified

valid_generating_type_for_native_array_internals (type: STRING): BOOLEAN

require

  • type /= Void

ensure

  • Result implies type.has_prefix(once "NATIVE_ARRAY")

native_array_internals_from_generating_type (type: STRING, capacity: INTEGER): INTERNALS

require

  • valid_generating_type_for_native_array_internals(type)

ensure

  • Result /= Void
  • Result.object_can_be_modified