From 69d0e44ed476fe00003d9392a041752b8b2c12e3 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 6 Jul 2015 23:07:13 +0000 Subject: [PATCH] Parametric model checking error message. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10209 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/param/ParamModelChecker.java | 20 +++++--------------- 1 file changed, 5 insertions(+), 15 deletions(-) diff --git a/prism/src/param/ParamModelChecker.java b/prism/src/param/ParamModelChecker.java index 9a8fe484..8cadd5e7 100644 --- a/prism/src/param/ParamModelChecker.java +++ b/prism/src/param/ParamModelChecker.java @@ -923,29 +923,19 @@ final public class ParamModelChecker extends PrismComponent private RegionValues checkProbBoundedUntil(ParamModel model, RegionValues b1, RegionValues b2, boolean min) throws PrismException { ModelType modelType = model.getModelType(); - RegionValues probs; + //RegionValues probs; switch (modelType) { case CTMC: - throw new PrismNotSupportedException("bounded until not implemented for parametric CTMCs"); + throw new PrismNotSupportedException("Bounded until operator not supported by parametric engine"); case DTMC: - probs = checkProbBoundedUntilDTMC(model, b1, b2); - break; + throw new PrismNotSupportedException("Bounded until operator not supported by parametric engine"); case MDP: - probs = checkProbBoundedUntilMDP(model, b1, b2, min); - break; + throw new PrismNotSupportedException("Bounded until operator not supported by parametric engine"); default: throw new PrismNotSupportedException("Cannot model check for a " + modelType); } - return probs; - } - - private RegionValues checkProbBoundedUntilMDP(ParamModel model, RegionValues b1, RegionValues b2, boolean min) { - throw new UnsupportedOperationException("Bounded until is not supported at the moment"); - } - - private RegionValues checkProbBoundedUntilDTMC(ParamModel model, RegionValues b1, RegionValues b2) { - throw new UnsupportedOperationException("Bounded until is not supported at the moment"); + //return probs; } /**