コード例 #1
0
ファイル: JJTDotParser.java プロジェクト: rssh/javachecker2
 public final void dotRecordV() throws ParseException {
   /*@bgen(jjtree) dotRecordV */
   SimpleNode jjtn000 = new SimpleNode(JJTDOTRECORDV);
   boolean jjtc000 = true;
   jjtree.openNodeScope(jjtn000);
   try {
     jj_consume_token(LBRACE);
     dotRecord();
     jj_consume_token(RBRACE);
   } catch (Throwable jjte000) {
     if (jjtc000) {
       jjtree.clearNodeScope(jjtn000);
       jjtc000 = false;
     } else {
       jjtree.popNode();
     }
     if (jjte000 instanceof RuntimeException) {
       {
         if (true) throw (RuntimeException) jjte000;
       }
     }
     if (jjte000 instanceof ParseException) {
       {
         if (true) throw (ParseException) jjte000;
       }
     }
     {
       if (true) throw (Error) jjte000;
     }
   } finally {
     if (jjtc000) {
       jjtree.closeNodeScope(jjtn000, true);
     }
   }
 }
コード例 #2
0
ファイル: JJTDotParser.java プロジェクト: rssh/javachecker2
 public final void portAngle() throws ParseException {
   /*@bgen(jjtree) portAngle */
   SimpleNode jjtn000 = new SimpleNode(JJTPORTANGLE);
   boolean jjtc000 = true;
   jjtree.openNodeScope(jjtn000);
   try {
     jj_consume_token(AT);
     id();
   } catch (Throwable jjte000) {
     if (jjtc000) {
       jjtree.clearNodeScope(jjtn000);
       jjtc000 = false;
     } else {
       jjtree.popNode();
     }
     if (jjte000 instanceof RuntimeException) {
       {
         if (true) throw (RuntimeException) jjte000;
       }
     }
     if (jjte000 instanceof ParseException) {
       {
         if (true) throw (ParseException) jjte000;
       }
     }
     {
       if (true) throw (Error) jjte000;
     }
   } finally {
     if (jjtc000) {
       jjtree.closeNodeScope(jjtn000, true);
     }
   }
 }
コード例 #3
0
ファイル: JJTDotParser.java プロジェクト: rssh/javachecker2
 public final void id() throws ParseException {
   /*@bgen(jjtree) id */
   SimpleNode jjtn000 = new SimpleNode(JJTID);
   boolean jjtc000 = true;
   jjtree.openNodeScope(jjtn000);
   Token tk = null;
   try {
     switch ((jj_ntk == -1) ? jj_ntk() : jj_ntk) {
       case IDENTIFIER:
         tk = jj_consume_token(IDENTIFIER);
         break;
       case STRING_LITERAL:
         tk = jj_consume_token(STRING_LITERAL);
         break;
       default:
         jj_la1[18] = jj_gen;
         jj_consume_token(-1);
         throw new ParseException();
     }
     jjtree.closeNodeScope(jjtn000, true);
     jjtc000 = false;
     jjtn000.addTerm(createString(tk.image), 0);
   } finally {
     if (jjtc000) {
       jjtree.closeNodeScope(jjtn000, true);
     }
   }
 }
コード例 #4
0
ファイル: JJTDotParser.java プロジェクト: rssh/javachecker2
 public final void dotSubgraph() throws ParseException {
   /*@bgen(jjtree) dotSubgraph */
   SimpleNode jjtn000 = new SimpleNode(JJTDOTSUBGRAPH);
   boolean jjtc000 = true;
   jjtree.openNodeScope(jjtn000);
   try {
     switch ((jj_ntk == -1) ? jj_ntk() : jj_ntk) {
       case SUBGRAPH:
         jj_consume_token(SUBGRAPH);
         id();
         switch ((jj_ntk == -1) ? jj_ntk() : jj_ntk) {
           case LBRACE:
             jj_consume_token(LBRACE);
             dotStmtList();
             jj_consume_token(RBRACE);
             break;
           default:
             jj_la1[22] = jj_gen;
             ;
         }
         break;
       case LBRACE:
         jj_consume_token(LBRACE);
         dotStmtList();
         jj_consume_token(RBRACE);
         break;
       default:
         jj_la1[23] = jj_gen;
         jj_consume_token(-1);
         throw new ParseException();
     }
   } catch (Throwable jjte000) {
     if (jjtc000) {
       jjtree.clearNodeScope(jjtn000);
       jjtc000 = false;
     } else {
       jjtree.popNode();
     }
     if (jjte000 instanceof RuntimeException) {
       {
         if (true) throw (RuntimeException) jjte000;
       }
     }
     if (jjte000 instanceof ParseException) {
       {
         if (true) throw (ParseException) jjte000;
       }
     }
     {
       if (true) throw (Error) jjte000;
     }
   } finally {
     if (jjtc000) {
       jjtree.closeNodeScope(jjtn000, true);
     }
   }
 }
