boundlab.error.alignment.Alignment#

class boundlab.error.alignment.Alignment[source]#

Bases: object

One run of symbols in a merged table, with its source slices.

span1 / span2 locate the run in the two input tables (None when that side does not carry the symbols) and span_out locates it in the merged table. Adjacent runs of the same kind are merged so the consuming code does as few slice/concat operations as possible.

Methods

`__init__`
`kind`
`merge`
`subset_of`
`terms_out`

exprs: list[Expr]#

span1: Span | None#

span2: Span | None#

span_out: Span#

kind()[source]#

merge(other)[source]#

terms_out()[source]#

subset_of(other)[source]#

__init__(exprs, span1, span2, span_out)#