+
Point of view
All features
deferred class INTERNALS_HANDLER
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