Generating alternation at most once about grammarinator HOT 2 OPEN

Hi @mschlaipfer !

I'm sorry for the late reply. I'm not sure that every detail of your use case is clear to me: would you like to generate a random subset of the alternatives (i.e., generate every alternative zero or one time in a random order) or to generate a permutation of the alternatives (i.e., generate every alternative exactly one time in a random order)? Both of them is possible and your solution is quite close to the right one:

Subset generation:

entry [x=1,y=1,z=1]
   : component[x,y,z] EOF
   ;

component [x,y,z]
   : {x}? 'x' (',' component[0,y,z])?
   | {y}? 'y' (',' component[x,0,z])?
   | {z}? 'z' (',' component[x,y,0])?
   | {x+y+z == 0}?
   ;

Permutation generation:

entry [x=1,y=1,z=1]
   : component[x,y,z] EOF
   ;

component [x,y,z]
   : {x}? 'x' (',' component[0,y,z])
   | {y}? 'y' (',' component[x,0,z])
   | {z}? 'z' (',' component[x,y,0])
   | {x+y+z == 0}?
   ;

The solution is to add an artificial alternative which is selected if all the other alternatives are exhausted. For subsets, the recursive subrules should be optional, enabling to interrupt the recursion at any iteration. While in case of permutation, the only exit point for the recursive component rule is the last alternative, which becomes available after all the other alternatives got executed.

I hope this helps! If you have any further questions, don't hesitate to ask, I'll try my best to reply much faster than this time. :)

Cheers,
Reni

from grammarinator.

Hi, thanks for getting back to me.

Both are of interest, actually I care about permutations with required and optional elements. Using your idea of the empty alternative I made progress and have something I'm happy with for generation. I didn't get parsing to work with ANTLR predicates, yet, though.

The above solution you proposed needed a bit more work to avoid trailing ,. I don't have time to sanitize my code right now, but could share eventually.

Thanks again!

from grammarinator.