38 lines
609 B
Plaintext
38 lines
609 B
Plaintext
note
|
|
description: "Summary description for {WSF_THEME}."
|
|
author: ""
|
|
date: "$Date$"
|
|
revision: "$Revision$"
|
|
|
|
class
|
|
WSF_THEME
|
|
|
|
feature -- Access
|
|
|
|
url_encoded (s: detachable READABLE_STRING_GENERAL): STRING_8
|
|
local
|
|
enc: URL_ENCODER
|
|
do
|
|
create enc
|
|
if s /= Void then
|
|
Result := enc.general_encoded_string (s)
|
|
else
|
|
create Result.make_empty
|
|
end
|
|
end
|
|
|
|
html_encoded (s: detachable READABLE_STRING_GENERAL): STRING_8
|
|
local
|
|
enc: HTML_ENCODER
|
|
do
|
|
create enc
|
|
if s /= Void then
|
|
Result := enc.general_encoded_string (s)
|
|
else
|
|
create Result.make_empty
|
|
end
|
|
end
|
|
|
|
|
|
end
|