76 lines
1.8 KiB
Plaintext
76 lines
1.8 KiB
Plaintext
note
|
|
description: "Summary description for {WSF_LAUNCHABLE_SERVICE}."
|
|
date: "$Date$"
|
|
revision: "$Revision$"
|
|
|
|
deferred class
|
|
WSF_LAUNCHABLE_SERVICE
|
|
|
|
inherit
|
|
WSF_SERVICE
|
|
|
|
feature {NONE} -- Initialization
|
|
|
|
frozen make_and_launch
|
|
do
|
|
initialize
|
|
launch (service_options)
|
|
end
|
|
|
|
initialize
|
|
-- Initialize current service
|
|
--| Could be redefine to set custom service option(s)
|
|
do
|
|
end
|
|
|
|
feature -- Access
|
|
|
|
service_options: detachable WSF_SERVICE_LAUNCHER_OPTIONS
|
|
-- Optional service options used to configure associated WSF_SERVICE_LAUNCHER.
|
|
|
|
feature -- Basic operation
|
|
|
|
launch (opts: detachable WSF_SERVICE_LAUNCHER_OPTIONS)
|
|
-- Launch service with optional options `opts'.
|
|
deferred
|
|
end
|
|
|
|
feature -- Default service options
|
|
|
|
import_service_options (opts: WSF_SERVICE_LAUNCHER_OPTIONS)
|
|
-- Import service options `opts' into `service_options'.
|
|
do
|
|
if attached service_options as l_opts then
|
|
l_opts.append_options (opts)
|
|
else
|
|
service_options := opts
|
|
end
|
|
end
|
|
|
|
set_service_option (a_name: READABLE_STRING_GENERAL; a_value: detachable ANY)
|
|
-- Set options related to WSF_SERVICE_LAUNCHER
|
|
local
|
|
opts: like service_options
|
|
do
|
|
opts := service_options
|
|
if opts = Void then
|
|
create opts.make
|
|
service_options := opts
|
|
end
|
|
opts.set_option (a_name, a_value)
|
|
ensure
|
|
attached service_options as l_options and then l_options.option (a_name) = a_value
|
|
end
|
|
|
|
note
|
|
copyright: "2011-2015, Jocelyn Fiat, Javier Velilla, Olivier Ligot, Colin Adams, Eiffel Software and others"
|
|
license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
|
|
source: "[
|
|
Eiffel Software
|
|
5949 Hollister Ave., Goleta, CA 93117 USA
|
|
Telephone 805-685-1006, Fax 805-685-6869
|
|
Website http://www.eiffel.com
|
|
Customer support http://support.eiffel.com
|
|
]"
|
|
end
|