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