Browse Source

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
master
Joachim Klein 10 years ago
parent
commit
678d1111cb
  1. 2
      prism/src/prism/Prism.java

2
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;

Loading…
Cancel
Save