diff options
Diffstat (limited to 'apps/uscxml-transform.cpp')
-rw-r--r-- | apps/uscxml-transform.cpp | 27 |
1 files changed, 13 insertions, 14 deletions
diff --git a/apps/uscxml-transform.cpp b/apps/uscxml-transform.cpp index de0c594..649b61b 100644 --- a/apps/uscxml-transform.cpp +++ b/apps/uscxml-transform.cpp @@ -3,6 +3,7 @@ #include "uscxml/util/String.h" #include "uscxml/transform/ChartToC.h" #include "uscxml/transform/ChartToVHDL.h" +#include "uscxml/transform/ChartToPROMELA.h" #include <boost/algorithm/string.hpp> @@ -29,7 +30,7 @@ void printUsageAndExit(const char* progName) { printf("%s version " USCXML_VERSION " (" CMAKE_BUILD_TYPE " build - " CMAKE_COMPILER_STRING ")\n", progStr.c_str()); printf("Usage\n"); printf("\t%s", progStr.c_str()); - printf(" [-t c|pml|flat|min|tex] [-a {OPTIONS}] [-v] [-lN]"); + printf(" [-t c|pml|flat|min] [-a {OPTIONS}] [-v] [-lN]"); #ifdef BUILD_AS_PLUGINS printf(" [-p pluginPath]"); #endif @@ -41,7 +42,6 @@ void printUsageAndExit(const char* progName) { printf("\t-t vhdl : convert to VHDL hardware description\n"); printf("\t-t flat : flatten to SCXML state-machine\n"); printf("\t-t min : minimize SCXML state-chart\n"); - printf("\t-t tex : write global state transition table as tex file\n"); printf("\t-a {OPTIONS} : annotate SCXML elements with comma seperated options\n"); printf("\t priority - transitions with their priority for transition selection\n"); printf("\t exitset - annotate all transitions with their exit sets\n"); @@ -201,7 +201,6 @@ int main(int argc, char** argv) { outType != "c" && outType != "vhdl" && outType != "min" && - outType != "tex" && std::find(options.begin(), options.end(), "priority") == options.end() && std::find(options.begin(), options.end(), "domain") == options.end() && std::find(options.begin(), options.end(), "conflicts") == options.end() && @@ -303,17 +302,17 @@ int main(int argc, char** argv) { exit(EXIT_SUCCESS); } -// if (outType == "pml") { -// if (outputFile.size() == 0 || outputFile == "-") { -// ChartToPromela::transform(interpreter).writeTo(std::cout); -// } else { -// std::ofstream outStream; -// outStream.open(outputFile.c_str()); -// ChartToPromela::transform(interpreter).writeTo(outStream); -// outStream.close(); -// } -// exit(EXIT_SUCCESS); -// } + if (outType == "pml") { + if (outputFile.size() == 0 || outputFile == "-") { + ChartToPromela::transform(interpreter).writeTo(std::cout); + } else { + std::ofstream outStream; + outStream.open(outputFile.c_str()); + ChartToPromela::transform(interpreter).writeTo(outStream); + outStream.close(); + } + exit(EXIT_SUCCESS); + } // if (outType == "tex") { // if (outputFile.size() == 0 || outputFile == "-") { |