Basic

ConstantLike `dataclass`

ConstantLike()

A trait that indicates that a statement is constant-like, i.e., it represents a constant value.

HasParent(parents: tuple[type[Statement]])

A trait that indicates that a statement has a parent statement.

IsTerminator()

A trait that indicates that a statement is a terminator, i.e., it terminates a block.

MaybePure()

A trait that indicates the statement may be pure, i.e., a call statement can be pure if the callee is pure.

NoTerminator()

A trait that indicates that the region of a statement has no terminator.

Pure()

A trait that indicates that a statement is pure, i.e., it has no side effects.