A decoder for the XDV and SPX file formats used by Tectonic and XeTeX.
Both of these file formats are derived from the venerable “device independent” (DVI) format used by TeX. The XDV format (name presumably meaning something like “XeTeX DVI” or “extended DVI”) adds a few codes needed to express native fonts in the output. The SPX format (“semantically-paginated XDV”) is essentially the same as XDV, but expresses output that is not paginated for print — this is what Tectonic uses to produce its HTML output.
State for parsing an XDV file.
Which type of file is being parsed.
Errors that can occur when parsing XDV/SPX files.
Types implementing this trait accept events from the XDV parser.