net.automatalib.modelchecker.ltsmin.InternalLTSminLTLParser Maven / Gradle / Ivy
/* InternalLTSminLTLParser.java */
/* Generated By:JavaCC: Do not edit this line. InternalLTSminLTLParser.java */
package net.automatalib.modelchecker.ltsmin;
class InternalLTSminLTLParser implements InternalLTSminLTLParserConstants {
final private void empty() throws ParseException {
}
final private void letterAssignment() throws ParseException {
jj_consume_token(LETTER_LABEL);
jj_consume_token(ASSIGNMENT);
jj_consume_token(BEGIN_LABEL);
switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
case LABEL:{
jj_consume_token(LABEL);
break;
}
default:
jj_la1[0] = jj_gen;
;
}
jj_consume_token(END_LABEL);
}
final private void letterAtom() throws ParseException {
switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
case TRUE:{
jj_consume_token(TRUE);
break;
}
case FALSE:{
jj_consume_token(FALSE);
break;
}
case LETTER_LABEL:{
letterAssignment();
break;
}
default:
jj_la1[1] = jj_gen;
jj_consume_token(-1);
throw new ParseException();
}
}
final public void letterFormula() throws ParseException {
switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
case TRUE:
case FALSE:
case LETTER_LABEL:{
letterAtom();
letterFormulaHelper();
break;
}
case LBRACKET:{
jj_consume_token(LBRACKET);
letterFormula();
jj_consume_token(RBRACKET);
letterFormulaHelper();
break;
}
case NEGATION:{
jj_consume_token(NEGATION);
letterFormula();
letterFormulaHelper();
break;
}
case ALWAYS:{
jj_consume_token(ALWAYS);
letterFormula();
letterFormulaHelper();
break;
}
case EVENTUALLY:{
jj_consume_token(EVENTUALLY);
letterFormula();
letterFormulaHelper();
break;
}
case NEXT:{
jj_consume_token(NEXT);
letterFormula();
letterFormulaHelper();
break;
}
default:
jj_la1[2] = jj_gen;
jj_consume_token(-1);
throw new ParseException();
}
}
final private void letterFormulaHelper() throws ParseException {
switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
case AND:{
jj_consume_token(AND);
letterFormula();
letterFormulaHelper();
break;
}
case OR:{
jj_consume_token(OR);
letterFormula();
letterFormulaHelper();
break;
}
case IMPLICATION:{
jj_consume_token(IMPLICATION);
letterFormula();
letterFormulaHelper();
break;
}
case EQUIVALENCE:{
jj_consume_token(EQUIVALENCE);
letterFormula();
letterFormulaHelper();
break;
}
case UNTIL:{
jj_consume_token(UNTIL);
letterFormula();
letterFormulaHelper();
break;
}
case RELEASE:{
jj_consume_token(RELEASE);
letterFormula();
letterFormulaHelper();
break;
}
default:
jj_la1[3] = jj_gen;
empty();
}
}
final private void ioAssignment() throws ParseException {
jj_consume_token(IO_LABEL);
jj_consume_token(ASSIGNMENT);
jj_consume_token(BEGIN_LABEL);
switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
case LABEL:{
jj_consume_token(LABEL);
break;
}
default:
jj_la1[4] = jj_gen;
;
}
jj_consume_token(END_LABEL);
}
final private void ioAtom() throws ParseException {
switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
case TRUE:{
jj_consume_token(TRUE);
break;
}
case FALSE:{
jj_consume_token(FALSE);
break;
}
case IO_LABEL:{
ioAssignment();
break;
}
default:
jj_la1[5] = jj_gen;
jj_consume_token(-1);
throw new ParseException();
}
}
final public void ioFormula() throws ParseException {
switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
case TRUE:
case FALSE:
case IO_LABEL:{
ioAtom();
ioFormulaHelper();
break;
}
case LBRACKET:{
jj_consume_token(LBRACKET);
ioFormula();
jj_consume_token(RBRACKET);
ioFormulaHelper();
break;
}
case NEGATION:{
jj_consume_token(NEGATION);
ioFormula();
ioFormulaHelper();
break;
}
case ALWAYS:{
jj_consume_token(ALWAYS);
ioFormula();
ioFormulaHelper();
break;
}
case EVENTUALLY:{
jj_consume_token(EVENTUALLY);
ioFormula();
ioFormulaHelper();
break;
}
case NEXT:{
jj_consume_token(NEXT);
ioFormula();
ioFormulaHelper();
break;
}
default:
jj_la1[6] = jj_gen;
jj_consume_token(-1);
throw new ParseException();
}
}
final private void ioFormulaHelper() throws ParseException {
switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
case AND:{
jj_consume_token(AND);
ioFormula();
ioFormulaHelper();
break;
}
case OR:{
jj_consume_token(OR);
ioFormula();
ioFormulaHelper();
break;
}
case IMPLICATION:{
jj_consume_token(IMPLICATION);
ioFormula();
ioFormulaHelper();
break;
}
case EQUIVALENCE:{
jj_consume_token(EQUIVALENCE);
ioFormula();
ioFormulaHelper();
break;
}
case UNTIL:{
jj_consume_token(UNTIL);
ioFormula();
ioFormulaHelper();
break;
}
case RELEASE:{
jj_consume_token(RELEASE);
ioFormula();
ioFormulaHelper();
break;
}
default:
jj_la1[7] = jj_gen;
empty();
}
}
/** Generated Token Manager. */
public InternalLTSminLTLParserTokenManager token_source;
SimpleCharStream jj_input_stream;
/** Current token. */
public Token token;
/** Next token. */
public Token jj_nt;
private int jj_ntk;
private int jj_gen;
final private int[] jj_la1 = new int[8];
static private int[] jj_la1_0;
static {
jj_la1_init_0();
}
private static void jj_la1_init_0() {
jj_la1_0 = new int[] {0x100,0x460,0x7a460,0x1f80000,0x100,0x860,0x7a860,0x1f80000,};
}
/** Constructor with InputStream. */
public InternalLTSminLTLParser(java.io.InputStream stream) {
this(stream, null);
}
/** Constructor with InputStream and supplied encoding */
public InternalLTSminLTLParser(java.io.InputStream stream, String encoding) {
try { jj_input_stream = new SimpleCharStream(stream, encoding, 1, 1); } catch(java.io.UnsupportedEncodingException e) { throw new RuntimeException(e); }
token_source = new InternalLTSminLTLParserTokenManager(jj_input_stream);
token = new Token();
jj_ntk = -1;
jj_gen = 0;
for (int i = 0; i < 8; i++) jj_la1[i] = -1;
}
/** Reinitialise. */
public void ReInit(java.io.InputStream stream) {
ReInit(stream, null);
}
/** Reinitialise. */
public void ReInit(java.io.InputStream stream, String encoding) {
try { jj_input_stream.ReInit(stream, encoding, 1, 1); } catch(java.io.UnsupportedEncodingException e) { throw new RuntimeException(e); }
token_source.ReInit(jj_input_stream);
token = new Token();
jj_ntk = -1;
jj_gen = 0;
for (int i = 0; i < 8; i++) jj_la1[i] = -1;
}
/** Constructor. */
public InternalLTSminLTLParser(java.io.Reader stream) {
jj_input_stream = new SimpleCharStream(stream, 1, 1);
token_source = new InternalLTSminLTLParserTokenManager(jj_input_stream);
token = new Token();
jj_ntk = -1;
jj_gen = 0;
for (int i = 0; i < 8; i++) jj_la1[i] = -1;
}
/** Reinitialise. */
public void ReInit(java.io.Reader stream) {
if (jj_input_stream == null) {
jj_input_stream = new SimpleCharStream(stream, 1, 1);
} else {
jj_input_stream.ReInit(stream, 1, 1);
}
if (token_source == null) {
token_source = new InternalLTSminLTLParserTokenManager(jj_input_stream);
}
token_source.ReInit(jj_input_stream);
token = new Token();
jj_ntk = -1;
jj_gen = 0;
for (int i = 0; i < 8; i++) jj_la1[i] = -1;
}
/** Constructor with generated Token Manager. */
public InternalLTSminLTLParser(InternalLTSminLTLParserTokenManager tm) {
token_source = tm;
token = new Token();
jj_ntk = -1;
jj_gen = 0;
for (int i = 0; i < 8; i++) jj_la1[i] = -1;
}
/** Reinitialise. */
public void ReInit(InternalLTSminLTLParserTokenManager tm) {
token_source = tm;
token = new Token();
jj_ntk = -1;
jj_gen = 0;
for (int i = 0; i < 8; i++) jj_la1[i] = -1;
}
private Token jj_consume_token(int kind) throws ParseException {
Token oldToken;
if ((oldToken = token).next != null) token = token.next;
else token = token.next = token_source.getNextToken();
jj_ntk = -1;
if (token.kind == kind) {
jj_gen++;
return token;
}
token = oldToken;
jj_kind = kind;
throw generateParseException();
}
/** Get the next Token. */
final public Token getNextToken() {
if (token.next != null) token = token.next;
else token = token.next = token_source.getNextToken();
jj_ntk = -1;
jj_gen++;
return token;
}
/** Get the specific Token. */
final public Token getToken(int index) {
Token t = token;
for (int i = 0; i < index; i++) {
if (t.next != null) t = t.next;
else t = t.next = token_source.getNextToken();
}
return t;
}
private int jj_ntk_f() {
if ((jj_nt=token.next) == null)
return (jj_ntk = (token.next=token_source.getNextToken()).kind);
else
return (jj_ntk = jj_nt.kind);
}
private java.util.List jj_expentries = new java.util.ArrayList();
private int[] jj_expentry;
private int jj_kind = -1;
/** Generate ParseException. */
public ParseException generateParseException() {
jj_expentries.clear();
boolean[] la1tokens = new boolean[25];
if (jj_kind >= 0) {
la1tokens[jj_kind] = true;
jj_kind = -1;
}
for (int i = 0; i < 8; i++) {
if (jj_la1[i] == jj_gen) {
for (int j = 0; j < 32; j++) {
if ((jj_la1_0[i] & (1<