ply.yacc錯誤：“錯誤：沒有定義p_rulename形式的規則”-有解無憂

我正在將決議器編碼為 c-minus 語言。Lexer 已準備就緒且作業正常，因此我開始開發決議??器，但我無法從第一部分通過：我收到一個錯誤，無法繼續前進，因為我可以確定什么是對的，什么是錯的，我只看到下面重現的這個錯誤。我嘗試更改決議器構建器，但仍然無法正常作業。

下面的代碼是正在運行的 Lexer。它構建了一個識別所有語法符號的詞法分析器。

reserved = {
    'else' : 'ELSE',
    'if' : 'IF',
    'int' : 'INT',
    'return' : 'RETURN',
    'void' : 'VOID',
    'while' : 'WHILE'
}

tokens = [
    'ID',
    'NUM',
    'PLUS',
    'MINUS',
    'MULT',
    'DIV',
    'LESS',
    'LESSOREQUAL',
    'GREAT',
    'GREATOREQUAL',
    'DOUBLEEQUAL',
    'NOTEQUAL',
    'EQUAL',
    'SEMICOLON',
    'COLON',
    'LPAREN',
    'RPAREN',
    'LBRACKET',
    'RBRACKET',
    'LKEY',
    'RKEY',
    'COMENT'
]   list(reserved.values())

def t_COMENT(t):
    r'/\*([^*]|[\r\n]|(\* ([^*/]|[\r\n])))*\* /'
    return t

def t_ID(t):
    r'[a-zA-Z] '
    return t

def t_NUM(t):
    r'[0-9] '
    return t

def t_PLUS(t):
    r'\ '
    return t

def t_MINUS(t):
    r'\-'
    return t

def t_MULT(t):
    r'\*'
    return t

def t_DIV(t):
    r'\/'
    return t

def t_LESS(t):
    r'\<'
    return t

def t_LESSOREQUAL(t):
    r'\<\='
    return t

def t_GREAT(t):
    r'\>'
    return t

def t_GREATOREQUAL(t):
    r'\>\='
    return t

def t_DOUBLEEQUAL(t):
    r'\=\='
    return t

def t_NOTEQUAL(t):
    r'\!\='
    return t

def t_EQUAL(t):
    r'\='
    return t

def t_SEMICOLON(t):
    r'\;'
    return t

def t_COLON(t):
    r'\,'
    return t

def t_LPAREN(t):
    r'\('
    return t

def t_RPAREN(t):
    r'\)'
    return t

def t_LBRACKET(t):
    r'\['
    return t

def t_RBRACKET(t):
    r'\]'
    return t

def t_LKEY(t):
    r'\{'
    return t

def t_RKEY(t):
    r'\}'
    return t

def t_newline(t):
    r'\n '
    t.lexer.lineno  = t.value.count("\n")

def t_error(t):
    print("ERROR: Illegal character '{0}' at line {1}".format(t.value[0], t.lineno))
    t.lexer.skip(1)

t_ignore  = ' \t'

下面的代碼是仍在開發中的決議器。但是我無法測驗我正在創建的任何函式，因為發生了錯誤。

import ply.yacc as yacc
import lexer

tokens = lexer.tokens

class Parser():

    def p_program(p):
        'program: declaration_list'
        p[0] = p[1]

    def p_declaration_list(p):
        '''declaration_list: declaration_list declaration
                           | declaration'''
        p[0] = (0, (p[1], 0))

主要的：

import ply.yacc as yacc
import ply.lex as lex
from tabulate import tabulate
import sys
from lexer import *
from parser import Parser

lexer = lex.lex()

with open(sys.argv[1], 'r') as f:
    lexer.input(f.read())
    tok_array = [[tok.type, tok.value, tok.lexpos, tok.lineno] for tok in lexer]
    print(tabulate(tok_array, headers=['Tipo','Valor','Posi??o','Linha']),'\n')

print('passou aqui 1')
parser = yacc.yacc()

with open(sys.argv[1], 'r') as f:
    parser.input(f.read())
    tok_array = [[tok.type, tok.value, tok.lexpos, tok.lineno] for tok in parser]
    print(tabulate(tok_array, headers=['Tipo','Valor','Posi??o','Linha']),'\n')

以下是完整的錯誤：

ERROR: no rules of the form p_rulename are defined
Traceback (most recent call last):
  File "main.py", line 16, in <module>
    parser = yacc.yacc()
  File "/home/tlunafar/.local/lib/python3.8/site-packages/ply/yacc.py", line 3323, in yacc
    raise YaccError('Unable to build parser')
ply.yacc.YaccError: Unable to build parser
```

Here is the program in c-minus that i am testing:
```
int gcd(int u) {
    if (v == 0) return u;
    &
    else return gcd(v, u-u/v*v);
    /* comment */
}
```

Where exactly is this error? Can anybody show me?

uj5u.com熱心網友回復：

如果將決議器定義放入一個類中，或者嘗試從不同的模塊構建決議器，則需要使用module=引數來告訴yacc規則在哪里。否則，它無法找到它們，并且您會收到一條錯誤訊息，指出未找到任何規則。因此parser = yacc.yacc()，您需要：

parser = yacc.yacc(module=Parser)

請注意，所有決議器規則都需要在同一個命名空間中；這包括的定義tokens。所以你需要把它放在類中：

class Parser():
    tokens = lexer.tokens
    # ...

此外，Ply 堅持要在冒號兩側使用空格來撰寫作品，因此您必須解決這個問題。還有許多其他錯誤；值得注意的是，決議器的呼叫方式與詞法分析器不同；他們不回傳令牌生成器。通常，您只呼叫一次決議器來決議整個輸入。詳細資訊在 Ply 手冊中。

轉載請註明出處，本文鏈接：https://www.uj5u.com/caozuo/364374.html

標籤：Python 解析雅克词法分析器层

上一篇：在使用dateutil決議器時，有沒有辦法知道在給定的不完整日期中缺少哪些值？

下一篇：如何使用Java決議TOML檔案