sim-lib-lang-ruby 0.1.0

SIM workspace package for sim lib lang ruby.
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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59

use sim_kernel::{Cx, Ref, Result, Symbol};
use sim_lib_control::{ControlResultValue, LabeledPrompt, NonLocalExit, escape_to_label};

/// A labeled Ruby block scope targeted by `break` and `next` exits.
///
/// Lowers Ruby block control onto the control organ's labeled-prompt contract:
/// the scope pairs a label with the control prompt that bounds it.
#[derive(Clone, Debug, PartialEq, Eq)]
pub struct RubyBlockScope {
    label: Symbol,
    prompt: Ref,
}

impl RubyBlockScope {
    /// Creates a block scope for `label`, deriving its control prompt.
    pub fn new(label: Symbol) -> Self {
        let prompt = Ref::Symbol(Symbol::qualified("ruby/block-prompt", label.to_string()));
        Self { label, prompt }
    }

    /// Returns the scope's label.
    pub fn label(&self) -> &Symbol {
        &self.label
    }

    /// Returns the control prompt that bounds this scope.
    pub fn prompt(&self) -> &Ref {
        &self.prompt
    }

    /// Returns the [`LabeledPrompt`] pairing this scope's label and prompt.
    pub fn labeled_prompt(&self) -> LabeledPrompt {
        LabeledPrompt::new(self.label.clone(), self.prompt.clone())
    }
}

/// Performs a Ruby `break`, escaping the block scope with `value`.
///
/// Delegates to the control organ's labeled non-local exit rather than defining
/// bespoke control behavior.
pub fn ruby_break(cx: &mut Cx, scope: &RubyBlockScope, value: Ref) -> Result<ControlResultValue> {
    escape_to_label(
        cx,
        &[scope.labeled_prompt()],
        NonLocalExit::break_to(scope.label.clone(), value),
    )
}

/// Performs a Ruby `next`, advancing the block scope with `value`.
///
/// Delegates to the control organ's labeled non-local exit rather than defining
/// bespoke control behavior.
pub fn ruby_next(cx: &mut Cx, scope: &RubyBlockScope, value: Ref) -> Result<ControlResultValue> {
    escape_to_label(
        cx,
        &[scope.labeled_prompt()],
        NonLocalExit::next_to(scope.label.clone(), value),
    )
}