expanded class REPOSITORY_TRANSIENT
require
- 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