Skip to main content

Crate sva_core

Crate sva_core 

Source

Modules§

json

Structs§

Answer
Every answer says which reading ran and under which profile, so a caller never has to infer either from the shape of the value.
Asked
No destination is stdout.
CacheReport
Which nodes were actually evaluated; everything else came back from the cache at dir.
Diagnostic
One located finding. No fix field: an edit needs a span, and no written literal carries one.
DiskCache
Horizon
Job
A target the composition holds is that node; anything else is argv math.
Label
LintViolation
One lint finding: its code, how hard it lands, and the node it is against.
MemoryCache
Rendered
Report
What a render answered with, and where anything too big for the object went instead.
Shaping

Enums§

CliError
Every expected failure mode this crate can hit; none of them a panic.
LintCode
Every shape lint reports. A caller dispatches on the tag, so the tag is the contract and the variant is how this workspace spells it.
Output
Representation
Severity
WindowEdge
What a window flag names, in the literals FORMAT 5.1 already spells: a bare number and Ns are seconds, Nb is bars, and end is the node’s own extent.

Constants§

DEFAULT_LEDGER_DEPTH
DEFAULT_MAX_PEAKS
DEFAULT_OVERSAMPLE
DEFAULT_SECONDS
PROBE
REPRESENTATIONS
RESERVED_VARIABLES
Read by name rather than through a ref.
RETIRED
ROOT
SAMPLE_LIMIT
Past this a caller reading stdout wants a narrower --from/--to, not a wall of JSON.

Functions§

answer_json
FORMAT 14.3: every answer says which reading ran, under which profile, and at what rate. A reading that truncated a series names what it left out, so the kept list is never read as the whole of it.
config_for
The horizon a reading runs against: the window the caller named, else the node’s own stated extent, reaching back to whatever a crop declares before zero.
cwd
define_probe_for
Argv math: render, trace and lint each refuse a target no node answers for here, under one code and one message.
diagnostics_json
error_envelope
data.diagnostics is always present, empty where the failure has no subject to locate.
execute
instances_behind
is_wav
label_json
The collapse label beside the reading it belongs to, per FORMAT 9.3. detail is the one place a key may be absent: each rule is its own shape, and its fields belong to it.
lint_diagnostic
The one place a lint code becomes a diagnostic, so both of lint’s response paths namespace it, locate it and help against it identically.
prepared
probe
query_data
written names every reading that went to a file rather than into this object.
refuse_unresolved_bars
A b literal without a tempo refuses rather than defaulting to some seconds-per-bar.
representation_for
retired
roots_of
A path the source answers for is a node; anything else is math, and its reads are roots.
run
settled
success_envelope
value_json
limit caps the arrays a stdout reader scrolls past; None writes every value. skim only changes the ledger.
window_edge
window_for
An unstated end, and end itself, are infinite here: config_for settles both against the node’s own extent.