tài liệu chi tiết

trang trí

Trang trí cho các tiểu bang
Hoa là những phương pháp trang trí bằng kết quả của hàm ATMT.state. Nó có thể mất 3 thông số tùy chọn, ban đầu, cuối cùng và lỗi, rằng, khi thiết lập là True, chỉ ra rằng nhà nước là một ban đầu, cuối cùng hoặc lỗi của nhà nước.

class Example(Automaton):
    @ATMT.state(initial=1)
    def BEGIN(self):
        pass

    @ATMT.state()
    def SOME_STATE(self):
        pass

    @ATMT.state(final=1)
    def END(self):
        return "Result of the automaton: 42"

    @ATMT.state(error=1)
    def ERROR(self):
        return "Partial result, or explanation"
# [...]