From 6bcdc856c406478578a7cba06b504634bdc52b21 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 25 Jul 2016 20:14:58 +0000 Subject: [PATCH] Allow .dot extension to be passed to the -exportmodel switch for export of graphical model in Dot format (less verbose and more obvious than -exporttransdotstates). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11572 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/PrismCL.java | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java index 566bf2ce..2dbef79b 100644 --- a/prism/src/prism/PrismCL.java +++ b/prism/src/prism/PrismCL.java @@ -1871,6 +1871,9 @@ public class PrismCL implements PrismModelListener } else if (ext.equals("lab")) { exportlabels = true; exportLabelsFilename = basename.equals("stdout") ? "stdout" : basename + ".lab"; + } else if (ext.equals("dot")) { + exporttransdotstates = true; + exportTransDotStatesFilename = basename.equals("stdout") ? "stdout" : basename + ".dot"; } // Unknown extension else { @@ -2085,6 +2088,8 @@ public class PrismCL implements PrismModelListener exportStatesFilename = exportStatesFilename.replaceFirst("modelFileBasename", modelFileBasename); if (exportlabels) exportLabelsFilename = exportLabelsFilename.replaceFirst("modelFileBasename", modelFileBasename); + if (exporttransdotstates) + exportTransDotStatesFilename = exportTransDotStatesFilename.replaceFirst("modelFileBasename", modelFileBasename); } } @@ -2346,8 +2351,8 @@ public class PrismCL implements PrismModelListener mainLog.println("Export the built model to file(s) (or to the screen if =\"stdout\")."); mainLog.println("Use a list of file extensions to indicate which files should be generated, e.g.:"); mainLog.println("\n -exportmodel out.tra,sta\n"); - mainLog.println("Possible extensions are: .tra, .srew, .trew, .sta, .lab"); - mainLog.println("Use extension .all to export all and .rew to export both .srew/.trew, e.g.:"); + mainLog.println("Possible extensions are: .tra, .srew, .trew, .sta, .lab, .dot"); + mainLog.println("Use extension .all to export all (except .dot) and .rew to export both .srew/.trew, e.g.:"); mainLog.println("\n -exportmodel out.all\n"); mainLog.println("Omit the file basename to use the basename of the model file, e.g.:"); mainLog.println("\n -exportmodel .all\n");