From 52fee6a4c1f5464141abafbba49f759b434fcbfc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Tue, 14 Jun 2016 18:42:29 +0200 Subject: [PATCH] Made the language command-line option lowercase for consistency. --- README.md | 2 +- apps/plasp-app/main.cpp | 2 +- src/plasp/Language.cpp | 8 ++++---- 3 files changed, 6 insertions(+), 6 deletions(-) diff --git a/README.md b/README.md index b139a91..4a2fe07 100644 --- a/README.md +++ b/README.md @@ -53,7 +53,7 @@ The `[options]` are listed below: | **option** | **explanation** | |-----------------------------------|-----------------------------------------------------------------------------------------------------------------------------------| -| `-l` [ `--language` ] | Specify the input language (`SAS` or `PDDL`). Omit for automatic detection. | +| `-l` [ `--language` ] | Specify the input language (`sas` or `pddl`). Omit for automatic detection. | | `--warning-level` arg (=`normal`) | Specify whether to output warnings normally (`normal`), to treat them as critical errors (`error`), or to ignore them (`ignore`). | | `--color` arg (=`auto`) | Specify whether to colorize the output (`always`, `never`, or `auto`). | diff --git a/apps/plasp-app/main.cpp b/apps/plasp-app/main.cpp index 384da37..7bacfae 100644 --- a/apps/plasp-app/main.cpp +++ b/apps/plasp-app/main.cpp @@ -21,7 +21,7 @@ int main(int argc, char **argv) ("help,h", "Display this help message.") ("version,v", "Display version information.") ("input,i", po::value>(), "Specify the PDDL or SAS input file.") - ("language,l", po::value(), "Specify the input language (SAS or PDDL). Omit for automatic detection.") + ("language,l", po::value(), "Specify the input language (sas or pddl). Omit for automatic detection.") ("warning-level", po::value()->default_value("normal"), "Specify whether to output warnings normally (normal), to treat them as critical errors (error), or to ignore them (ignore).") ("color", po::value()->default_value("auto"), "Specify whether to colorize the output (always, never, or auto)."); diff --git a/src/plasp/Language.cpp b/src/plasp/Language.cpp index c23924e..6caaeb0 100644 --- a/src/plasp/Language.cpp +++ b/src/plasp/Language.cpp @@ -17,9 +17,9 @@ using LanguageNames = boost::bimap; //////////////////////////////////////////////////////////////////////////////////////////////////// const LanguageNames languageNames = boost::assign::list_of - (Language::Type::PDDL, "PDDL") - (Language::Type::SAS, "SAS") - (Language::Type::Unknown, "Unknown"); + (Language::Type::PDDL, "pddl") + (Language::Type::SAS, "sas") + (Language::Type::Unknown, "unknown"); //////////////////////////////////////////////////////////////////////////////////////////////////// @@ -28,7 +28,7 @@ std::string Language::toString(Language::Type language) const auto match = languageNames.left.find(language); if (match == languageNames.left.end()) - return "Unknown"; + return "unknown"; return match->second; }