Updated to generated parser code (not sure why or when it changed).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8622 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/parser/PrismParser.java

@@ -3142,28 +3142,6 @@ public class PrismParser implements PrismParserConstants {
     finally { jj_save(15, xla); }
   }
 
-  static private boolean jj_3_14() {
-    if (jj_3R_31()) return true;
-    if (jj_scan_token(LPARENTH)) return true;
-    return false;
-  }
-
-  static private boolean jj_3R_137() {
-    if (jj_scan_token(S)) return true;
-    Token xsp;
-    xsp = jj_scanpos;
-    if (jj_3R_158()) {
-    jj_scanpos = xsp;
-    if (jj_3R_159()) return true;
-    }
-    if (jj_scan_token(LBRACKET)) return true;
-    if (jj_3R_39()) return true;
-    xsp = jj_scanpos;
-    if (jj_3R_160()) jj_scanpos = xsp;
-    if (jj_scan_token(RBRACKET)) return true;
-    return false;
-  }
-
   static private boolean jj_3_13() {
     if (jj_3R_31()) return true;
     if (jj_scan_token(LPARENTH)) return true;
@@ -4492,6 +4470,12 @@ public class PrismParser implements PrismParserConstants {
     return false;
   }
 
+  static private boolean jj_3R_90() {
+    if (jj_scan_token(OR)) return true;
+    if (jj_3R_89()) return true;
+    return false;
+  }
+
   static private boolean jj_3R_32() {
     if (jj_3R_34()) return true;
     Token xsp;
@@ -4502,33 +4486,27 @@ public class PrismParser implements PrismParserConstants {
     return false;
   }
 
-  static private boolean jj_3R_90() {
-    if (jj_scan_token(OR)) return true;
-    if (jj_3R_89()) return true;
-    return false;
-  }
-
   static private boolean jj_3_5() {
     if (jj_3R_29()) return true;
     return false;
   }
 
-  static private boolean jj_3R_29() {
+  static private boolean jj_3R_87() {
+    if (jj_3R_89()) return true;
     Token xsp;
+    while (true) {
       xsp = jj_scanpos;
-    if (jj_3R_32()) {
-    jj_scanpos = xsp;
-    if (jj_scan_token(49)) return true;
+      if (jj_3R_90()) { jj_scanpos = xsp; break; }
     }
     return false;
   }
 
-  static private boolean jj_3R_87() {
-    if (jj_3R_89()) return true;
+  static private boolean jj_3R_29() {
     Token xsp;
-    while (true) {
     xsp = jj_scanpos;
-      if (jj_3R_90()) { jj_scanpos = xsp; break; }
+    if (jj_3R_32()) {
+    jj_scanpos = xsp;
+    if (jj_scan_token(49)) return true;
     }
     return false;
   }
@@ -4585,6 +4563,28 @@ public class PrismParser implements PrismParserConstants {
     return false;
   }
 
+  static private boolean jj_3_14() {
+    if (jj_3R_31()) return true;
+    if (jj_scan_token(LPARENTH)) return true;
+    return false;
+  }
+
+  static private boolean jj_3R_137() {
+    if (jj_scan_token(S)) return true;
+    Token xsp;
+    xsp = jj_scanpos;
+    if (jj_3R_158()) {
+    jj_scanpos = xsp;
+    if (jj_3R_159()) return true;
+    }
+    if (jj_scan_token(LBRACKET)) return true;
+    if (jj_3R_39()) return true;
+    xsp = jj_scanpos;
+    if (jj_3R_160()) jj_scanpos = xsp;
+    if (jj_scan_token(RBRACKET)) return true;
+    return false;
+  }
+
   static private boolean jj_initialized_once = false;
   /** Generated Token Manager. */
   static public PrismParserTokenManager token_source;