コード例 #5
0
ファイル: JJTDotParser.java プロジェクト: rssh/javachecker2
 public final void edgeRHS() throws ParseException {
   /*@bgen(jjtree) edgeRHS */
   SimpleNode jjtn000 = new SimpleNode(JJTEDGERHS);
   boolean jjtc000 = true;
   jjtree.openNodeScope(jjtn000);
   try {
     edgeOp();
     switch ((jj_ntk == -1) ? jj_ntk() : jj_ntk) {
       case STRING_LITERAL:
       case IDENTIFIER:
         dotNodeId();
         break;
       case SUBGRAPH:
       case LBRACE:
         dotSubgraph();
         break;
       default:
         jj_la1[19] = jj_gen;
         jj_consume_token(-1);
         throw new ParseException();
     }
     switch ((jj_ntk == -1) ? jj_ntk() : jj_ntk) {
       case GRAPG_EDGE:
       case DIGRAPG_EDGE:
         edgeRHS();
         break;
       default:
         jj_la1[20] = jj_gen;
         ;
     }
   } catch (Throwable jjte000) {
     if (jjtc000) {
       jjtree.clearNodeScope(jjtn000);
       jjtc000 = false;
     } else {
       jjtree.popNode();
     }
     if (jjte000 instanceof RuntimeException) {
       {
         if (true) throw (RuntimeException) jjte000;
       }
     }
     if (jjte000 instanceof ParseException) {
       {
         if (true) throw (ParseException) jjte000;
       }
     }
     {
       if (true) throw (Error) jjte000;
     }
   } finally {
     if (jjtc000) {
       jjtree.closeNodeScope(jjtn000, true);
     }
   }
 }
コード例 #6
0
ファイル: JJTDotParser.java プロジェクト: rssh/javachecker2
 public final void nodeOrEdgeStmt() throws ParseException {
   /*@bgen(jjtree) nodeOrEdgeStmt */
   SimpleNode jjtn000 = new SimpleNode(JJTNODEOREDGESTMT);
   boolean jjtc000 = true;
   jjtree.openNodeScope(jjtn000);
   try {
     dotNodeId();
     switch ((jj_ntk == -1) ? jj_ntk() : jj_ntk) {
       case LBRACKET:
       case GRAPG_EDGE:
       case DIGRAPG_EDGE:
         switch ((jj_ntk == -1) ? jj_ntk() : jj_ntk) {
           case LBRACKET:
             attrList();
             break;
           case GRAPG_EDGE:
           case DIGRAPG_EDGE:
             edgeStmtTail();
             break;
           default:
             jj_la1[4] = jj_gen;
             jj_consume_token(-1);
             throw new ParseException();
         }
         break;
       default:
         jj_la1[5] = jj_gen;
         ;
     }
   } catch (Throwable jjte000) {
     if (jjtc000) {
       jjtree.clearNodeScope(jjtn000);
       jjtc000 = false;
     } else {
       jjtree.popNode();
     }
     if (jjte000 instanceof RuntimeException) {
       {
         if (true) throw (RuntimeException) jjte000;
       }
     }
     if (jjte000 instanceof ParseException) {
       {
         if (true) throw (ParseException) jjte000;
       }
     }
     {
       if (true) throw (Error) jjte000;
     }
   } finally {
     if (jjtc000) {
       jjtree.closeNodeScope(jjtn000, true);
     }
   }
 }
