Extracted from Pike v7.6 release 61 at 2005-12-30.
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.