Module platform

Expand description

Host platform trait and bundled implementations for diagnostics, limits, and clocks.

Structs§

CollectingDiagnosticSink: Diagnostic sink that accumulates messages, usable without std.
ConfigurablePlatform: Platform implementation composed from a diagnostic sink, host limits, and a clock.
Diagnostic: A single diagnostic message emitted by the engine.
HostBox: Host supplied box for one \hostbox token: metrics plus render data for the fragment.
HostBoxGlyph: A glyph inside a host box, offsets in scaled points from the box baseline origin, y down.
HostBoxRequest: Parameters for a host box request passed to the platform.
HostBoxRule: A rule inside a host box, (x, y) is the bottom left corner, y down from the baseline.
HostBoxRun: One same font glyph sequence inside a host box.
HostClock: Host clock value in seconds and microseconds.
HostLimits: Host imposed upper bounds on engine resource consumption.
LinebreakRequest: Parameters for a host driven line break request passed to the platform.
NoopDiagnosticSink: Diagnostic sink that discards all messages.
NoopPlatform: Minimal deterministic platform for tests, embedded use, and early bootstrap.

DiagnosticSeverity: Severity level of a diagnostic message.
HostBoxStyle: Style context a host box is placed in, display math collapses to text.
LimitError: Signals that a host configured resource limit was exceeded.

DiagnosticSink: Receiver for diagnostic messages emitted during engine execution.
Platform: Host runtime services that must remain separate from engine semantics.