Compare commits
1 Commits
es_rev9827
...
es_rev9828
| Author | SHA1 | Date | |
|---|---|---|---|
| 0813abe0bb |
@@ -26,6 +26,9 @@ feature {NONE} -- Initialization
|
||||
|
||||
feature -- Access
|
||||
|
||||
identifier: detachable READABLE_STRING_32
|
||||
-- <Precursor>
|
||||
|
||||
title: detachable READABLE_STRING_32
|
||||
-- Title associated with Current content.
|
||||
|
||||
@@ -42,6 +45,15 @@ feature -- Access
|
||||
|
||||
feature -- Element change
|
||||
|
||||
set_identifier (a_identifier: detachable READABLE_STRING_GENERAL)
|
||||
do
|
||||
if a_identifier = Void then
|
||||
identifier := Void
|
||||
else
|
||||
create {IMMUTABLE_STRING_32} identifier.make_from_string_general (a_identifier)
|
||||
end
|
||||
end
|
||||
|
||||
set_title (a_title: detachable READABLE_STRING_GENERAL)
|
||||
do
|
||||
if a_title = Void then
|
||||
|
||||
Reference in New Issue
Block a user