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
The store at dir, and every lookup the render made of it.
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
stats_json
computed counts every miss, stored the misses the store kept; a lookup’s tier is written only on a hit.
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.