knave-expand 0.14.22

The reading, scoping and expansion stages of knave
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

use super::limit_problems::LimitProblems;
use super::step_budget::StepBudget;
use crate::diagnostic::Diagnostic;
use crate::source::Span;

#[derive(Clone, Debug)]
pub struct WorkMeter {
    steps: StepBudget,
    call_site: Span,
}

impl WorkMeter {
    pub fn text_work(bytes: usize) -> usize {
        bytes.div_ceil(StepBudget::BYTES_PER_STEP)
    }

    pub fn built_forms_work(forms: usize) -> usize {
        forms.saturating_mul(StepBudget::STEPS_PER_BUILT_FORM)
    }

    pub fn new(steps: StepBudget, call_site: Span) -> Self {
        Self { steps, call_site }
    }

    pub fn call_site(&self) -> Span {
        self.call_site
    }

    #[inline]
    pub fn charge(&self, work: usize) -> Result<(), Diagnostic> {
        self.steps.spend_work(work as u64).map_err(|passed| {
            LimitProblems::too_many_steps(passed.limit, self.steps.first_passed_at(self.call_site))
        })
    }
}