Extracted from Pike v7.8 release 866 at 2016-11-06.
pike.ida.liu.se
[Top]
7.2::
LR
LR.parser

Method LR.parser()->set_priority()


Method set_priority

void set_priority(string terminal, int pri_val)

Description

Sets the priority of a terminal.

Parameter terminal

Terminal to set the priority for.

Parameter pri_val

Priority; higher = prefer this terminal.