Question

我愿作一幅图形,可以要求治疗性功能。

也就是说:

a() /// good
a()() /// good
a()()() /// good
a(a) /// good
a(a()()) /// good
/// etc

我的首点是:

ID  :   ( a .. z | A .. Z | _ ) ( a .. z | A .. Z | 0 .. 9 | _ )*;

fncall  :   expr  (  (expr ( ,  expr)*)?  ) ;

expr    :   ID|fncall;

但这不能因为再入侵。

Answer 1

假设<条码>(a)(a)也有效,在此可以解决这个问题:

grammar T;

options {
  output=AST;
}

tokens {
  EXPR_LIST;
  CALL;
  INDEX;
  LOOKUP;
}

parse
 : expr EOF -> expr
 ;

expr
 : add_expr
 ;

add_expr
 : mul_exp (( +  |  - )^ mul_exp)*
 ;

mul_exp 
 : atom (( *  |  / )^ atom)*
 ;

atom
 : fncall
 | NUM
 ;

fncall
 : (fncall_start -> fncall_start) (  (  expr_list  )  -> ^(CALL $fncall expr_list)
                                  |  [  expr  ]       -> ^(INDEX $fncall expr)
                                  |  .  ID            -> ^(LOOKUP $fncall ID)
                                  )* 
 ;

fncall_start
 : ID
 |  (  expr  )  -> expr
 ;

expr_list
 : (expr ( ,  expr)*)? -> ^(EXPR_LIST expr*)
 ;

NUM :  0 .. 9 +;
ID  :  ( a .. z | A .. Z | _ ) ( a .. z | A .. Z | 0 .. 9 | _ )*;

上文图表中产生的教区将抑制投入:

(foo.bar().array[i*2])(42)(1,2,3)

and construct the following AST:

“entergraph

Without the tree rewrite rules, the grammar would look like this:

grammar T;

parse
 : expr EOF
 ;

expr
 : add_expr
 ;

add_expr
 : mul_exp (( +  |  - ) mul_exp)*
 ;

mul_exp 
 : atom (( *  |  / ) atom)*
 ;

atom
 : fncall
 | NUM
 ;

fncall
 : fncall_start (  (  expr_list  )  |  [  expr  ]  |  .  ID )* 
 ;

fncall_start
 : ID
 |  (  expr  ) 
 ;

expr_list
 : (expr ( ,  expr)*)?
 ;

NUM :  0 .. 9 +;
ID  :  ( a .. z | A .. Z | _ ) ( a .. z | A .. Z | 0 .. 9 | _ )*;

友情链接