From 9ea9d3b904572fffa1778981c95dc5f9b962bb6f Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 23 Jan 2007 14:45:29 +0000
Subject: [PATCH] ModulesFile toString() function should display model type.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@219 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/parser/ModulesFile.java | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/prism/src/parser/ModulesFile.java b/prism/src/parser/ModulesFile.java
index 53dda1aa..3cabbc26 100644
--- a/prism/src/parser/ModulesFile.java
+++ b/prism/src/parser/ModulesFile.java
@@ -794,6 +794,13 @@ public class ModulesFile
 		String s = "", tmp;
 		int i, n;
 		
+		switch (type) {
+		case PROBABILISTIC: s += "dtmc"; break;
+		case NONDETERMINISTIC: s += "mdp"; break;
+		case STOCHASTIC: s += "ctmc"; break;
+		}
+		s += "\n\n";
+		
 		tmp = "" + formulaList;
 		if (tmp.length() > 0) tmp += "\n";
 		s += tmp;