コード例 #7
0
ファイル: JJTDotParser.java プロジェクト: rssh/javachecker2
 public final void attrAssignmentsList() throws ParseException {
   /*@bgen(jjtree) attrAssignmentsList */
   SimpleNode jjtn000 = new SimpleNode(JJTATTRASSIGNMENTSLIST);
   boolean jjtc000 = true;
   jjtree.openNodeScope(jjtn000);
   try {
     switch ((jj_ntk == -1) ? jj_ntk() : jj_ntk) {
       case STRING_LITERAL:
       case IDENTIFIER:
         dotAttributeAssignment();
         label_3:
         while (true) {
           switch ((jj_ntk == -1) ? jj_ntk() : jj_ntk) {
             case COMMA:;
               break;
             default:
               jj_la1[9] = jj_gen;
               break label_3;
           }
           jj_consume_token(COMMA);
           dotAttributeAssignment();
         }
         break;
       default:
         jj_la1[10] = jj_gen;
         ;
     }
   } catch (Throwable jjte000) {
     if (jjtc000) {
       jjtree.clearNodeScope(jjtn000);
       jjtc000 = false;
     } else {
       jjtree.popNode();
     }
     if (jjte000 instanceof RuntimeException) {
       {
         if (true) throw (RuntimeException) jjte000;
       }
     }
     if (jjte000 instanceof ParseException) {
       {
         if (true) throw (ParseException) jjte000;
       }
     }
     {
       if (true) throw (Error) jjte000;
     }
   } finally {
     if (jjtc000) {
       jjtree.closeNodeScope(jjtn000, true);
     }
   }
 }
コード例 #8
0
ファイル: JJTDotParser.java プロジェクト: rssh/javachecker2
 public final void stmt() throws ParseException {
   /*@bgen(jjtree) stmt */
   SimpleNode jjtn000 = new SimpleNode(JJTSTMT);
   boolean jjtc000 = true;
   jjtree.openNodeScope(jjtn000);
   try {
     switch ((jj_ntk == -1) ? jj_ntk() : jj_ntk) {
       case GRAPH:
       case NODE:
       case EDGE:
         dotAttrStmt();
         break;
       case SUBGRAPH:
       case LBRACE:
         subgraphOrEdgeSubgraphStmt();
         break;
       default:
         jj_la1[3] = jj_gen;
         if (jj_2_2(2147483647)) {
           dotAttributeAssignment();
         } else if (jj_2_3(2)) {
           nodeOrEdgeStmt();
         } else {
           jj_consume_token(-1);
           throw new ParseException();
         }
     }
   } catch (Throwable jjte000) {
     if (jjtc000) {
       jjtree.clearNodeScope(jjtn000);
       jjtc000 = false;
     } else {
       jjtree.popNode();
     }
     if (jjte000 instanceof RuntimeException) {
       {
         if (true) throw (RuntimeException) jjte000;
       }
     }
     if (jjte000 instanceof ParseException) {
       {
         if (true) throw (ParseException) jjte000;
       }
     }
     {
       if (true) throw (Error) jjte000;
     }
   } finally {
     if (jjtc000) {
       jjtree.closeNodeScope(jjtn000, true);
     }
   }
 }
コード例 #9
0
ファイル: JJTDotParser.java プロジェクト: rssh/javachecker2
 public final void dotStmtList() throws ParseException {
   /*@bgen(jjtree) dotStmtList */
   SimpleNode jjtn000 = new SimpleNode(JJTDOTSTMTLIST);
   boolean jjtc000 = true;
   jjtree.openNodeScope(jjtn000);
   Token tk;
   try {
     stmt();
     label_1:
     while (true) {
       if (jj_2_1(2)) {;
       } else {
         break label_1;
       }
       jj_consume_token(SEMICOLON);
       stmt();
     }
     switch ((jj_ntk == -1) ? jj_ntk() : jj_ntk) {
       case SEMICOLON:
         jj_consume_token(SEMICOLON);
         break;
       default:
         jj_la1[2] = jj_gen;
         ;
     }
   } catch (Throwable jjte000) {
     if (jjtc000) {
       jjtree.clearNodeScope(jjtn000);
       jjtc000 = false;
     } else {
       jjtree.popNode();
     }
     if (jjte000 instanceof RuntimeException) {
       {
         if (true) throw (RuntimeException) jjte000;
       }
     }
     if (jjte000 instanceof ParseException) {
       {
         if (true) throw (ParseException) jjte000;
       }
     }
     {
       if (true) throw (Error) jjte000;
     }
   } finally {
     if (jjtc000) {
       jjtree.closeNodeScope(jjtn000, true);
     }
   }
 }
