Hướng dẫn how do you parse in python? - làm thế nào để bạn phân tích cú pháp trong python?

Tạo đối tượng ST

Các đối tượng ST có thể được tạo từ mã nguồn hoặc từ cây phân tích. Khi tạo một đối tượng ST từ nguồn, các chức năng khác nhau được sử dụng để tạo các biểu mẫu

>>> import parser
>>> st = parser.expr('a + 5')
>>> code = st.compile('file.py')
>>> a = 5
>>> eval(code)
10

import parser

def load_suite(source_string):
    st = parser.suite(source_string)
    return st, st.compile()

def load_expression(source_string):
    st = parser.expr(source_string)
    return st, st.compile()

Hàm expr() phân tích nguồn tham số như thể nó là đầu vào cho

import parser

def load_suite(source_string):
    st = parser.suite(source_string)
    return st, st.compile()

def load_expression(source_string):
    st = parser.expr(source_string)
    return st, st.compile()

Hàm suite() phân tích nguồn tham số như thể nó là đầu vào cho

import parser

def load_suite(source_string):
    st = parser.suite(source_string)
    return st, st.compile()

def load_expression(source_string):
    st = parser.expr(source_string)
    return st, st.compile()

Hàm này chấp nhận một cây phân tích được biểu diễn dưới dạng một chuỗi và xây dựng một biểu diễn bên trong nếu có thể. Nếu nó có thể xác nhận rằng cây phù hợp với ngữ pháp Python và tất cả các nút là các loại nút hợp lệ trong phiên bản máy chủ của Python, một đối tượng ST được tạo từ biểu diễn bên trong và được trả lại cho cuộc gọi. Nếu có một vấn đề tạo ra biểu diễn nội bộ hoặc nếu cây không thể được xác thực, ngoại lệ parser1 sẽ được nâng lên. Một đối tượng ST được tạo ra theo cách này không nên được giả định để biên dịch chính xác; Các trường hợp ngoại lệ bình thường được tăng lên bằng cách biên dịch vẫn có thể được bắt đầu khi đối tượng ST được truyền đến parser2. Điều này có thể chỉ ra các vấn đề không liên quan đến cú pháp (chẳng hạn như ngoại lệ parser3), nhưng cũng có thể là do các cấu trúc như kết quả của phân tích cú pháp parser4, thoát khỏi trình phân tích cú pháp Python nhưng được kiểm tra bởi trình biên dịch byte.

Các chuỗi đại diện cho các mã thông báo đầu cuối có thể được biểu diễn dưới dạng danh sách hai phần tử của Mẫu parser5 hoặc là danh sách ba phần tử của Mẫu parser6. Nếu phần tử thứ ba có mặt, nó được coi là số dòng hợp lệ. Số dòng có thể được chỉ định cho bất kỳ tập hợp con của các ký hiệu đầu cuối trong cây đầu vào.

Đây là chức năng tương tự như

>>> code = compile('a + 5', 'file.py', 'eval')
>>> a = 5
>>> eval(code)
10

Chuyển đổi đối tượng ST

Các đối tượng ST, bất kể đầu vào được sử dụng để tạo chúng, có thể được chuyển đổi thành các cây phân tích được biểu diễn dưới dạng danh sách hoặc các cây, hoặc có thể được biên dịch thành các đối tượng mã thực thi. Cây phân tích có thể được trích xuất có hoặc không có thông tin đánh số dòng.

Hàm này chấp nhận một đối tượng ST từ người gọi trong ST và trả về danh sách Python đại diện cho cây phân tích tương đương. Biểu diễn danh sách kết quả có thể được sử dụng để kiểm tra hoặc tạo ra một cây phân tích mới ở dạng danh sách. Hàm này không thất bại miễn là bộ nhớ có sẵn để xây dựng biểu diễn danh sách. Nếu cây Parse sẽ chỉ được sử dụng để kiểm tra,

>>> code = compile('a + 5', 'file.py', 'eval')
>>> a = 5
>>> eval(code)
10

Nếu line_info là đúng, thông tin số dòng sẽ được bao gồm cho tất cả các mã thông báo thiết bị đầu cuối dưới dạng phần tử thứ ba của danh sách đại diện cho mã thông báo. Lưu ý rằng số dòng cung cấp chỉ định dòng mà mã thông báo kết thúc. Thông tin này bị bỏ qua nếu cờ là sai hoặc bỏ qua.

Hàm này chấp nhận một đối tượng ST từ người gọi trong ST và trả về một tuple python đại diện cho cây phân tích tương đương. Khác với việc trả lại một tuple thay vì một danh sách, chức năng này giống hệt với

>>> code = compile('a + 5', 'file.py', 'eval')
>>> a = 5
>>> eval(code)
10

