From 678d1111cb3b77ec090902fce6433783769ecc14 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Fri, 22 Jul 2016 10:30:30 +0000 Subject: [PATCH] Prism: make parseSingleExpressionString a static method Needed for subsequent use in Property for parsing RESULT expressions. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11549 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/Prism.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java index 342a969f..9aa26575 100644 --- a/prism/src/prism/Prism.java +++ b/prism/src/prism/Prism.java @@ -1588,7 +1588,7 @@ public class Prism extends PrismComponent implements PrismSettingsListener * Parse a single PRISM expression from a string. * @param s String to parse */ - public Expression parseSingleExpressionString(String s) throws PrismLangException + public static Expression parseSingleExpressionString(String s) throws PrismLangException { PrismParser prismParser; Expression expr;