コード例 #10
0
ファイル: JJTDotParser.java プロジェクト: rssh/javachecker2
 public final void portLocation() throws ParseException {
   /*@bgen(jjtree) portLocation */
   SimpleNode jjtn000 = new SimpleNode(JJTPORTLOCATION);
   boolean jjtc000 = true;
   jjtree.openNodeScope(jjtn000);
   try {
     jj_consume_token(45);
     switch ((jj_ntk == -1) ? jj_ntk() : jj_ntk) {
       case STRING_LITERAL:
       case IDENTIFIER:
         id();
         break;
       case LPAREN:
         jj_consume_token(LPAREN);
         id();
         jj_consume_token(COMMA);
         id();
         jj_consume_token(RPAREN);
         break;
       default:
         jj_la1[16] = jj_gen;
         jj_consume_token(-1);
         throw new ParseException();
     }
   } catch (Throwable jjte000) {
     if (jjtc000) {
       jjtree.clearNodeScope(jjtn000);
       jjtc000 = false;
     } else {
       jjtree.popNode();
     }
     if (jjte000 instanceof RuntimeException) {
       {
         if (true) throw (RuntimeException) jjte000;
       }
     }
     if (jjte000 instanceof ParseException) {
       {
         if (true) throw (ParseException) jjte000;
       }
     }
     {
       if (true) throw (Error) jjte000;
     }
   } finally {
     if (jjtc000) {
       jjtree.closeNodeScope(jjtn000, true);
     }
   }
 }
コード例 #11
0
ファイル: JJTDotParser.java プロジェクト: rssh/javachecker2
 public final void dotRecordElement() throws ParseException {
   /*@bgen(jjtree) dotRecordElement */
   SimpleNode jjtn000 = new SimpleNode(JJTDOTRECORDELEMENT);
   boolean jjtc000 = true;
   jjtree.openNodeScope(jjtn000);
   Token tk;
   try {
     switch ((jj_ntk == -1) ? jj_ntk() : jj_ntk) {
       case STRING_LITERAL:
         tk = jj_consume_token(STRING_LITERAL);
         jjtree.closeNodeScope(jjtn000, true);
         jjtc000 = false;
         jjtn000.addTerm(createString(tk.image), 0);
         break;
       case LBRACE:
         dotRecordV();
         break;
       default:
         jj_la1[25] = jj_gen;
         jj_consume_token(-1);
         throw new ParseException();
     }
   } catch (Throwable jjte000) {
     if (jjtc000) {
       jjtree.clearNodeScope(jjtn000);
       jjtc000 = false;
     } else {
       jjtree.popNode();
     }
     if (jjte000 instanceof RuntimeException) {
       {
         if (true) throw (RuntimeException) jjte000;
       }
     }
     if (jjte000 instanceof ParseException) {
       {
         if (true) throw (ParseException) jjte000;
       }
     }
     {
       if (true) throw (Error) jjte000;
     }
   } finally {
     if (jjtc000) {
       jjtree.closeNodeScope(jjtn000, true);
     }
   }
 }
コード例 #12
0
ファイル: JJTDotParser.java プロジェクト: rssh/javachecker2
 public final void dotRecord() throws ParseException {
   /*@bgen(jjtree) dotRecord */
   SimpleNode jjtn000 = new SimpleNode(JJTDOTRECORD);
   boolean jjtc000 = true;
   jjtree.openNodeScope(jjtn000);
   try {
     dotRecordElement();
     label_4:
     while (true) {
       switch ((jj_ntk == -1) ? jj_ntk() : jj_ntk) {
         case 46:;
           break;
         default:
           jj_la1[24] = jj_gen;
           break label_4;
       }
       jj_consume_token(46);
       dotRecordElement();
     }
   } catch (Throwable jjte000) {
     if (jjtc000) {
       jjtree.clearNodeScope(jjtn000);
       jjtc000 = false;
     } else {
       jjtree.popNode();
     }
     if (jjte000 instanceof RuntimeException) {
       {
         if (true) throw (RuntimeException) jjte000;
       }
     }
     if (jjte000 instanceof ParseException) {
       {
         if (true) throw (ParseException) jjte000;
       }
     }
     {
       if (true) throw (Error) jjte000;
     }
   } finally {
     if (jjtc000) {
       jjtree.closeNodeScope(jjtn000, true);
     }
   }
 }