Nếu line_info là đúng, thông tin số dòng sẽ được bao gồm cho tất cả các mã thông báo thiết bị đầu cuối dưới dạng phần tử thứ ba của danh sách đại diện cho mã thông báo. Thông tin này bị bỏ qua nếu cờ là sai hoặc bỏ qua.

Truy vấn trên các đối tượng ST

Hai chức năng được cung cấp cho phép một ứng dụng xác định xem ST có được tạo dưới dạng biểu thức hay bộ. Cả hai chức năng này đều có thể được sử dụng để xác định xem ST có được tạo từ mã nguồn thông qua expr() hoặc suite() hay từ cây phân tích thông qua

>>> code = compile('a + 5', 'file.py', 'eval')
>>> a = 5
>>> eval(code)
10

Khi ST đại diện cho biểu mẫu

>>> import parser
>>> st = parser.expr('a + 5')
>>> code = st.compile('file.py')
>>> a = 5
>>> eval(code)
10

Hàm này phản ánh Grammar/Grammar6 ở chỗ nó báo cáo liệu một đối tượng ST có đại diện cho một hình thức

import parser

def load_suite(source_string):
    st = parser.suite(source_string)
    return st, st.compile()

def load_expression(source_string):
    st = parser.expr(source_string)
    return st, st.compile()

Ngoại lệ và xử lý lỗi

Mô-đun phân tích cú pháp xác định một ngoại lệ duy nhất, nhưng cũng có thể vượt qua các trường hợp ngoại lệ tích hợp khác từ các phần khác của môi trường thời gian chạy Python. Xem từng chức năng để biết thông tin về các ngoại lệ mà nó có thể nêu ra.

Ngoại lệ được nâng lên khi xảy ra lỗi trong mô -đun phân tích cú pháp. Điều này thường được sản xuất cho các lỗi xác nhận thay vì parser0 được nâng lên trong quá trình phân tích cú pháp bình thường. Đối số ngoại lệ là một chuỗi mô tả lý do của sự thất bại hoặc một tuple chứa một chuỗi gây ra sự thất bại từ cây phân tích được chuyển đến

>>> code = compile('a + 5', 'file.py', 'eval')
>>> a = 5
>>> eval(code)
10

>>> code = compile('a + 5', 'file.py', 'eval')
>>> a = 5
>>> eval(code)
10

Lưu ý rằng các chức năng parser2, expr() và suite() có thể nêu ra các ngoại lệ thường được nêu ra bởi quá trình phân tích cú pháp và biên dịch. Chúng bao gồm các trường hợp ngoại lệ được xây dựng parser3, expr()8, parser0 và suite()0. Trong những trường hợp này, những ngoại lệ này mang tất cả các ý nghĩa thường được liên kết với chúng. Tham khảo các mô tả của từng chức năng để biết thông tin chi tiết.

Đối tượng ST

So sánh được đặt hàng và bình đẳng được hỗ trợ giữa các đối tượng ST. Pickling của các đối tượng ST (sử dụng mô -đun suite()1) cũng được hỗ trợ.

Loại đối tượng được trả về bởi expr(), suite() và

>>> code = compile('a + 5', 'file.py', 'eval')
>>> a = 5
>>> eval(code)
10

Các đối tượng ST có các phương thức sau:

>>> code = compile('a + 5', 'file.py', 'eval')
>>> a = 5
>>> eval(code)
10

>>> code = compile('a + 5', 'file.py', 'eval')
>>> a = 5
>>> eval(code)
10

>>> code = compile('a + 5', 'file.py', 'eval')
>>> a = 5
>>> eval(code)
10

>>> code = compile('a + 5', 'file.py', 'eval')
>>> a = 5
>>> eval(code)
10

Ví dụ: Mô phỏng của ________ 73¶

Mặc dù nhiều hoạt động hữu ích có thể diễn ra giữa tạo phân tích cú pháp và mã byte, hoạt động đơn giản nhất là không làm gì cả. Đối với mục đích này, sử dụng mô -đun parser để tạo cấu trúc dữ liệu trung gian tương đương với mã

>>> code = compile('a + 5', 'file.py', 'eval')
>>> a = 5
>>> eval(code)
10

Hoạt động tương đương bằng cách sử dụng mô -đun parser có phần dài hơn và cho phép cây phân tích phân tích bên trong trung gian được giữ lại như một đối tượng ST:

>>> import parser
>>> st = parser.expr('a + 5')
>>> code = st.compile('file.py')
>>> a = 5
>>> eval(code)
10

Một ứng dụng cần cả đối tượng ST và mã có thể đóng gói mã này thành các chức năng có sẵn:

import parser

def load_suite(source_string):
    st = parser.suite(source_string)
    return st, st.compile()

def load_expression(source_string):
    st = parser.expr(source_string)
    return st, st.compile()