kirin.dialects.py.assertion

assertion¶

kirin.dialects.py.assertion

Assertion dialect for Python.

This module contains the dialect for the Python assert statement, including:

• The Assert statement class.
• The lowering pass for the assert statement.
• The concrete implementation of the assert statement.
• The type inference implementation of the assert statement.
• The Julia emitter for the assert statement.

This dialect maps ast.Assert nodes to the Assert statement.

• Assert
• Lowering
• Concrete
• TypeInfer

Attributes

Name	Type	Default	Description
dialect	—	ir.Dialect('py.assert')

View kirin.dialects.py.assertion.Assert →View kirin.dialects.py.assertion.Assert.condition →View kirin.dialects.py.assertion.Assert.message →View kirin.dialects.py.assertion.Assert.print_impl →View kirin.dialects.py.assertion.Lowering →View kirin.dialects.py.assertion.Lowering.lower_Assert →View kirin.dialects.py.assertion.Concrete →View kirin.dialects.py.assertion.Concrete.assert_stmt →View kirin.dialects.py.assertion.TypeInfer →View kirin.dialects.py.assertion.TypeInfer.assert_stmt →