summaryrefslogtreecommitdiffstats
path: root/apps
diff options
context:
space:
mode:
authorStefan Radomski <sradomski@mintwerk.de>2016-01-26 08:43:42 (GMT)
committerStefan Radomski <sradomski@mintwerk.de>2016-01-26 08:43:42 (GMT)
commit2c0b28093912f23e52e79281dddb6e2049673f29 (patch)
tree5c1ede42a6c9d443a5b0769d0bcdd8c6dbe47d09 /apps
parentda54846c2ea8cf35c22b70a2a7a53f525df8f0c9 (diff)
downloaduscxml-2c0b28093912f23e52e79281dddb6e2049673f29.zip
uscxml-2c0b28093912f23e52e79281dddb6e2049673f29.tar.gz
uscxml-2c0b28093912f23e52e79281dddb6e2049673f29.tar.bz2
Beautified code
Diffstat (limited to 'apps')
-rw-r--r--apps/uscxml-transform.cpp24
1 files changed, 12 insertions, 12 deletions
diff --git a/apps/uscxml-transform.cpp b/apps/uscxml-transform.cpp
index bb1fae3..9395f76 100644
--- a/apps/uscxml-transform.cpp
+++ b/apps/uscxml-transform.cpp
@@ -73,7 +73,7 @@ void printUsageAndExit(const char* progName) {
printf("Options\n");
printf("\t-t c : convert to C program\n");
printf("\t-t pml : convert to spin/promela program\n");
- printf("\t-t vhdl : convert to VHDL hardware description\n");
+ 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");
@@ -282,17 +282,17 @@ int main(int argc, char** argv) {
exit(EXIT_SUCCESS);
}
- if (outType == "vhdl") {
- if (outputFile.size() == 0 || outputFile == "-") {
- ChartToVHDL::transform(interpreter).writeTo(std::cout);
- } else {
- std::ofstream outStream;
- outStream.open(outputFile.c_str());
- ChartToVHDL::transform(interpreter).writeTo(outStream);
- outStream.close();
- }
- exit(EXIT_SUCCESS);
- }
+ if (outType == "vhdl") {
+ if (outputFile.size() == 0 || outputFile == "-") {
+ ChartToVHDL::transform(interpreter).writeTo(std::cout);
+ } else {
+ std::ofstream outStream;
+ outStream.open(outputFile.c_str());
+ ChartToVHDL::transform(interpreter).writeTo(outStream);
+ outStream.close();
+ }
+ exit(EXIT_SUCCESS);
+ }
if (outType == "pml") {
if (outputFile.size() == 0 || outputFile == "-") {