diff options
| author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2015-04-02 11:44:48 (GMT) |
|---|---|---|
| committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2015-04-02 11:44:48 (GMT) |
| commit | 81aa1c79dd158aa7bc76876552e4b1d05ecea656 (patch) | |
| tree | 4b590410d4042c156cfd3d4e874f3a329390a72b /apps | |
| parent | ff86d690dc02d7dd495000331d378e7d8eb688ac (diff) | |
| download | uscxml-81aa1c79dd158aa7bc76876552e4b1d05ecea656.zip uscxml-81aa1c79dd158aa7bc76876552e4b1d05ecea656.tar.gz uscxml-81aa1c79dd158aa7bc76876552e4b1d05ecea656.tar.bz2 | |
Reactivated PHP bindings and some work on PROMELA
Diffstat (limited to 'apps')
| -rw-r--r-- | apps/uscxml-transform.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/apps/uscxml-transform.cpp b/apps/uscxml-transform.cpp index 055c1ae..1e9c26d 100644 --- a/apps/uscxml-transform.cpp +++ b/apps/uscxml-transform.cpp @@ -232,6 +232,12 @@ int main(int argc, char** argv) { exit(EXIT_FAILURE); } + if (verbose) { + std::list<InterpreterIssue> issues = interpreter.validate(); + for (std::list<InterpreterIssue>::iterator issueIter = issues.begin(); issueIter != issues.end(); issueIter++) { + std::cerr << *issueIter << std::endl; + } + } if (outType == "pml") { if (outputFile.size() == 0 || outputFile == "-") { |