equal
deleted
inserted
replaced
85 case Tokens.DATA: // --data is the last option |
85 case Tokens.DATA: // --data is the last option |
86 for (i++; i < args.length; i++) { |
86 for (i++; i < args.length; i++) { |
87 arg = args[i]; |
87 arg = args[i]; |
88 |
88 |
89 if (arg.startsWith(options.getNamePrefix()) && arg.endsWith(options.getNameSuffix())) { // Named parameters: |
89 if (arg.startsWith(options.getNamePrefix()) && arg.endsWith(options.getNameSuffix())) { // Named parameters: |
90 String paramName = arg.substring(options.getNamePrefix().length()); |
90 String paramName = arg.substring(options.getNamePrefix().length(), arg.length() - options.getNameSuffix().length()); |
91 String paramValue = fetchNext(args, ++i); |
91 String paramValue = fetchNext(args, ++i); |
92 options.addNamedParameter(new NamedParameter(paramName, paramValue, namedTypes.get(paramName))); |
92 options.addNamedParameter(new NamedParameter(paramName, paramValue, namedTypes.get(paramName))); |
93 } else { // Numbered parameters: |
93 } else { // Numbered parameters: |
94 Parameter parameter; |
94 Parameter parameter; |
95 if (numberedTypes.isEmpty()) { |
95 if (numberedTypes.isEmpty()) { |