JavaCCでデッドコードが生成される

Question

JavaCCを初めて使用していますが、デッドコードが多く発生していることに気付いています。

{if ("" != null) return result;} 
    throw new Error("Missing return statement in function"); 
    } 

このデッドコードの生成を避けることはできますか？それはうまく避けることができますコンパイラの警告が発生します。

ありがとうございます！

Statement UseStatement(): 
{ 
    String dbName; 
} 
{ 
    <USE> dbName=DbObjectName() 
    { 
     return new UseStatement(dbName); 
    } 
} 

生成します：ここで

は.jjファイルからの完全な最小限の例です

final public Statement UseStatement() throws ParseException {String dbName; 
    jj_consume_token(USE); 
    dbName = DbObjectName(); 
{if ("" != null) return new UseStatement(dbName);} 
    throw new Error("Missing return statement in function"); 
    } 

さらにJavaCCのはTokenMgrErrorをスローParserTokenManagerファイルを生成している - しかし、コードがしませんコンパイル。それはcharと宣言する必要があるprotected int curCharを宣言します。このフレーズを検索すると、正確にcharと宣言されている多くの例が表示されます。これは多くの人々が結果を手動で編集することですか？

Answer 1

私はソースに行き、デッドコードを防止するために、Options.isLegacyExceptionHandlingをトリガーしなければなりません。その後、トリガー

// Add if statement to prevent subsequent code generated 
    // from being dead code. 
    // NB: eclipse now detects 'if (true)' as dead code, so use the more complicated 
    // 'if ("" != null)' 
    if (inAction && (Options.isLegacyExceptionHandling())) { 
    t.image = "{if (\"\" != null) return"; 
    jumpPatched = true; 
    } 

：

if (p.isJumpPatched() && !voidReturn) { 
    if (isJavaDialect) { 
    // TODO :: I don't think we need to throw an Error/Exception to mark that a return statement is missing as the compiler will flag this error automatically 
    if (Options.isLegacyExceptionHandling()) { 
     codeGenerator.genCodeLine(" throw new "+(Options.isLegacyExceptionHandling() ? "Error" : "RuntimeException")+"(\"Missing return statement in function\");"); 
    } 
    } else { 
    codeGenerator.genCodeLine(" throw \"Missing return statement in function\";"); 
    } 
} 

https://github.com/javacc/javacc/blob/e38cbdb1db7ca8bd66f892859fef88b4876e69ba/src/main/javacc/JavaCC.jj#L2771-L2779

https://github.com/javacc/javacc/blob/2ac628df1f899fdf6acf1f87fad313b6797085f7/src/main/java/org/javacc/parser/ParseEngine.java#L707-L712

レガシー例外処理をする場合にのみJAVA_TEMPLATE_TYPE=modern falseで派生オプションです。それは正しく設定を取得する唯一の方法は、そのよう.jjファイルにoptionsブロックに含めることです。理論的には

options { 
    JAVA_TEMPLATE_TYPE="modern"; 
} 

それはまた、コマンドラインオプションを経由して設定可能であるが、これを書いているとして、それは実際にありますコマンドライン引数が解析される前に派生したオプションを設定することは不可能（​​）