kataan 0.0.2

A high-performance JavaScript engine written in pure Rust. Library, C FFI, and CLI.
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

//! Binding targets and destructuring patterns — what a declaration, parameter,
//! `catch` clause, or `for`-head binds to.

use super::{Expr, Ident, PropertyKey};
use crate::common::Span;
use alloc::boxed::Box;
use alloc::vec::Vec;

/// A binding target: a plain name or a destructuring pattern.
#[derive(Clone, Debug, PartialEq)]
#[allow(missing_docs)]
pub enum BindingTarget {
    /// A simple identifier binding.
    Ident(Ident),
    /// An array destructuring pattern: `[a, , b = 1, ...rest]`.
    Array(ArrayPattern),
    /// An object destructuring pattern: `{ a, b: c, d = 1, ...rest }`.
    Object(ObjectPattern),
}

/// An array destructuring pattern.
#[derive(Clone, Debug, PartialEq)]
pub struct ArrayPattern {
    /// The pattern elements, in order (including elisions).
    pub elements: Vec<ArrayPatternElement>,
    /// The span of the whole pattern.
    pub span: Span,
}

/// One element of an [`ArrayPattern`].
#[derive(Clone, Debug, PartialEq)]
#[allow(missing_docs)]
pub enum ArrayPatternElement {
    /// An elision (a hole), as in `[a, , b]`.
    Hole,
    /// A bound element with an optional default: `a` or `a = 1`.
    Item {
        target: BindingTarget,
        default: Option<Expr>,
        span: Span,
    },
    /// A trailing rest element `...target` (must be last, no default).
    Rest { target: BindingTarget, span: Span },
}

/// An object destructuring pattern.
#[derive(Clone, Debug, PartialEq)]
pub struct ObjectPattern {
    /// The bound properties.
    pub properties: Vec<ObjectPatternProp>,
    /// A trailing rest binding `...rest`, if present.
    pub rest: Option<Box<BindingTarget>>,
    /// The span of the whole pattern.
    pub span: Span,
}

/// One property of an [`ObjectPattern`], e.g. `a`, `b: c`, or `d = 1`.
#[derive(Clone, Debug, PartialEq)]
pub struct ObjectPatternProp {
    /// The property key being read from the source object.
    pub key: PropertyKey,
    /// The binding target the value is bound to.
    pub value: BindingTarget,
    /// A default applied when the read value is `undefined`.
    pub default: Option<Expr>,
    /// Whether this used the shorthand form `{ a }` (vs `{ a: target }`).
    pub shorthand: bool,
    /// The span of the property.
    pub span: Span,
}