Checked
The result of a Check.
Fields
diagnostics @ Array[Diagnostic][get]The checker's diagnostics. Their locations may be in any of the units, and their rendering shows each one's source.
Methods
typelib unit -> Bin
Returns the bytes of a module's typelib, which Typelib
reads.
The typelib is written whatever the diagnostics say about the module's declarations.
Parameters
| Name | Type | Description |
|---|---|---|
unit |
(Unit | Typelib) |
A unit added to the check. |
Errors
| Exception | Condition |
|---|---|
std.ValueError |
The check wasn't given typelibs: true, or unit wasn't checked |
std.CompileError |
unit is a typelib or not a module, imports a module that wasn't checked with it, or has a private declaration in its public interface; a module that is or imports strand also needs proc |
undecided() -> Str
Renders the checks the checker couldn't decide, grouped by the kind of reason, for developing the checker. The format may change.