From f6582ef185ccaa48e53d1751267a97121ef86999 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 10 Feb 2012 17:43:25 +0000 Subject: [PATCH] Fix some other refs to old Prism API. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4583 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/PrismExplicit.java | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/prism/src/explicit/PrismExplicit.java b/prism/src/explicit/PrismExplicit.java index b29ba768..ed7a2e20 100644 --- a/prism/src/explicit/PrismExplicit.java +++ b/prism/src/explicit/PrismExplicit.java @@ -448,12 +448,10 @@ public class PrismExplicit prism.initialise(); prism.setDoProbChecks(false); ModulesFile modulesFile = prism.parseModelFile(new File(args[0])); - modulesFile.setUndefinedConstants(null); PropertiesFile propertiesFile = prism.parsePropertiesFile(modulesFile, new File(args[1])); - propertiesFile.setUndefinedConstants(null); - prism.Model model = prism.buildModel(modulesFile); - prism.exportTransToFile(model, true, Prism.EXPORT_PLAIN, new File("tmp.tra")); - prism.exportLabelsToFile(model, modulesFile, null, Prism.EXPORT_PLAIN, new File("tmp.lab")); + prism.loadPRISMModel(modulesFile); + prism.exportTransToFile(true, Prism.EXPORT_PLAIN, new File("tmp.tra")); + prism.exportLabelsToFile(null, Prism.EXPORT_PLAIN, new File("tmp.lab")); DTMCSimple modelExplicit = new DTMCSimple(); modelExplicit.buildFromPrismExplicit("tmp.tra"); PrismExplicit pe = new PrismExplicit(prism.getMainLog(), prism.getSettings());