Skip to content

Lattice

Error dataclass 

Error(message: str = '')

Bases: ErrorType


              flowchart TD
              bloqade.validation.analysis.lattice.Error[Error]
              bloqade.validation.analysis.lattice.ErrorType[ErrorType]

                              bloqade.validation.analysis.lattice.ErrorType --> bloqade.validation.analysis.lattice.Error
                


              click bloqade.validation.analysis.lattice.Error href "" "bloqade.validation.analysis.lattice.Error"
              click bloqade.validation.analysis.lattice.ErrorType href "" "bloqade.validation.analysis.lattice.ErrorType"

Indicates an error in the IR.

message class-attribute instance-attribute 

message: str = ''

Optional error message to show in the IR.

NOTE: this is just to show a message when printing the IR. Actual errors are collected by appending ir.ValidationError to the frame in the method implementation.

InvalidErrorType dataclass 

InvalidErrorType()

Bases: ErrorType


              flowchart TD
              bloqade.validation.analysis.lattice.InvalidErrorType[InvalidErrorType]
              bloqade.validation.analysis.lattice.ErrorType[ErrorType]

                              bloqade.validation.analysis.lattice.ErrorType --> bloqade.validation.analysis.lattice.InvalidErrorType
                


              click bloqade.validation.analysis.lattice.InvalidErrorType href "" "bloqade.validation.analysis.lattice.InvalidErrorType"
              click bloqade.validation.analysis.lattice.ErrorType href "" "bloqade.validation.analysis.lattice.ErrorType"

Bottom to represent when we encounter an error running the analysis.

When this is encountered, it means there might be an error, but we were unable to tell.