Extracted from Pike v7.6 release 33 at 2005-08-19.
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.