src/CLIParser.h
branchv_0
changeset 17 ea36eed9683f
parent 14 a7596589a5b0
--- a/src/CLIParser.h	Sat Oct 24 00:08:18 2020 +0200
+++ b/src/CLIParser.h	Sun Apr 18 10:42:54 2021 +0200
@@ -49,6 +49,7 @@
 public:
 
 	static const relpipe::reader::string_t OPTION_WRITE_HEADER;
+	static const relpipe::reader::string_t OPTION_WRITE_TYPES;
 
 	Configuration parse(const std::vector<relpipe::reader::string_t>& arguments) {
 		Configuration c;
@@ -58,6 +59,8 @@
 
 			if (option == OPTION_WRITE_HEADER) {
 				c.writeHeader = parseBoolean(readNext(arguments, i));
+			} else if (option == OPTION_WRITE_TYPES) {
+				c.writeTypes = parseBoolean(readNext(arguments, i));
 			} else throw relpipe::cli::RelpipeCLIException(L"Unsupported CLI option: " + option, relpipe::cli::CLI::EXIT_CODE_BAD_CLI_ARGUMENTS);
 		}
 
@@ -69,6 +72,7 @@
 };
 
 const relpipe::reader::string_t CLIParser::OPTION_WRITE_HEADER = L"--write-header";
+const relpipe::reader::string_t CLIParser::OPTION_WRITE_TYPES = L"--write-types";
 
 }
 }