mirrors/EWF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Updated to use ARGUMENTS_32 as client.

Browse Source
This commit is contained in:
Jocelyn FIAT
2018-11-19 18:04:35 +01:00
parent e73302639d
commit f1e8dfa40b
1 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
tools/estudio_wizard/lib/wizard/core/wizard_application.e
View File

@@ -8,8 +8,6 @@ deferred class
WIZARD_APPLICATION WIZARD_APPLICATION
inherit inherit
ARGUMENTS
SHARED_EXECUTION_ENVIRONMENT SHARED_EXECUTION_ENVIRONMENT
feature {NONE} -- Initialization feature {NONE} -- Initialization
@@ -18,23 +16,25 @@ feature {NONE} -- Initialization
-- Initialize `Current'. -- Initialize `Current'.
local local
i,n: INTEGER i,n: INTEGER
s: READABLE_STRING_8 s: READABLE_STRING_32
wizard_directory_name: detachable PATH wizard_directory_name: detachable PATH
callback_file_name: detachable PATH callback_file_name: detachable PATH
args: ARGUMENTS_32
do do
-- Usage -- Usage
n := argument_count args := execution_environment.arguments
n := args.argument_count
if n > 0 then if n > 0 then
from from
i := 1 i := 1
until until
i > n i > n
loop loop
s := argument (i) s := args.argument (i)
if s.same_string ("-callback") or s.same_string ("--callback") then if s.same_string_general ("-callback") or s.same_string_general ("--callback") then
i := i + 1 i := i + 1
if i <= n then if i <= n then
create callback_file_name.make_from_string (argument (i)) create callback_file_name.make_from_string (s)
end end
elseif wizard_directory_name = Void then elseif wizard_directory_name = Void then
create wizard_directory_name.make_from_string (s) create wizard_directory_name.make_from_string (s)