コード例 #13
0
ファイル: JJTDotParser.java プロジェクト: rssh/javachecker2
 public final void attrList() throws ParseException {
   /*@bgen(jjtree) attrList */
   SimpleNode jjtn000 = new SimpleNode(JJTATTRLIST);
   boolean jjtc000 = true;
   jjtree.openNodeScope(jjtn000);
   try {
     label_2:
     while (true) {
       jj_consume_token(LBRACKET);
       attrAssignmentsList();
       jj_consume_token(RBRACKET);
       switch ((jj_ntk == -1) ? jj_ntk() : jj_ntk) {
         case LBRACKET:;
           break;
         default:
           jj_la1[8] = jj_gen;
           break label_2;
       }
     }
   } catch (Throwable jjte000) {
     if (jjtc000) {
       jjtree.clearNodeScope(jjtn000);
       jjtc000 = false;
     } else {
       jjtree.popNode();
     }
     if (jjte000 instanceof RuntimeException) {
       {
         if (true) throw (RuntimeException) jjte000;
       }
     }
     if (jjte000 instanceof ParseException) {
       {
         if (true) throw (ParseException) jjte000;
       }
     }
     {
       if (true) throw (Error) jjte000;
     }
   } finally {
     if (jjtc000) {
       jjtree.closeNodeScope(jjtn000, true);
     }
   }
 }
コード例 #14
0
ファイル: JJTDotParser.java プロジェクト: rssh/javachecker2
 public void ReInit(JJTDotParserTokenManager tm) {
   token_source = tm;
   token = new Token();
   jj_ntk = -1;
   jjtree.reset();
   jj_gen = 0;
   for (int i = 0; i < 26; i++) jj_la1[i] = -1;
   for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls();
 }
コード例 #15
0
ファイル: JJTDotParser.java プロジェクト: rssh/javachecker2
 public void ReInit(java.io.Reader stream) {
   jj_input_stream.ReInit(stream, 1, 1);
   token_source.ReInit(jj_input_stream);
   token = new Token();
   jj_ntk = -1;
   jjtree.reset();
   jj_gen = 0;
   for (int i = 0; i < 26; i++) jj_la1[i] = -1;
   for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls();
 }
コード例 #16
0
ファイル: JJTDotParser.java プロジェクト: rssh/javachecker2
 public final void dotNodeId() throws ParseException {
   /*@bgen(jjtree) dotNodeId */
   SimpleNode jjtn000 = new SimpleNode(JJTDOTNODEID);
   boolean jjtc000 = true;
   jjtree.openNodeScope(jjtn000);
   try {
     id();
     switch ((jj_ntk == -1) ? jj_ntk() : jj_ntk) {
       case AT:
       case 45:
         port();
         break;
       default:
         jj_la1[12] = jj_gen;
         ;
     }
   } catch (Throwable jjte000) {
     if (jjtc000) {
       jjtree.clearNodeScope(jjtn000);
       jjtc000 = false;
     } else {
       jjtree.popNode();
     }
     if (jjte000 instanceof RuntimeException) {
       {
         if (true) throw (RuntimeException) jjte000;
       }
     }
     if (jjte000 instanceof ParseException) {
       {
         if (true) throw (ParseException) jjte000;
       }
     }
     {
       if (true) throw (Error) jjte000;
     }
   } finally {
     if (jjtc000) {
       jjtree.closeNodeScope(jjtn000, true);
     }
   }
 }
