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.
Builtins
Cache
Every value a render computed and chose to keep, under its content hash. A hit is the value the cold run wrote, so what is kept or evicted decides only what is computed again.
Callable
Checkpoint
Every node’s state at a block’s end, and what its stream was opened with.
Crossing
One written cast, and every representation it takes to which.
Diagnostic
One located finding. No fix field: an edit needs a span, and no written literal carries one.
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.
Rendered
Report
What a render answered with, and where anything too big for the object went instead.
Shaping
Silent
Silence at bits is every later sample under 2^-bits of full scale, proven by max_secs.
Stream
A target rendered from the grid’s first sample on, one block at a time: every block is the samples a whole render over the same rows writes there, bit for bit.

Enums§

CachePolicy
Which values a render stores; whatever is not stored is computed again when asked.
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
PrunePolicy
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
DEFAULT_SILENT_BITS
The bits --to silent measures silence at where none are written: the profile’s own.
DEFAULT_SILENT_MAX_SECS
The latest instant --to silent looks for silence by, where --max names none.
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.
builtins
builtins_data
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.
outline_data
{ "text", "outline" }, or the parser’s own refusal, located in the text.
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
silence
A double holds 53 bits, so no finer silence is one it could show.
silent_edge
silent or silent:<bits>; None for any other end.
stats_json
computed counts every miss, stored the misses the store kept and replaced the volatile misses kept in place of their last value; the store’s figures are as the render left it.
stream
job’s target settled as a render of it is, each of bindings a named argument on it.
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.
work_json
Whole counts every one; waves is null where a node’s go uncounted.