| 603 | } |
| 604 | |
| 605 | int is_reserved(char *name) |
| 606 | { |
| 607 | char *s; |
| 608 | |
| 609 | if (strcmp(name, ".") == 0 || |
| 610 | strcmp(name, "$accept") == 0 || |
| 611 | strcmp(name, "$end") == 0) |
| 612 | return (1); |
| 613 | |
| 614 | if (name[0] == '$' && name[1] == '$' && isdigit(name[2])) { |
| 615 | s = name + 3; |
| 616 | while (isdigit(*s)) ++s; |
| 617 | if (*s == NUL) return (1); } |
| 618 | |
| 619 | return (0); |
| 620 | } |
| 621 | |
| 622 | bucket *get_name() |
| 623 | { |