コード例 #17
0
ファイル: JJTDotParser.java プロジェクト: rssh/javachecker2
 public final void subgraphOrEdgeSubgraphStmt() throws ParseException {
   /*@bgen(jjtree) subgraphOrEdgeSubgraphStmt */
   SimpleNode jjtn000 = new SimpleNode(JJTSUBGRAPHOREDGESUBGRAPHSTMT);
   boolean jjtc000 = true;
   jjtree.openNodeScope(jjtn000);
   try {
     dotSubgraph();
     switch ((jj_ntk == -1) ? jj_ntk() : jj_ntk) {
       case GRAPG_EDGE:
       case DIGRAPG_EDGE:
         edgeStmtTail();
         break;
       default:
         jj_la1[6] = jj_gen;
         ;
     }
   } catch (Throwable jjte000) {
     if (jjtc000) {
       jjtree.clearNodeScope(jjtn000);
       jjtc000 = false;
     } else {
       jjtree.popNode();
     }
     if (jjte000 instanceof RuntimeException) {
       {
         if (true) throw (RuntimeException) jjte000;
       }
     }
     if (jjte000 instanceof ParseException) {
       {
         if (true) throw (ParseException) jjte000;
       }
     }
     {
       if (true) throw (Error) jjte000;
     }
   } finally {
     if (jjtc000) {
       jjtree.closeNodeScope(jjtn000, true);
     }
   }
 }
コード例 #18
0
ファイル: JJTDotParser.java プロジェクト: rssh/javachecker2
 public final void edgeStmtTail() throws ParseException {
   /*@bgen(jjtree) edgeStmtTail */
   SimpleNode jjtn000 = new SimpleNode(JJTEDGESTMTTAIL);
   boolean jjtc000 = true;
   jjtree.openNodeScope(jjtn000);
   try {
     edgeRHS();
     switch ((jj_ntk == -1) ? jj_ntk() : jj_ntk) {
       case LBRACKET:
         attrList();
         break;
       default:
         jj_la1[17] = jj_gen;
         ;
     }
   } catch (Throwable jjte000) {
     if (jjtc000) {
       jjtree.clearNodeScope(jjtn000);
       jjtc000 = false;
     } else {
       jjtree.popNode();
     }
     if (jjte000 instanceof RuntimeException) {
       {
         if (true) throw (RuntimeException) jjte000;
       }
     }
     if (jjte000 instanceof ParseException) {
       {
         if (true) throw (ParseException) jjte000;
       }
     }
     {
       if (true) throw (Error) jjte000;
     }
   } finally {
     if (jjtc000) {
       jjtree.closeNodeScope(jjtn000, true);
     }
   }
 }
コード例 #19
0
ファイル: JJTDotParser.java プロジェクト: rssh/javachecker2
 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;
   jjtree.reset();
   jj_gen = 0;
   for (int i = 0; i < 26; i++) jj_la1[i] = -1;
   for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls();
 }
コード例 #20
0
ファイル: JJTDotParser.java プロジェクト: rssh/javachecker2
 public final void edgeOp() throws ParseException {
   /*@bgen(jjtree) edgeOp */
   SimpleNode jjtn000 = new SimpleNode(JJTEDGEOP);
   boolean jjtc000 = true;
   jjtree.openNodeScope(jjtn000);
   try {
     switch ((jj_ntk == -1) ? jj_ntk() : jj_ntk) {
       case DIGRAPG_EDGE:
         jj_consume_token(DIGRAPG_EDGE);
         break;
       case GRAPG_EDGE:
         jj_consume_token(GRAPG_EDGE);
         break;
       default:
         jj_la1[21] = jj_gen;
         jj_consume_token(-1);
         throw new ParseException();
     }
   } finally {
     if (jjtc000) {
       jjtree.closeNodeScope(jjtn000, true);
     }
   }
 }
