rsaeb 0.8.0

A no_std + alloc interpreter for A=B ordered rewrite programs.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41

//! Runtime budgets and public byte-count value types.
//!
//! Parser limits, runtime limits, and trace snapshot limits are separate
//! domains. Parser limits bound source ingestion and parsed program size;
//! runtime limits decide whether execution may allocate or continue; trace
//! snapshot limits decide whether a borrowed trace event may be materialized as
//! owned bytes. Count types report measured lengths without erasing those
//! domains into plain `usize` values.
//!
//! ```
//! use rsaeb::limits::{
//!     ReturnByteLimit, RunLimits, RuntimeStateByteLimit, StepLimit,
//!     TraceSnapshotByteLimit, TraceSnapshotLimits,
//! };
//!
//! let run_limits = RunLimits::new(
//!     StepLimit::new(100),
//!     RuntimeStateByteLimit::new(4096),
//!     ReturnByteLimit::new(1024),
//! );
//! let trace_limits = TraceSnapshotLimits::new(
//!     run_limits,
//!     TraceSnapshotByteLimit::new(2048),
//! );
//!
//! assert_eq!(trace_limits.run_limits().step_limit().get(), 100);
//! assert_eq!(trace_limits.snapshot_byte_limit().get(), 2048);
//! ```

pub use crate::bytes::{
    PayloadByteCount, ReturnOutputByteCount, RuntimeInputByteCount, RuntimeStateByteCount,
    TraceSnapshotByteCount,
};
pub use crate::program::{
    CodeLineByteCount, CodeLineByteLimit, DEFAULT_MAX_CODE_LINE_LEN, DEFAULT_MAX_INPUT_LEN,
    DEFAULT_MAX_PAYLOAD_LEN, DEFAULT_MAX_RETURN_LEN, DEFAULT_MAX_RULES, DEFAULT_MAX_SOURCE_LEN,
    DEFAULT_MAX_STATE_LEN, DEFAULT_MAX_STEPS, DEFAULT_MAX_TRACE_SNAPSHOT_LEN, DEFAULT_PARSE_LIMITS,
    ParseLimits, PayloadByteLimit, ReturnByteLimit, RuleLimit, RunLimits, RuntimeInputByteLimit,
    RuntimeStateByteLimit, SourceByteCount, SourceByteLimit, StepCount, StepLimit,
    TraceSnapshotByteLimit, TraceSnapshotLimits,
};