indexing description: "A hyperlink to a servlet on this website" author: "Neal L Lester " date: "$Date$" revision: "$Revision$" copyright: "(c) Neal L Lester" License: "Eiffel Forum License Version 2 (see forum.txt)" class GOA_INTERNAL_HYPERLINK inherit GOA_HYPERLINK GOA_SHARED_APPLICATION_CONFIGURATION SHARED_SERVLETS SHARED_REQUEST_PARAMETERS KL_IMPORTED_STRING_ROUTINES creation make feature {NONE} -- Creation make (processing_result: REQUEST_PROCESSING_RESULT; servlet: GOA_APPLICATION_SERVLET; new_text: STRING) is require valid_processing_result: processing_result /= Void valid_servlet: servlet /= Void valid_new_text: new_text /= Void do initialize text := STRING_.cloned_string (new_text) host_and_path := STRING_.cloned_string (processing_result.session_status.virtual_domain_host.host_name) host_and_path.append (configuration.fast_cgi_directory) host_and_path.append (STRING_.cloned_string (go_to_servlet.name)) add_parameter (page_parameter.name, servlet.name_without_extension) if processing_result.session_status.virtual_domain_host.use_ssl and servlet.receive_secure then set_secure end end end -- class GOA_INTERNAL_HYPERLINK