コード例 #21
0
ファイル: JJTDotParser.java プロジェクト: rssh/javachecker2
 /*
  * Program structuring syntax follows.
  */
 public final void dotGraph() throws ParseException {
   /*@bgen(jjtree) dotGraph */
   SimpleNode jjtn000 = new SimpleNode(JJTDOTGRAPH);
   boolean jjtc000 = true;
   jjtree.openNodeScope(jjtn000);
   Token tkStrict = null;
   Token tkDigraph = null;
   Token tkGraph = null;
   try {
     switch ((jj_ntk == -1) ? jj_ntk() : jj_ntk) {
       case STRICT:
         tkStrict = jj_consume_token(STRICT);
         break;
       default:
         jj_la1[0] = jj_gen;
         ;
     }
     switch ((jj_ntk == -1) ? jj_ntk() : jj_ntk) {
       case DIGRAPH:
         tkDigraph = jj_consume_token(DIGRAPH);
         break;
       case GRAPH:
         tkGraph = jj_consume_token(GRAPH);
         break;
       default:
         jj_la1[1] = jj_gen;
         jj_consume_token(-1);
         throw new ParseException();
     }
     id();
     jj_consume_token(LBRACE);
     dotStmtList();
     jj_consume_token(RBRACE);
     jjtree.closeNodeScope(jjtn000, true);
     jjtc000 = false;
     if (tkStrict != null) {
       jjtn000.addTerm(createBoolean(true), 0);
     } else {
       jjtn000.addTerm(createBoolean(false), 0);
     }
     if (tkDigraph != null) {
       jjtn000.addTerm(createAtom("digraph"), 1);
     } else {
       jjtn000.addTerm(createAtom("graph"), 1);
     }
   } catch (Throwable jjte000) {
     if (jjtc000) {
       jjtree.clearNodeScope(jjtn000);
       jjtc000 = false;
     } else {
       jjtree.popNode();
     }
     if (jjte000 instanceof RuntimeException) {
       {
         if (true) throw (RuntimeException) jjte000;
       }
     }
     if (jjte000 instanceof ParseException) {
       {
         if (true) throw (ParseException) jjte000;
       }
     }
     {
       if (true) throw (Error) jjte000;
     }
   } finally {
     if (jjtc000) {
       jjtree.closeNodeScope(jjtn000, true);
     }
   }
 }
コード例 #22
0
ファイル: JJTDotParser.java プロジェクト: rssh/javachecker2
 public SimpleNode getRootNode() {
   return (SimpleNode) jjtree.rootNode();
 }
コード例 #23
0
ファイル: JJTDotParser.java プロジェクト: rssh/javachecker2
 public final void port() throws ParseException {
   /*@bgen(jjtree) port */
   SimpleNode jjtn000 = new SimpleNode(JJTPORT);
   boolean jjtc000 = true;
   jjtree.openNodeScope(jjtn000);
   boolean l = false;
   boolean la = false;
   boolean a = false;
   boolean al = false;
   try {
     switch ((jj_ntk == -1) ? jj_ntk() : jj_ntk) {
       case 45:
         portLocation();
         l = true;
         la = true;
         switch ((jj_ntk == -1) ? jj_ntk() : jj_ntk) {
           case AT:
             portAngle();
             a = true;
             break;
           default:
             jj_la1[13] = jj_gen;
             ;
         }
         break;
       case AT:
         portAngle();
         a = true;
         al = true;
         switch ((jj_ntk == -1) ? jj_ntk() : jj_ntk) {
           case 45:
             portLocation();
             l = true;
             break;
           default:
             jj_la1[14] = jj_gen;
             ;
         }
         break;
       default:
         jj_la1[15] = jj_gen;
         jj_consume_token(-1);
         throw new ParseException();
     }
     jjtree.closeNodeScope(jjtn000, true);
     jjtc000 = false;
     if (la) {
       if (!a) {
         jjtn000.addTerm(createNil(), 1);
       }
     } else if (al) {
       if (l) {
         Term tl = jjtn000.getSubtermAt(1);
         Term ta = jjtn000.getSubtermAt(0);
         jjtn000.setSubtermAt(0, tl);
         jjtn000.setSubtermAt(1, ta);
       } else {
         jjtn000.addTerm(createNil(), 0);
       }
     }
   } catch (Throwable jjte000) {
     if (jjtc000) {
       jjtree.clearNodeScope(jjtn000);
       jjtc000 = false;
     } else {
       jjtree.popNode();
     }
     if (jjte000 instanceof RuntimeException) {
       {
         if (true) throw (RuntimeException) jjte000;
       }
     }
     if (jjte000 instanceof ParseException) {
       {
         if (true) throw (ParseException) jjte000;
       }
     }
     {
       if (true) throw (Error) jjte000;
     }
   } finally {
     if (jjtc000) {
       jjtree.closeNodeScope(jjtn000, true);
     }
   }
 }
