4

この文法から始めて: https://stackoverflow.com/a/14287002/1082002次のような単純な言語を受け入れて評価する単純な文法を実現します。

{ 
   if a==c { 
      a
      if a==b { 
         b 
      } else { 
         c 
      }
   }

}

したがって、 ifa==cの場合は実行aして評価しif a==b、true の場合はそれ以外の場合を実行しbますc。本当に簡単です。

パーサー文法とツリー文法は次のとおりです。

TreeEvaluator.g (AST を生成するための結合された文法)

grammar TreeEvaluator;

options { 
    output = AST;
}

tokens { 
    CONDBLOCK;
    CODEBLOCK;
    DEFAULT;
}


compilationUnit : block EOF -> block;

condition       : cif elif* celse? -> ^(IF cif elif* celse?);
cif             : IF expr block -> ^(CONDBLOCK expr block);
elif            : ELIF expr block -> ^(CONDBLOCK expr block);
celse           : ELSE block -> ^(DEFAULT block); 
expr            : ID EQ^ ID;
block           : LCUR instruction* RCUR -> ^(CODEBLOCK instruction*);
instruction     : ID | condition;

IF  : 'if';
ELIF: 'elif';
ELSE: 'else';
LCUR: '{';
RCUR: '}';
EQ  : '==';
ID  : ('a'..'z'|'A'..'Z')+;
WS  : (' '|'\t'|'\f'|'\r'|'\n')+ {skip();};

AstTreeEvaluatorParser.g (ツリー パーサー)

tree grammar AstTreeEvaluatorParser;

options { 
    output = AST;
    tokenVocab = TreeEvaluator;
    ASTLabelType = CommonTree;
}

@members { 
    private static final class Evaluation {
        boolean matched = false; 
        boolean done = false;
    }

    private java.util.HashMap<String, Integer> vars = new java.util.HashMap<String, Integer>();

    public void addVar(String name, int value){
        vars.put(name, value);
    }

}

compilationUnit : block+;

block        : ^(CODEBLOCK instruction*);

instruction  : ifStat | ID;

ifStat       
@init { Evaluation eval = new Evaluation(); }
         : ^(IF condition[eval]* defcond[eval]?) 
         ;

condition [Evaluation eval]
         : ^(CONDBLOCK exp {if ($exp.value) eval.matched = true;} evalblock[eval])
         ;

defcond [Evaluation eval] 
         : ^(DEFAULT {eval.matched = true;} evalblock[eval]) //force a match
         ;

evalblock [Evaluation eval]     
         : {eval.matched && !eval.done}? //Only do this when a condition is matched but not finished 
        block                //call the execution code
        {eval.done = true;}  //evaluation is complete.
         | ^(CODEBLOCK .*)  //read the code node and continue without executing
         ;

exp returns [boolean value]
        : ^(EQ lhs=ID rhs=ID)
        {$value = vars.get($lhs.getText()) == vars.get($rhs.getText());}
        ;

問題は、ルールを予測するために生成された DFA です。この DFA には、(ルールで指定された)パラメータを参照evalblockするメソッドがありますが、生成された Java クラスでは、そのパラメータは表示されません。SpecialStateTransition()eval

理由がわかりません。また、この問題を回避する方法があるかどうかもわかりません。

4

1 に答える 1

2

{...}?アクション (syntax ) によって変更される値への参照を含むセマンティック述語 (syntax ) があります{...}。あなたの場合、値はフィールドEvaluation.matchedとEvaluation.doneです。

この状況を完全に回避する必要があります。実行中のアクションに依存する述語を含めないでください。代わりに、アクションコードをラップして、アクションでこれらの値を確認します。if (eval.matched && !eval.done) { ... }

¹ このように相互作用する文法を書く人もいますが、あなたが見ているような問題やさらに悪い問題が発生する可能性があるため、私はそれを厳密に避けています.

于 2013-03-14T16:05:35.850 に答える