s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
Browse Source

imported patch rewardcounter-TemporalOperatorBounds-use-refresh.patch

accumulation-v4.7
Joachim Klein 8 years ago
committed by Joachim Klein
parent
aeec397851
commit
d769919086
3 changed files with 1384 additions and 1152 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 2389
      prism/src/parser/PrismParser.java
  2. 19
      prism/src/parser/PrismParserConstants.java
  3. 128
      prism/src/parser/PrismParserTokenManager.java

2389
prism/src/parser/PrismParser.java
File diff suppressed because it is too large
View File

19
prism/src/parser/PrismParserConstants.java
View File

@ -189,21 +189,23 @@ public interface PrismParserConstants {
/** RegularExpression Id. */ /** RegularExpression Id. */
int QMARK = 89; int QMARK = 89;
/** RegularExpression Id. */ /** RegularExpression Id. */
int REG_INT = 90;
int CARET = 90;
/** RegularExpression Id. */ /** RegularExpression Id. */
int REG_DOUBLE = 91;
int REG_INT = 91;
/** RegularExpression Id. */ /** RegularExpression Id. */
int REG_IDENTPRIME = 92;
int REG_DOUBLE = 92;
/** RegularExpression Id. */ /** RegularExpression Id. */
int REG_IDENT = 93;
int REG_IDENTPRIME = 93;
/** RegularExpression Id. */ /** RegularExpression Id. */
int REG_QUOTED_IDENT = 94;
int REG_IDENT = 94;
/** RegularExpression Id. */ /** RegularExpression Id. */
int REG_QUOTED_STRING = 95;
int REG_QUOTED_IDENT = 95;
/** RegularExpression Id. */ /** RegularExpression Id. */
int PREPROC = 96;
int REG_QUOTED_STRING = 96;
/** RegularExpression Id. */ /** RegularExpression Id. */
int LEXICAL_ERROR = 97;
int PREPROC = 97;
/** RegularExpression Id. */
int LEXICAL_ERROR = 98;
/** Lexical state. */ /** Lexical state. */
int DEFAULT = 0; int DEFAULT = 0;
@ -300,6 +302,7 @@ public interface PrismParserConstants {
"\"\\\'\"", "\"\\\'\"",
"\"<-\"", "\"<-\"",
"\"?\"", "\"?\"",
"\"^\"",
"<REG_INT>", "<REG_INT>",
"<REG_DOUBLE>", "<REG_DOUBLE>",
"<REG_IDENTPRIME>", "<REG_IDENTPRIME>",

128
prism/src/parser/PrismParserTokenManager.java
View File

@ -24,13 +24,13 @@ private static final int jjStopStringLiteralDfa_0(int pos, long active0, long ac
switch (pos) switch (pos)
{ {
case 0: case 0:
if ((active0 & 0x18f01c409400908L) != 0L)
return 31;
if ((active0 & 0x70fe3bf6bff6f0L) != 0L) if ((active0 & 0x70fe3bf6bff6f0L) != 0L)
{ {
jjmatchedKind = 93;
jjmatchedKind = 94;
return 31; return 31;
} }
if ((active0 & 0x18f01c409400908L) != 0L)
return 31;
if ((active1 & 0x400000L) != 0L) if ((active1 & 0x400000L) != 0L)
return 1; return 1;
if ((active1 & 0x4L) != 0L) if ((active1 & 0x4L) != 0L)
@ -41,7 +41,7 @@ private static final int jjStopStringLiteralDfa_0(int pos, long active0, long ac
{ {
if (jjmatchedPos != 1) if (jjmatchedPos != 1)
{ {
jjmatchedKind = 93;
jjmatchedKind = 94;
jjmatchedPos = 1; jjmatchedPos = 1;
} }
return 31; return 31;
@ -52,7 +52,7 @@ private static final int jjStopStringLiteralDfa_0(int pos, long active0, long ac
return 31; return 31;
if ((active0 & 0x73defa26bff6f0L) != 0L) if ((active0 & 0x73defa26bff6f0L) != 0L)
{ {
jjmatchedKind = 93;
jjmatchedKind = 94;
jjmatchedPos = 2; jjmatchedPos = 2;
return 31; return 31;
} }
@ -64,46 +64,46 @@ private static final int jjStopStringLiteralDfa_0(int pos, long active0, long ac
{ {
if (jjmatchedPos != 3) if (jjmatchedPos != 3)
{ {
jjmatchedKind = 93;
jjmatchedKind = 94;
jjmatchedPos = 3; jjmatchedPos = 3;
} }
return 31; return 31;
} }
return -1; return -1;
case 4: case 4:
if ((active0 & 0x60020040060L) != 0L)
return 31;
if ((active0 & 0x30883a049bf200L) != 0L) if ((active0 & 0x30883a049bf200L) != 0L)
{ {
jjmatchedKind = 93;
jjmatchedKind = 94;
jjmatchedPos = 4; jjmatchedPos = 4;
return 31; return 31;
} }
if ((active0 & 0x60020040060L) != 0L)
return 31;
return -1; return -1;
case 5: case 5:
if ((active0 & 0x20000200900200L) != 0L) if ((active0 & 0x20000200900200L) != 0L)
return 31; return 31;
if ((active0 & 0x108838040bf000L) != 0L) if ((active0 & 0x108838040bf000L) != 0L)
{ {
jjmatchedKind = 93;
jjmatchedKind = 94;
jjmatchedPos = 5; jjmatchedPos = 5;
return 31; return 31;
} }
return -1; return -1;
case 6: case 6:
if ((active0 & 0x800000081000L) != 0L)
return 31;
if ((active0 & 0x1008380403e000L) != 0L) if ((active0 & 0x1008380403e000L) != 0L)
{ {
jjmatchedKind = 93;
jjmatchedKind = 94;
jjmatchedPos = 6; jjmatchedPos = 6;
return 31; return 31;
} }
if ((active0 & 0x800000081000L) != 0L)
return 31;
return -1; return -1;
case 7: case 7:
if ((active0 & 0x1008380403e000L) != 0L) if ((active0 & 0x1008380403e000L) != 0L)
{ {
jjmatchedKind = 93;
jjmatchedKind = 94;
jjmatchedPos = 7; jjmatchedPos = 7;
return 31; return 31;
} }
@ -113,7 +113,7 @@ private static final int jjStopStringLiteralDfa_0(int pos, long active0, long ac
return 31; return 31;
if ((active0 & 0x1008380001a000L) != 0L) if ((active0 & 0x1008380001a000L) != 0L)
{ {
jjmatchedKind = 93;
jjmatchedKind = 94;
jjmatchedPos = 8; jjmatchedPos = 8;
return 31; return 31;
} }
@ -125,7 +125,7 @@ private static final int jjStopStringLiteralDfa_0(int pos, long active0, long ac
{ {
if (jjmatchedPos != 9) if (jjmatchedPos != 9)
{ {
jjmatchedKind = 93;
jjmatchedKind = 94;
jjmatchedPos = 9; jjmatchedPos = 9;
} }
return 31; return 31;
@ -136,7 +136,7 @@ private static final int jjStopStringLiteralDfa_0(int pos, long active0, long ac
return 31; return 31;
if ((active0 & 0x8080000a000L) != 0L) if ((active0 & 0x8080000a000L) != 0L)
{ {
jjmatchedKind = 93;
jjmatchedKind = 94;
jjmatchedPos = 10; jjmatchedPos = 10;
return 31; return 31;
} }
@ -146,7 +146,7 @@ private static final int jjStopStringLiteralDfa_0(int pos, long active0, long ac
return 31; return 31;
if ((active0 & 0x80800008000L) != 0L) if ((active0 & 0x80800008000L) != 0L)
{ {
jjmatchedKind = 93;
jjmatchedKind = 94;
jjmatchedPos = 11; jjmatchedPos = 11;
return 31; return 31;
} }
@ -156,7 +156,7 @@ private static final int jjStopStringLiteralDfa_0(int pos, long active0, long ac
return 31; return 31;
if ((active0 & 0x800008000L) != 0L) if ((active0 & 0x800008000L) != 0L)
{ {
jjmatchedKind = 93;
jjmatchedKind = 94;
jjmatchedPos = 12; jjmatchedPos = 12;
return 31; return 31;
} }
@ -166,7 +166,7 @@ private static final int jjStopStringLiteralDfa_0(int pos, long active0, long ac
return 31; return 31;
if ((active0 & 0x800000000L) != 0L) if ((active0 & 0x800000000L) != 0L)
{ {
jjmatchedKind = 93;
jjmatchedKind = 94;
jjmatchedPos = 13; jjmatchedPos = 13;
return 31; return 31;
} }
@ -174,7 +174,7 @@ private static final int jjStopStringLiteralDfa_0(int pos, long active0, long ac
case 14: case 14:
if ((active0 & 0x800000000L) != 0L) if ((active0 & 0x800000000L) != 0L)
{ {
jjmatchedKind = 93;
jjmatchedKind = 94;
jjmatchedPos = 14; jjmatchedPos = 14;
return 31; return 31;
} }
@ -266,6 +266,8 @@ static private int jjMoveStringLiteralDfa0_0(){
case 93: case 93:
jjmatchedKind = 70; jjmatchedKind = 70;
return jjMoveStringLiteralDfa1_0(0x0L, 0x100L); return jjMoveStringLiteralDfa1_0(0x0L, 0x100L);
case 94:
return jjStopAtPos(0, 90);
case 98: case 98:
return jjMoveStringLiteralDfa1_0(0x10L, 0x0L); return jjMoveStringLiteralDfa1_0(0x10L, 0x0L);
case 99: case 99:
@ -911,14 +913,14 @@ static private int jjMoveNfa_0(int startState, int curPos)
case 31: case 31:
if ((0x3ff000000000000L & l) != 0L) if ((0x3ff000000000000L & l) != 0L)
{ {
if (kind > 93)
kind = 93;
if (kind > 94)
kind = 94;
{ jjCheckNAdd(22); } { jjCheckNAdd(22); }
} }
else if (curChar == 39) else if (curChar == 39)
{ {
if (kind > 92)
kind = 92;
if (kind > 93)
kind = 93;
} }
if ((0x3ff000000000000L & l) != 0L) if ((0x3ff000000000000L & l) != 0L)
{ jjCheckNAddTwoStates(20, 21); } { jjCheckNAddTwoStates(20, 21); }
@ -926,8 +928,8 @@ static private int jjMoveNfa_0(int startState, int curPos)
case 0: case 0:
if ((0x3ff000000000000L & l) != 0L) if ((0x3ff000000000000L & l) != 0L)
{ {
if (kind > 91)
kind = 91;
if (kind > 92)
kind = 92;
{ jjCheckNAddStates(0, 3); } { jjCheckNAddStates(0, 3); }
} }
else if ((0x100002600L & l) != 0L) else if ((0x100002600L & l) != 0L)
@ -945,14 +947,14 @@ static private int jjMoveNfa_0(int startState, int curPos)
jjstateSet[jjnewStateCnt++] = 1; jjstateSet[jjnewStateCnt++] = 1;
if ((0x3fe000000000000L & l) != 0L) if ((0x3fe000000000000L & l) != 0L)
{ {
if (kind > 90)
kind = 90;
if (kind > 91)
kind = 91;
{ jjCheckNAdd(8); } { jjCheckNAdd(8); }
} }
else if (curChar == 48) else if (curChar == 48)
{ {
if (kind > 90)
kind = 90;
if (kind > 91)
kind = 91;
} }
break; break;
case 1: case 1:
@ -988,20 +990,20 @@ static private int jjMoveNfa_0(int startState, int curPos)
case 7: case 7:
if ((0x3fe000000000000L & l) == 0L) if ((0x3fe000000000000L & l) == 0L)
break; break;
if (kind > 90)
kind = 90;
if (kind > 91)
kind = 91;
{ jjCheckNAdd(8); } { jjCheckNAdd(8); }
break; break;
case 8: case 8:
if ((0x3ff000000000000L & l) == 0L) if ((0x3ff000000000000L & l) == 0L)
break; break;
if (kind > 90)
kind = 90;
if (kind > 91)
kind = 91;
{ jjCheckNAdd(8); } { jjCheckNAdd(8); }
break; break;
case 9: case 9:
if (curChar == 48 && kind > 90)
kind = 90;
if (curChar == 48 && kind > 91)
kind = 91;
break; break;
case 10: case 10:
if (curChar == 46) if (curChar == 46)
@ -1010,8 +1012,8 @@ static private int jjMoveNfa_0(int startState, int curPos)
case 11: case 11:
if ((0x3ff000000000000L & l) == 0L) if ((0x3ff000000000000L & l) == 0L)
break; break;
if (kind > 91)
kind = 91;
if (kind > 92)
kind = 92;
{ jjCheckNAddTwoStates(11, 12); } { jjCheckNAddTwoStates(11, 12); }
break; break;
case 13: case 13:
@ -1021,8 +1023,8 @@ static private int jjMoveNfa_0(int startState, int curPos)
case 14: case 14:
if ((0x3ff000000000000L & l) == 0L) if ((0x3ff000000000000L & l) == 0L)
break; break;
if (kind > 91)
kind = 91;
if (kind > 92)
kind = 92;
{ jjCheckNAdd(14); } { jjCheckNAdd(14); }
break; break;
case 15: case 15:
@ -1034,14 +1036,14 @@ static private int jjMoveNfa_0(int startState, int curPos)
{ jjCheckNAddTwoStates(16, 17); } { jjCheckNAddTwoStates(16, 17); }
break; break;
case 17: case 17:
if (curChar == 35 && kind > 96)
kind = 96;
if (curChar == 35 && kind > 97)
kind = 97;
break; break;
case 18: case 18:
if ((0x3ff000000000000L & l) == 0L) if ((0x3ff000000000000L & l) == 0L)
break; break;
if (kind > 91)
kind = 91;
if (kind > 92)
kind = 92;
{ jjCheckNAddStates(0, 3); } { jjCheckNAddStates(0, 3); }
break; break;
case 20: case 20:
@ -1049,14 +1051,14 @@ static private int jjMoveNfa_0(int startState, int curPos)
{ jjCheckNAddTwoStates(20, 21); } { jjCheckNAddTwoStates(20, 21); }
break; break;
case 21: case 21:
if (curChar == 39 && kind > 92)
kind = 92;
if (curChar == 39 && kind > 93)
kind = 93;
break; break;
case 22: case 22:
if ((0x3ff000000000000L & l) == 0L) if ((0x3ff000000000000L & l) == 0L)
break; break;
if (kind > 93)
kind = 93;
if (kind > 94)
kind = 94;
{ jjCheckNAdd(22); } { jjCheckNAdd(22); }
break; break;
case 23: case 23:
@ -1068,8 +1070,8 @@ static private int jjMoveNfa_0(int startState, int curPos)
{ jjAddStates(11, 12); } { jjAddStates(11, 12); }
break; break;
case 26: case 26:
if (curChar == 34 && kind > 94)
kind = 94;
if (curChar == 34 && kind > 95)
kind = 95;
break; break;
case 28: case 28:
{ jjCheckNAddStates(13, 15); } { jjCheckNAddStates(13, 15); }
@ -1079,8 +1081,8 @@ static private int jjMoveNfa_0(int startState, int curPos)
{ jjCheckNAddStates(13, 15); } { jjCheckNAddStates(13, 15); }
break; break;
case 30: case 30:
if (curChar == 34 && kind > 95)
kind = 95;
if (curChar == 34 && kind > 96)
kind = 96;
break; break;
default : break; default : break;
} }
@ -1096,8 +1098,8 @@ static private int jjMoveNfa_0(int startState, int curPos)
case 31: case 31:
if ((0x7fffffe87fffffeL & l) != 0L) if ((0x7fffffe87fffffeL & l) != 0L)
{ {
if (kind > 93)
kind = 93;
if (kind > 94)
kind = 94;
{ jjCheckNAdd(22); } { jjCheckNAdd(22); }
} }
if ((0x7fffffe87fffffeL & l) != 0L) if ((0x7fffffe87fffffeL & l) != 0L)
@ -1106,8 +1108,8 @@ static private int jjMoveNfa_0(int startState, int curPos)
case 0: case 0:
if ((0x7fffffe87fffffeL & l) == 0L) if ((0x7fffffe87fffffeL & l) == 0L)
break; break;
if (kind > 93)
kind = 93;
if (kind > 94)
kind = 94;
{ jjCheckNAddStates(16, 18); } { jjCheckNAddStates(16, 18); }
break; break;
case 2: case 2:
@ -1129,8 +1131,8 @@ static private int jjMoveNfa_0(int startState, int curPos)
case 22: case 22:
if ((0x7fffffe87fffffeL & l) == 0L) if ((0x7fffffe87fffffeL & l) == 0L)
break; break;
if (kind > 93)
kind = 93;
if (kind > 94)
kind = 94;
{ jjCheckNAdd(22); } { jjCheckNAdd(22); }
break; break;
case 24: case 24:
@ -1234,7 +1236,7 @@ public static final String[] jjstrLiteralImages = {
"\174", "\75\76", "\74\75\76", "\55\76", "\72", "\73", "\54", "\56\56", "\50", "\51", "\174", "\75\76", "\74\75\76", "\55\76", "\72", "\73", "\54", "\56\56", "\50", "\51",
"\133", "\135", "\133\133", "\135\135", "\173", "\175", "\75", "\41\75", "\74", "\76", "\133", "\135", "\133\133", "\135\135", "\173", "\175", "\75", "\41\75", "\74", "\76",
"\74\74", "\76\76", "\74\75", "\76\75", "\53", "\55", "\52", "\57", "\47", "\74\55", "\74\74", "\76\76", "\74\75", "\76\75", "\53", "\55", "\52", "\57", "\47", "\74\55",
"\77", null, null, null, null, null, null, null, null, };
"\77", "\136", null, null, null, null, null, null, null, null, };
static protected Token jjFillToken() static protected Token jjFillToken()
{ {
final Token t; final Token t;
@ -1292,9 +1294,9 @@ public static Token getNextToken()
jjmatchedKind = 0x7fffffff; jjmatchedKind = 0x7fffffff;
jjmatchedPos = 0; jjmatchedPos = 0;
curPos = jjMoveStringLiteralDfa0_0(); curPos = jjMoveStringLiteralDfa0_0();
if (jjmatchedPos == 0 && jjmatchedKind > 97)
if (jjmatchedPos == 0 && jjmatchedKind > 98)
{ {
jjmatchedKind = 97;
jjmatchedKind = 98;
} }
if (jjmatchedKind != 0x7fffffff) if (jjmatchedKind != 0x7fffffff)
{ {
@ -1427,7 +1429,7 @@ public static final String[] lexStateNames = {
"DEFAULT", "DEFAULT",
}; };
static final long[] jjtoToken = { static final long[] jjtoToken = {
0xfffffffffffffff9L, 0x3ffffffffL,
0xfffffffffffffff9L, 0x7ffffffffL,
}; };
static final long[] jjtoSkip = { static final long[] jjtoSkip = {
0x6L, 0x0L, 0x6L, 0x0L,

Write Preview
Loading…
Cancel
Save