Extract CommandLineParser out of CommandLineInterface

solc/CMakeLists.txt

@@ -1,5 +1,6 @@
 set(libsolcli_sources
 	CommandLineInterface.cpp CommandLineInterface.h
+	CommandLineParser.cpp CommandLineParser.h
 )
 
 add_library(solcli ${libsolcli_sources})

solc/CommandLineInterface.h

@@ -22,36 +22,39 @@
  */
 #pragma once
 
+#include <solc/CommandLineParser.h>
+
 #include <libsolidity/interface/CompilerStack.h>
 #include <libsolidity/interface/DebugSettings.h>
 #include <libsolidity/interface/FileReader.h>
-#include <libsolidity/interface/ImportRemapper.h>
 #include <libyul/AssemblyStack.h>
-#include <liblangutil/EVMVersion.h>
-
-#include <boost/program_options.hpp>
-#include <boost/filesystem/path.hpp>
 
 #include <memory>
+#include <string>
 
 namespace solidity::frontend
 {
 
-//forward declaration
-enum class DocumentationType: uint8_t;
-
 class CommandLineInterface
 {
 public:
+	explicit CommandLineInterface(CommandLineOptions const& _options = CommandLineOptions{}):
+		m_options(_options)
+	{}
+
 	/// Parse command line arguments and return false if we should not continue
-	bool parseArguments(int _argc, char** _argv);
+	bool parseArguments(int _argc, char const* const* _argv);
 	/// Parse the files and create source code objects
 	bool processInput();
 	/// Perform actions on the input depending on provided compiler arguments
 	/// @returns true on success.
 	bool actOnInput();
 
+	CommandLineOptions const& options() const { return m_options; }
+	FileReader const& fileReader() const { return m_fileReader; }
+
 private:
+	bool compile();
 	bool link();
 	void writeLinkedFiles();
 	/// @returns the ``// <identifier> -> name`` hint for library placeholders.
@@ -83,11 +86,9 @@ private:
 	void handleGasEstimation(std::string const& _contract);
 	void handleStorageLayout(std::string const& _contract);
 
-	/// Fills @a m_sourceCodes initially and @a m_redirects.
+	/// Reads the content of input files specified on the command line and passes them to FileReader.
-	bool readInputFilesAndConfigureRemappings();
+	/// @return false if there are no input files or input files cannot be read.
-	/// Tries to read from the file @a _input or interprets _input literally if that fails.
+	bool readInputFilesAndConfigureFileReader();
-	/// It then tries to parse the contents and appends to m_libraries.
-	bool parseLibraryOption(std::string const& _input);
 
 	/// Tries to read @ m_sourceCodes as a JSONs holding ASTs
 	/// such that they can be imported into the compiler  (importASTs())
@@ -105,38 +106,10 @@ private:
 	/// @arg _json json string to be written
 	void createJson(std::string const& _fileName, std::string const& _json);
 
-	size_t countEnabledOptions(std::vector<std::string> const& _optionNames) const;
-	static std::string joinOptionNames(std::vector<std::string> const& _optionNames, std::string _separator = ", ");
-
 	bool m_error = false; ///< If true, some error occurred.
-
-	bool m_onlyAssemble = false;
-
-	bool m_onlyLink = false;
-
 	FileReader m_fileReader;
-
-	/// Compiler arguments variable map
-	boost::program_options::variables_map m_args;
-	/// list of remappings
-	std::vector<ImportRemapper::Remapping> m_remappings;
-	/// map of library names to addresses
-	std::map<std::string, util::h160> m_libraries;
-	/// Solidity compiler stack
 	std::unique_ptr<frontend::CompilerStack> m_compiler;
-	CompilerStack::State m_stopAfter = CompilerStack::State::CompilationSuccessful;
+	CommandLineOptions m_options;
-	/// EVM version to use
-	langutil::EVMVersion m_evmVersion;
-	/// How to handle revert strings
-	RevertStrings m_revertStrings = RevertStrings::Default;
-	/// Chosen hash method for the bytecode metadata.
-	CompilerStack::MetadataHash m_metadataHash = CompilerStack::MetadataHash::IPFS;
-	/// Model checker settings.
-	ModelCheckerSettings m_modelCheckerSettings;
-	/// Whether or not to colorize diagnostics output.
-	bool m_coloredOutput = true;
-	/// Whether or not to output error IDs.
-	bool m_withErrorIds = false;
 };
 
 }

solc/CommandLineParser.h

@@ -16,9 +16,7 @@
 */
 // SPDX-License-Identifier: GPL-3.0
 /**
- * @author Lefteris <lefteris@ethdev.com>
+ * Validates and parses command-line options into an internal representation.
- * @date 2014
- * Solidity command line interface.
  */
 #pragma once
 
@@ -32,111 +30,185 @@
 #include <boost/program_options.hpp>
 #include <boost/filesystem/path.hpp>
 
