removed useless (and unused) function {WSF_SERVICE}.to_wgi_service: WGI_SERVICE
This commit is contained in:
@@ -20,14 +20,6 @@ feature -- Execution
|
|||||||
deferred
|
deferred
|
||||||
end
|
end
|
||||||
|
|
||||||
feature -- Conversion
|
|
||||||
|
|
||||||
to_wgi_service: WGI_SERVICE
|
|
||||||
-- Adapt Current WSF Service to plug into WGI component
|
|
||||||
do
|
|
||||||
create {WSF_TO_WGI_SERVICE} Result.make_from_service (Current)
|
|
||||||
end
|
|
||||||
|
|
||||||
note
|
note
|
||||||
copyright: "2011-2012, Jocelyn Fiat, Javier Velilla, Olivier Ligot, Eiffel Software and others"
|
copyright: "2011-2012, Jocelyn Fiat, Javier Velilla, Olivier Ligot, Eiffel Software and others"
|
||||||
license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
|
license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
|
||||||
|
|||||||
Reference in New Issue
Block a user