+
Point of view
All features
class STRING_WEAK_ARRAY
ensure
- Result.is_empty
- Result.capacity >= capacity
require
ensure
- Result /= string
- Result.is_equal(string)
ensure
-
meaningful: Result >= 127
ensure
-
meaningful: Result <= 0.0
ensure
-
integer_definition: Result = 32
frozen
effective function
frozen
effective function
frozen
effective procedure
frozen
effective function
frozen
effective procedure
frozen
effective function
set_default_memory_strategy
frozen
effective procedure
frozen
effective function