raton 0.1.0-alpha.9

ratón is a tiny, modular, embeddable scripting language
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
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74

use super::{Expression, Identifier};

/// A statement, ending in a semicolon.
#[derive(Debug, Clone, PartialEq)]
#[cfg_attr(feature = "arbitrary", derive(arbitrary::Arbitrary))]
#[cfg_attr(feature = "serde", derive(serde::Serialize, serde::Deserialize))]
#[non_exhaustive]
pub enum Statement {
    /// See [`LetStatement`].
    Let(LetStatement),
    /// See [`AssignStatement`].
    Assign(AssignStatement),
    /// `expression;`
    Expression(Expression),
    /// See [`WhileLoop`].
    #[cfg(feature = "while_loop")]
    While(WhileLoop),
    /// `break;`
    #[cfg(feature = "while_loop")]
    Break,
    /// `continue;`
    #[cfg(feature = "while_loop")]
    Continue,
    /// See [`ReturnStatement`].
    Return(ReturnStatement),
}

/// `let identifier = expression;`
#[derive(Debug, Clone, PartialEq)]
#[cfg_attr(feature = "arbitrary", derive(arbitrary::Arbitrary))]
#[cfg_attr(feature = "serde", derive(serde::Serialize, serde::Deserialize))]
#[non_exhaustive]
pub struct LetStatement {
    /// Variable to store the value in.
    pub identifier: Identifier,
    /// Expression to evaluate to produce a value.
    pub expression: Expression,
}

/// `identifier = expression;`
#[derive(Debug, Clone, PartialEq)]
#[cfg_attr(feature = "arbitrary", derive(arbitrary::Arbitrary))]
#[cfg_attr(feature = "serde", derive(serde::Serialize, serde::Deserialize))]
#[non_exhaustive]
pub struct AssignStatement {
    /// Variable to store the value in.
    pub identifier: Identifier,
    /// Expression to evaluate to produce a value.
    pub expression: Expression,
}

/// `return;`
/// `return value;`
#[derive(Debug, Clone, PartialEq)]
#[cfg_attr(feature = "arbitrary", derive(arbitrary::Arbitrary))]
#[cfg_attr(feature = "serde", derive(serde::Serialize, serde::Deserialize))]
#[non_exhaustive]
pub struct ReturnStatement {
    /// Return value.
    pub value: Option<Expression>,
}

/// `while condition { statement1; statement2; }`
#[derive(Debug, Clone, PartialEq)]
#[cfg_attr(feature = "arbitrary", derive(arbitrary::Arbitrary))]
#[cfg_attr(feature = "serde", derive(serde::Serialize, serde::Deserialize))]
#[non_exhaustive]
#[cfg(feature = "while_loop")]
pub struct WhileLoop {
    /// Continue the loop until this evaluates to `false`.
    pub condition: Expression,
    /// Statements to repeat each iteration.
    pub body: Vec<Statement>,
}