+
Point of view
REPOSITORY_IMPL
expanded class REPOSITORY_TRANSIENT
require
- not transient_object.type_is_expanded
- not transient_reference.is_empty
- not transient_reference.is_equal("Void")
reserved keyword
- not transient_reference.is_equal("Repository")
reserved keyword
- not transient_reference.has_prefix("0x")
reserved prefix
- not has_object(transient_reference)
ensure
unregister (transient_reference:
STRING)
effective procedure
require
- not transient_object.type_is_expanded
- not transient_reference.is_empty
- not has_object(transient_reference)
ensure
require
- not a_object.type_is_expanded
ensure
- Result /= Void implies not Result.is_empty