14

How would you translate this portion of code written in ANTLR 3 into ANTLR 4?

expr: (Identifier '.')=> (refIdentifier)
  | (Identifier '!')=> (refIdentifier)
  | (Identifier '=>')=> (lambdaExpression);

I mean this kind of semantic predicate does not seem to exist now. What could I use Instead?

svick
  • 236,525
  • 50
  • 385
  • 514
Aftershock
  • 5,205
  • 4
  • 51
  • 64

1 Answers1

18

In ANTLR v4, there are no longer gated semantic predicates, { ... }?=>, and there are also no longer syntactic predicates, ( ... )=>, because the parsing algorithm used in v4 can resolve the ambiguities (the need for such predicates are no longer needed). So, this should just work for you:

expr
 : refIdentifier
 | refIdentifier
 | lambdaExpression
 ;

Note that there is just one type of predicate in v4: semantic predicates, { ... }?. If you need to inspect the contents of a token, for example, you can do it like this:

id_capitals_only
 : {_input.LT(1).getText().matches("[A-Z]+")}? ID
 ;

ID
 : [a-zA-Z]+
 ;

EDIT

And as Sam Harwell mentions in the comments:

The semantic predicates {...}? in V4 work like the gated semantic predicates did in V3. The ungated predicates from V3 do not have a counterpart in ANTLR 4.

Athafoud
  • 2,898
  • 3
  • 40
  • 58
Bart Kiers
  • 166,582
  • 36
  • 299
  • 288
  • 6
    The semantic predicates `{...}?` in V4 work like the gated semantic predicates did in V3. The ungated predicates from V3 do not have a counterpart in ANTLR 4. – Sam Harwell Dec 04 '12 at 13:38