コード例 #24
0
ファイル: JJTDotParser.java プロジェクト: rssh/javachecker2
 public final void dotAttributeAssignment() throws ParseException {
   /*@bgen(jjtree) dotAttributeAssignment */
   SimpleNode jjtn000 = new SimpleNode(JJTDOTATTRIBUTEASSIGNMENT);
   boolean jjtc000 = true;
   jjtree.openNodeScope(jjtn000);
   Token tkli = null;
   Token tklf = null;
   try {
     id();
     jj_consume_token(EQ);
     switch ((jj_ntk == -1) ? jj_ntk() : jj_ntk) {
       case STRING_LITERAL:
       case IDENTIFIER:
         id();
         break;
       case INTEGER_LITERAL:
         tkli = jj_consume_token(INTEGER_LITERAL);
         break;
       case FLOATING_POINT_LITERAL:
         tklf = jj_consume_token(FLOATING_POINT_LITERAL);
         break;
       case LBRACEBRACE:
         dotCompoundRecord();
         break;
       default:
         jj_la1[11] = jj_gen;
         jj_consume_token(-1);
         throw new ParseException();
     }
     jjtree.closeNodeScope(jjtn000, true);
     jjtc000 = false;
     if (tkli != null) {
       jjtn000.addTerm(createIntegerOrLong(tkli.image), 1);
     } else if (tklf != null) {
       jjtn000.addTerm(createFloatOrDouble(tklf.image), 1);
     }
   } catch (Throwable jjte000) {
     if (jjtc000) {
       jjtree.clearNodeScope(jjtn000);
       jjtc000 = false;
     } else {
       jjtree.popNode();
     }
     if (jjte000 instanceof RuntimeException) {
       {
         if (true) throw (RuntimeException) jjte000;
       }
     }
     if (jjte000 instanceof ParseException) {
       {
         if (true) throw (ParseException) jjte000;
       }
     }
     {
       if (true) throw (Error) jjte000;
     }
   } finally {
     if (jjtc000) {
       jjtree.closeNodeScope(jjtn000, true);
     }
   }
 }
コード例 #25
0
ファイル: JJTDotParser.java プロジェクト: rssh/javachecker2
 public final void dotAttrStmt() throws ParseException {
   /*@bgen(jjtree) dotAttrStmt */
   SimpleNode jjtn000 = new SimpleNode(JJTDOTATTRSTMT);
   boolean jjtc000 = true;
   jjtree.openNodeScope(jjtn000);
   Token tk1 = null;
   Token tk2 = null;
   Token tk3 = null;
   try {
     switch ((jj_ntk == -1) ? jj_ntk() : jj_ntk) {
       case GRAPH:
         tk1 = jj_consume_token(GRAPH);
         break;
       case NODE:
         tk2 = jj_consume_token(NODE);
         break;
       case EDGE:
         tk3 = jj_consume_token(EDGE);
         break;
       default:
         jj_la1[7] = jj_gen;
         jj_consume_token(-1);
         throw new ParseException();
     }
     attrList();
     jjtree.closeNodeScope(jjtn000, true);
     jjtc000 = false;
     String kind = null;
     if (tk1 != null) {
       kind = "graph";
     } else if (tk2 != null) {
       kind = "node";
     } else if (tk3 != null) {
       kind = "edge";
     } else {
       {
         if (true) throw new RuntimeException("impossible");
       }
     }
     jjtn000.addTerm(createAtom(kind), 0);
   } catch (Throwable jjte000) {
     if (jjtc000) {
       jjtree.clearNodeScope(jjtn000);
       jjtc000 = false;
     } else {
       jjtree.popNode();
     }
     if (jjte000 instanceof RuntimeException) {
       {
         if (true) throw (RuntimeException) jjte000;
       }
     }
     if (jjte000 instanceof ParseException) {
       {
         if (true) throw (ParseException) jjte000;
       }
     }
     {
       if (true) throw (Error) jjte000;
     }
   } finally {
     if (jjtc000) {
       jjtree.closeNodeScope(jjtn000, true);
     }
   }
 }