+#include <map>
 #include <memory>
+#include <optional>
+#include <set>
+#include <string>
+#include <vector>
 
 namespace solidity::frontend
 {
 
-//forward declaration
+enum class InputMode
-enum class DocumentationType: uint8_t;
+{
+	Compiler,
+	CompilerWithASTImport,
+	StandardJson,
+	Linker,
+	Assembler,
+};
 
-class CommandLineInterface
+struct CompilerOutputs
+{
+	bool astCompactJson = false;
+	bool asm_ = false;
+	bool asmJson = false;
+	bool opcodes = false;
+	bool binary = false;
+	bool binaryRuntime = false;
+	bool abi = false;
+	bool ir = false;
+	bool irOptimized = false;
+	bool ewasm = false;
+	bool signatureHashes = false;
+	bool natspecUser = false;
+	bool natspecDev = false;
+	bool metadata = false;
+	bool storageLayout = false;
+};
+
+struct CombinedJsonRequests
+{
+	bool abi = false;
+	bool metadata = false;
+	bool binary = false;
+	bool binaryRuntime = false;
+	bool opcodes = false;
+	bool asm_ = false;
+	bool storageLayout = false;
+	bool generatedSources = false;
+	bool generatedSourcesRuntime = false;
+	bool srcMap = false;
+	bool srcMapRuntime = false;
+	bool funDebug = false;
+	bool funDebugRuntime = false;
+	bool signatureHashes = false;
+	bool natspecDev = false;
+	bool natspecUser = false;
+	bool ast = false;
+};
+
+struct CommandLineOptions
+{
+	struct
+	{
+		InputMode mode = InputMode::Compiler;
+		std::set<boost::filesystem::path> paths;
+		std::string standardJsonFile;
+		std::vector<ImportRemapper::Remapping> remappings;
+		bool addStdin = false;
+		boost::filesystem::path basePath = "";
+		FileReader::FileSystemPathSet allowedDirectories;
+		bool ignoreMissingFiles = false;
+		bool errorRecovery = false;
+	} input;
+
+	struct
+	{
+		boost::filesystem::path dir;
+		bool overwriteFiles = false;
+		langutil::EVMVersion evmVersion;
+		bool experimentalViaIR = false;
+		RevertStrings revertStrings = RevertStrings::Default;
+		CompilerStack::State stopAfter = CompilerStack::State::CompilationSuccessful;
+	} output;
+
+	struct
+	{
+		yul::AssemblyStack::Machine targetMachine = yul::AssemblyStack::Machine::EVM;
+		yul::AssemblyStack::Language inputLanguage = yul::AssemblyStack::Language::StrictAssembly;
+	} assembly;
+
+	struct
+	{
+		std::map<std::string, util::h160> libraries; // library name -> address
+	} linker;
+
+	struct
+	{
+		bool prettyJson = false;
+		std::optional<bool> coloredOutput;
+		bool withErrorIds = false;
+	} formatting;
+
+	struct
+	{
+		CompilerOutputs outputs;
+		bool estimateGas = false;
+		std::optional<CombinedJsonRequests> combinedJsonRequests;
+	} compiler;
+
+	struct
+	{
+		CompilerStack::MetadataHash hash = CompilerStack::MetadataHash::IPFS;
+		bool literalSources = false;
+	} metadata;
+
+	struct
+	{
+		bool enabled = false;
+		unsigned expectedExecutionsPerDeployment = 0;
+		bool noOptimizeYul = false;
+		std::optional<std::string> yulSteps;
+	} optimizer;
+
+	struct
+	{
+		bool initialize = false;
+		ModelCheckerSettings settings;
+	} modelChecker;
+};
+
+/// Parses the command-line arguments and produces a filled-out CommandLineOptions structure.
+/// Validates provided values and prints error messages in case of errors.
+///
+/// The class is also responsible for handling options that only result in printing informational
+/// text, without the need to invoke the compiler - printing usage banner, version or license.
+class CommandLineParser
 {
 public:
-	/// Parse command line arguments and return false if we should not continue
+	/// Parses the command-line arguments and fills out the internal CommandLineOptions structure.
-	bool parseArguments(int _argc, char** _argv);
+	/// Performs validation and prints error messages. If requested, prints usage banner, version
-	/// Parse the files and create source code objects
+	/// or license.
-	bool processInput();
+	/// @param interactiveTerminal specifies whether the terminal is taking input from the user.
-	/// Perform actions on the input depending on provided compiler arguments
+	/// This is used to determine whether to provide more user-friendly output in some situations.
-	/// @returns true on success.
+	/// E.g. whether to print help text when no arguments are provided.
-	bool actOnInput();
+	/// @return true if there were no validation errors when parsing options and the
+	/// CommandLineOptions structure has been fully initialized. false if there were errors - in
+	/// this case CommandLineOptions may be only partially filled out. May also return false if
+	/// there is not further processing necessary and the program should just exit.
+	bool parse(int _argc, char const* const* _argv, bool interactiveTerminal);
+
+	CommandLineOptions const& options() const { return m_options; }
+
+	/// Returns true if any parser instance has written anything to cout or cerr since the last
+	/// call to parse().
+	static bool hasOutput();
 
 private:
-	bool link();
+	/// Parses the value supplied to --combined-json.
-	void writeLinkedFiles();
+	/// @return false if there are any validation errors, true otherwise.
-	/// @returns the ``// <identifier> -> name`` hint for library placeholders.
+	bool parseCombinedJsonOption();
-	static std::string libraryPlaceholderHint(std::string const& _libraryName);
-	/// @returns the full object with library placeholder hints in hex.
-	static std::string objectWithLinkRefsHex(evmasm::LinkerObject const& _obj);
 
-	bool assemble(
+	/// Parses the names of the input files, remappings for all modes except for Standard JSON.
-		yul::AssemblyStack::Language _language,
+	/// Does not check if files actually exist.
-		yul::AssemblyStack::Machine _targetMachine,
+	/// @return false if there are any validation errors, true otherwise.
-		bool _optimize,
+	bool parseInputPathsAndRemappings();
-		std::optional<std::string> _yulOptimiserSteps = std::nullopt
-	);
 
-	void outputCompilationResults();
+	/// Tries to read from the file @a _input or interprets @a _input literally if that fails.
-
+	/// It then tries to parse the contents and appends to m_options.libraries.
-	void handleCombinedJSON();
+	/// @return false if there are any validation errors, true otherwise.
-	void handleAst();
-	void handleBinary(std::string const& _contract);
-	void handleOpcode(std::string const& _contract);
-	void handleIR(std::string const& _contract);
-	void handleIROptimized(std::string const& _contract);
-	void handleEwasm(std::string const& _contract);
-	void handleBytecode(std::string const& _contract);
-	void handleSignatureHashes(std::string const& _contract);
-	void handleMetadata(std::string const& _contract);
-	void handleABI(std::string const& _contract);
-	void handleNatspec(bool _natspecDev, std::string const& _contract);
-	void handleGasEstimation(std::string const& _contract);
-	void handleStorageLayout(std::string const& _contract);
-
-	/// Fills @a m_sourceCodes initially and @a m_redirects.
-	bool readInputFilesAndConfigureRemappings();
-	/// Tries to read from the file @a _input or interprets _input literally if that fails.
-	/// It then tries to parse the contents and appends to m_libraries.
 	bool parseLibraryOption(std::string const& _input);
 
-	/// Tries to read @ m_sourceCodes as a JSONs holding ASTs
-	/// such that they can be imported into the compiler  (importASTs())
-	/// (produced by --combined-json ast,compact-format <file.sol>
-	/// or standard-json output
-	std::map<std::string, Json::Value> parseAstFromInput();
-
-	/// Create a file in the given directory
-	/// @arg _fileName the name of the file
-	/// @arg _data to be written
-	void createFile(std::string const& _fileName, std::string const& _data);
-
-	/// Create a json file in the given directory
-	/// @arg _fileName the name of the file (the extension will be replaced with .json)
-	/// @arg _json json string to be written
-	void createJson(std::string const& _fileName, std::string const& _json);
-
 	size_t countEnabledOptions(std::vector<std::string> const& _optionNames) const;
 	static std::string joinOptionNames(std::vector<std::string> const& _optionNames, std::string _separator = ", ");
 
-	bool m_error = false; ///< If true, some error occurred.
+	CommandLineOptions m_options;
 
-	bool m_onlyAssemble = false;
+	/// Map of command-line arguments produced by boost::program_options.
-
+	/// Serves as input for filling out m_options.
-	bool m_onlyLink = false;
-
-	FileReader m_fileReader;
-
-	/// Compiler arguments variable map
 	boost::program_options::variables_map m_args;
-	/// list of remappings
-	std::vector<ImportRemapper::Remapping> m_remappings;
-	/// map of library names to addresses
-	std::map<std::string, util::h160> m_libraries;
-	/// Solidity compiler stack
-	std::unique_ptr<frontend::CompilerStack> m_compiler;
-	CompilerStack::State m_stopAfter = CompilerStack::State::CompilationSuccessful;
-	/// EVM version to use
-	langutil::EVMVersion m_evmVersion;
-	/// How to handle revert strings
-	RevertStrings m_revertStrings = RevertStrings::Default;
-	/// Chosen hash method for the bytecode metadata.
-	CompilerStack::MetadataHash m_metadataHash = CompilerStack::MetadataHash::IPFS;
-	/// Model checker settings.
-	ModelCheckerSettings m_modelCheckerSettings;
-	/// Whether or not to colorize diagnostics output.
-	bool m_coloredOutput = true;
-	/// Whether or not to output error IDs.
-	bool m_withErrorIds = false;
 };
 
 }