Struct Reader 

pub struct Reader<'k> {
    pub k: &'k mut Kernel,
    pub refs: FxHashMap<String, ExprId>,
    pub parse_only: bool,
    pub stats: Stats,
    pub meter: Option<Box<dyn DeclMeter>>,
    pub trust_before: u64,
    pub fast_paths: bool,
    /* private fields */
}

Fields

k: &'k mut Kernel

refs: FxHashMap<String, ExprId>

Named reference terms ({"ref":{"key":…,"value":…}}), for files of kernel-internal terms.

parse_only: bool

Read and intern every record but check no declaration: a measurement of the reader alone.

stats: Stats

meter: Option<Box<dyn DeclMeter>>

trust_before: u64

See Observe::trust_before.

fast_paths: bool

Read the common record layouts byte for byte (the default). Off, every record goes through the general parser — which must build exactly the same store.

Implementations

impl<'k> Reader<'k>

pub fn new(k: &'k mut Kernel) -> Reader<'k>

pub fn size_hint(&mut self, bytes: u64)

Prepares the stores for an export of bytes bytes (about one expression per 45 bytes).

pub fn run(&mut self, input: impl BufRead) -> KResult<()>

Reads and checks a whole export. Ok means every declaration was admitted.