Parser bug.

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

prism/src/parser/PrismParser.java

@@ -411,7 +411,7 @@ public class PrismParser implements PrismParserConstants {
                 }
 
                 // Return completed ModulesFile object
-                mf.setPosition(begin, getToken(0));
+                mf.setPosition(begin != null? begin: getToken(0), getToken(0));
                 {if (true) return mf;}
     throw new Error("Missing return statement in function");
   }
@@ -1782,8 +1782,8 @@ public class PrismParser implements PrismParserConstants {
                           s = "min";
       break;
     case MAX:
-      jj_consume_token(MAX);
-                                                 s = "max";
+      begin = jj_consume_token(MAX);
+                                                         s = "max";
       break;
     default:
       jj_la1[51] = jj_gen;

prism/src/parser/PrismParser.jj

@@ -489,7 +489,7 @@ ModulesFile ModulesFile() throws PrismLangException :
 		}
 		
 		// Return completed ModulesFile object
-		mf.setPosition(begin, getToken(0));
+		mf.setPosition(begin != null? begin: getToken(0), getToken(0));
 		return mf;
 	}
 }
@@ -1154,7 +1154,7 @@ Expression ExpressionFuncMinMax() :
 	Token begin = null;
 }
 {
-	( begin = <MIN> { s = "min"; } | <MAX> { s = "max"; } ) 
+	( begin = <MIN> { s = "min"; } | begin = <MAX> { s = "max"; } ) 
 	{ func = new ExpressionFunc(s); } <LPARENTH>  ExpressionFuncArgs(func) <RPARENTH>
 	{ func.setPosition(begin, getToken(0)); return func; }
 }