ANTLR如何计算ifdef else end语句

ANTLR如何计算ifdef else end语句,antlr,conditional-compilation,Antlr,Conditional Compilation,我想知道如何评估ifdef。。。其他的end语句,可以放在代码中的任何位置。我从一个简单的例子开始,它实现了两个基本函数addp1,p2和diffp1,p2,其中p1和p2是字符串。它仅在p1和p2之间添加+或-in。这是我的语法: grammar ifdef; options { language = Java; output = AST; ASTLabelType=CommonTree; } tokens { EQUAL = '=' ;

我想知道如何评估ifdef。。。其他的end语句,可以放在代码中的任何位置。我从一个简单的例子开始,它实现了两个基本函数addp1,p2和diffp1,p2,其中p1和p2是字符串。它仅在p1和p2之间添加+或-in。这是我的语法:

grammar ifdef;

options {
  language = Java;
  output = AST;
  ASTLabelType=CommonTree;
}

tokens 
{
    EQUAL           = '=' ;
    HASH            = '#' ;
    DBLEQUOTE       = '"' ;
    SEMICOLON       = ';' ;
}


@header {
    package Grammar;

    import java.util.Map;
    import java.util.HashMap;

}

@lexer::header {
    package Grammar;    
}

@members {
    private Map<String, String> strMapID = new HashMap<String, String>();
    private Map<String, String> strMapDefine = new HashMap<String, String>();
}


rule returns [String strEval]
    :   {   StringBuilder strBuilder = new StringBuilder(); }
    (   command
        {   if ( $command.str != "" ) {
                strBuilder.append( $command.str );
                strBuilder.append( "\n" );
            }
        }

    )+ EOF
        { $strEval = strBuilder.toString(); }
    ;

command returns [String str]
    :   define      { $str=""; }
    |   undef       { $str=""; }
    |   set         { $str=""; }
    |   function    { $str = $function.str; }
    |   ifdef       { $str=""; }
    ;

define
    :   HASH 'define' ID
        { strMapDefine.put($ID.text, $ID.text); }       // save define ID into hash table
    ;

undef
    :   HASH 'undef' ID
        {   if ( strMapDefine.containsKey($ID.text) ) {
                strMapDefine.remove($ID.text);          // undef ID in hash table
                }
        }
    ;

set
    :   'set' ID EQUAL string SEMICOLON
        { strMapID.put($ID.text, $string.text); }       // save ID,string definition into hash table 
    ;

string
    :   DBLEQUOTE expr DBLEQUOTE
    ;

function returns [String str]
    :   add     { $str = $add.str; }
    |   diff    { $str = $diff.str; }
    ;

add returns [String str]
    :   'add' '(' p1=param ',' p2=param ')'
        {   StringBuilder strBuilder = new StringBuilder();
            strBuilder.append( $p1.str );
            strBuilder.append( "+" );
            strBuilder.append( $p2.str );
            $str = strBuilder.toString();
        }
    ;

diff returns [String str]
    :   'diff' '(' p1=param ',' p2=param ')'
        {   StringBuilder strBuilder = new StringBuilder();
            strBuilder.append( $p1.str );
            strBuilder.append( "-" );
            strBuilder.append( $p2.str );
            $str = strBuilder.toString();
        }
    ;

param returns [String str]
    :   ID          { $str = strMapID.get($ID.text); }      // assign ID definition to str
    |   string      { $str = $string.text; }
    |   function    { $str = $function.str; }
    ;

ifdef
    :   {   Boolean bElse= false;
            StringBuilder strBuilder = new StringBuilder(); }
        HASH 'ifdef' '(' ID ')' c1=expr ( HASH 'else' c2=expr { bElse= true; } )? HASH 'end'
        {   if ( strMapDefine.containsKey($ID.text) ) {
                strBuilder.append($c1.text);
            }
            else {
                if ( bElse ) {
                    strBuilder.append($c2.text);
                }
            }
            System.out.println("ifdef content is : " + strBuilder.toString() + "\n" );
        }
    ;

expr
    :   .+
    ;

ID
    :   ('a'..'z' | 'A'..'Z')+
    ;

WS
    :   ( ' ' | '\t' | '\n' | '\r' ) {$channel=HIDDEN;}
    ;
输入文件内容如下:

未定义Z 设置AB=toto; 设置CD=titi

扩散 ifdefZ添加结束

添加AB、差异CD、essai

结果与预期一致

ifdef内容为:

解析树是 未定义Z集AB=toto;设置CD=titi;差异CD,essai ifdef Z添加结束添加AB,差异CD,essai

评估是 提提·埃塞 托托+提提埃塞

我的问题是如何评估这些输入文本,它们应该给出相同的结果:

未定义Z 设置AB=toto; 设置CD=titi

扩散 ifdefZ添加结束

添加AB、ifdefZ添加其他差异结束CD、essai

结果控制台是正常的ANTLR行为:

ifdef内容为:

src/input/test.txt第8:11行输入时没有可行的替代方案 src/input/test.txt第8:43行“CD”处缺少EOF ifdef内容为:diff

解析树是 未定义Z集AB=toto;设置CD=titi;diff CD,essai ifdef Z add end add AB,<意外:[@59,94:94=,<6>,8:11],resync=>ifdef Z add else diff end

评估是 提提·埃塞 toto+null

一些从何处开始的指导将更受欢迎
关于JPM

感谢巴特指出这一点。我更熟悉C/C++。我做了测试,并阅读了关于java类字符串的更多解释。我将替换为:如果$command.str.equals…事实上,这是正确的。那么,在改变这一点之后,它仍然不起作用吗?是的,仍然不起作用。这只是为了从输出中删除不需要计算的命令。我关心的是如何实现对ifdef语句的求值。我认为语法不可能包含所有可以找到ifdef块的可能性。我认为要完成我正在寻找的任务,我必须覆盖ANTLR错误/令牌识别,但我还没有找到开始的地方。我面临的问题是,在对ifdef语句进行求值和替换之前,它可能是无效规则。我读过你的博客,但据我所知,这个案例没有得到处理。我不建议像你现在这样一次性解析和评估。对于一个简单的表达式语法/求值器,您可能可以这样做,但一旦像if这样的构造发挥作用,最好先构建一个AST,然后遍历/求值所述树。你提到了我的博客,所以我建议你尝试做一些类似我在那里描述的事情。祝你好运!
package Grammar;

import java.io.IOException;

import org.antlr.runtime.ANTLRFileStream;
import org.antlr.runtime.CharStream;
import org.antlr.runtime.CommonTokenStream;
import org.antlr.runtime.RecognitionException;
import org.antlr.runtime.TokenStream;

import Grammar.ifdefParser.rule_return;


public class mainifdef {

    public static void main(String[] args) throws RecognitionException {
        CharStream stream=null;
        try {
            stream = new ANTLRFileStream("src/input/test.txt");
        } catch (IOException e) {
            // TODO Auto-generated catch block
            e.printStackTrace();
        }
        ifdefLexer lexer = new ifdefLexer(stream);
        TokenStream tokenStream = new CommonTokenStream(lexer);
        ifdefParser parser = new ifdefParser(tokenStream);
        rule_return evaluator = parser.rule();

        System.out.println("Parsing Tree is \n" + evaluator.tree.toStringTree() + "\n");
        System.out.println("Evaluation is \n" + evaluator.strEval + "\n");

    }
}