@devaloop/devalang 0.0.1-beta.2 → 0.0.1-beta.3
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/Cargo.toml +84 -81
- package/README.md +3 -2
- package/docs/CHANGELOG.md +41 -0
- package/docs/ROADMAP.md +3 -3
- package/examples/chain.deva +19 -0
- package/examples/plugin.deva +10 -10
- package/examples/routing.deva +23 -0
- package/out-tsc/bin/project-version.json +6 -0
- package/out-tsc/pkg/devalang_core_bg.wasm.d.ts +8 -8
- package/out-tsc/scripts/version/copy-to-binary.d.ts +1 -0
- package/out-tsc/scripts/version/copy-to-binary.js +79 -0
- package/package.json +23 -10
- package/project-version.json +3 -3
- package/rust/bindings/Cargo.toml +9 -0
- package/rust/bindings/src/lib.rs +86 -0
- package/rust/cli/addon/commands.rs +35 -0
- package/rust/cli/addon/download.rs +234 -0
- package/rust/cli/addon/install.rs +33 -0
- package/rust/cli/addon/list.rs +224 -0
- package/rust/cli/addon/metadata.rs +124 -0
- package/rust/cli/addon/mod.rs +8 -0
- package/rust/cli/addon/remove.rs +271 -0
- package/rust/cli/addon/update.rs +305 -0
- package/rust/cli/{install/addon.rs → addon/utils.rs} +109 -118
- package/rust/cli/build/commands.rs +153 -153
- package/rust/cli/build/process.rs +165 -165
- package/rust/cli/check/mod.rs +208 -208
- package/rust/cli/discover/commands.rs +275 -253
- package/rust/cli/discover/config.rs +109 -111
- package/rust/cli/discover/fs.rs +19 -19
- package/rust/cli/discover/install.rs +214 -103
- package/rust/cli/discover/metadata.rs +48 -48
- package/rust/cli/discover/mod.rs +5 -5
- package/rust/cli/me/commands.rs +52 -0
- package/rust/cli/me/mod.rs +1 -0
- package/rust/cli/mod.rs +12 -12
- package/rust/cli/parser.rs +30 -69
- package/rust/cli/play/commands.rs +375 -375
- package/rust/cli/play/process.rs +159 -159
- package/rust/core/audio/engine/driver.rs +19 -2
- package/rust/core/audio/engine/export.rs +169 -169
- package/rust/core/audio/engine/mod.rs +56 -56
- package/rust/core/audio/engine/notes/dsp.rs +88 -85
- package/rust/core/audio/engine/notes/mod.rs +53 -44
- package/rust/core/audio/engine/notes/params.rs +294 -294
- package/rust/core/audio/engine/sample/insert.rs +148 -47
- package/rust/core/audio/engine/sample/mod.rs +40 -40
- package/rust/core/audio/engine/sample/padding.rs +170 -170
- package/rust/core/audio/evaluator/condition.rs +61 -61
- package/rust/core/audio/evaluator/numeric.rs +152 -152
- package/rust/core/audio/evaluator/rhs.rs +16 -16
- package/rust/core/audio/evaluator/string_expr.rs +94 -94
- package/rust/core/audio/interpreter/driver.rs +574 -574
- package/rust/core/audio/interpreter/mod.rs +2 -2
- package/rust/core/audio/interpreter/statements/arrow_call/interprete.rs +9 -5
- package/rust/core/audio/interpreter/statements/arrow_call/methods/chord.rs +398 -384
- package/rust/core/audio/interpreter/statements/arrow_call/methods/effects.rs +323 -0
- package/rust/core/audio/interpreter/statements/arrow_call/methods/mod.rs +1 -0
- package/rust/core/audio/interpreter/statements/arrow_call/methods/note.rs +66 -11
- package/rust/core/audio/interpreter/statements/arrow_call/mod.rs +3 -3
- package/rust/core/audio/interpreter/statements/arrow_call/types/arp.rs +192 -192
- package/rust/core/audio/interpreter/statements/arrow_call/types/mod.rs +24 -24
- package/rust/core/audio/interpreter/statements/arrow_call/types/pad.rs +116 -116
- package/rust/core/audio/interpreter/statements/arrow_call/types/pluck.rs +97 -97
- package/rust/core/audio/interpreter/statements/arrow_call/types/sub.rs +100 -100
- package/rust/core/audio/interpreter/statements/automate.rs +16 -16
- package/rust/core/audio/interpreter/statements/call.rs +31 -1
- package/rust/core/audio/interpreter/statements/condition.rs +72 -72
- package/rust/core/audio/interpreter/statements/function.rs +24 -24
- package/rust/core/audio/interpreter/statements/let_.rs +36 -36
- package/rust/core/audio/interpreter/statements/load.rs +17 -17
- package/rust/core/audio/interpreter/statements/loop_.rs +115 -115
- package/rust/core/audio/interpreter/statements/spawn.rs +51 -2
- package/rust/core/audio/interpreter/statements/trigger.rs +242 -239
- package/rust/core/audio/loader/trigger.rs +98 -98
- package/rust/core/audio/player.rs +70 -70
- package/rust/core/audio/special/mod.rs +9 -9
- package/rust/core/builder/mod.rs +129 -129
- package/rust/core/debugger/lexer.rs +27 -27
- package/rust/core/debugger/logs.rs +52 -52
- package/rust/core/debugger/preprocessor.rs +27 -27
- package/rust/core/debugger/store.rs +38 -38
- package/rust/core/lexer/driver.rs +59 -59
- package/rust/core/lexer/handler/arrow.rs +82 -82
- package/rust/core/lexer/handler/at.rs +21 -21
- package/rust/core/lexer/handler/brace.rs +41 -41
- package/rust/core/lexer/handler/colon.rs +21 -21
- package/rust/core/lexer/handler/comment.rs +30 -30
- package/rust/core/lexer/handler/dot.rs +21 -21
- package/rust/core/lexer/handler/driver.rs +337 -337
- package/rust/core/lexer/handler/identifier.rs +47 -47
- package/rust/core/lexer/handler/indent.rs +66 -66
- package/rust/core/lexer/handler/mod.rs +15 -15
- package/rust/core/lexer/handler/newline.rs +23 -23
- package/rust/core/lexer/handler/number.rs +31 -31
- package/rust/core/lexer/handler/operator.rs +46 -46
- package/rust/core/lexer/handler/parenthesis.rs +41 -41
- package/rust/core/lexer/handler/slash.rs +21 -21
- package/rust/core/lexer/handler/string.rs +63 -63
- package/rust/core/lexer/mod.rs +3 -3
- package/rust/core/mod.rs +9 -9
- package/rust/core/parser/driver/block.rs +111 -111
- package/rust/core/parser/driver/cursor.rs +82 -82
- package/rust/core/parser/driver/driver_impl.rs +21 -1
- package/rust/core/parser/driver/mod.rs +6 -6
- package/rust/core/parser/driver/parse_array.rs +120 -120
- package/rust/core/parser/driver/parse_map.rs +247 -223
- package/rust/core/parser/driver/parser.rs +160 -160
- package/rust/core/parser/handler/arrow_call.rs +65 -14
- package/rust/core/parser/handler/identifier/synth.rs +171 -135
- package/rust/core/parser/handler/mod.rs +9 -9
- package/rust/core/parser/handler/pattern.rs +24 -1
- package/rust/core/plugin/loader.rs +137 -137
- package/rust/core/plugin/mod.rs +2 -2
- package/rust/core/plugin/runner/non_wasm.rs +481 -297
- package/rust/core/plugin/runner/wasm32.rs +1 -0
- package/rust/core/preprocessor/loader/inject.rs +313 -278
- package/rust/core/preprocessor/loader/loader_helpers.rs +110 -110
- package/rust/core/preprocessor/loader/mod.rs +235 -235
- package/rust/core/preprocessor/module.rs +55 -55
- package/rust/core/preprocessor/processor/handlers.rs +107 -107
- package/rust/core/preprocessor/resolver/bank.rs +49 -49
- package/rust/core/preprocessor/resolver/call.rs +124 -124
- package/rust/core/preprocessor/resolver/condition.rs +95 -95
- package/rust/core/preprocessor/resolver/driver.rs +324 -324
- package/rust/core/preprocessor/resolver/function.rs +69 -69
- package/rust/core/preprocessor/resolver/group.rs +122 -122
- package/rust/core/preprocessor/resolver/let_.rs +32 -32
- package/rust/core/preprocessor/resolver/loop_.rs +318 -318
- package/rust/core/preprocessor/resolver/mod.rs +16 -16
- package/rust/core/preprocessor/resolver/pattern.rs +95 -83
- package/rust/core/preprocessor/resolver/spawn.rs +99 -99
- package/rust/core/preprocessor/resolver/synth.rs +54 -54
- package/rust/core/preprocessor/resolver/tempo.rs +48 -48
- package/rust/core/preprocessor/resolver/trigger.rs +116 -116
- package/rust/core/preprocessor/resolver/value.rs +176 -176
- package/rust/core/store/global.rs +57 -57
- package/rust/lib.rs +323 -323
- package/rust/macros/Cargo.toml +14 -0
- package/rust/macros/src/lib.rs +52 -0
- package/rust/main.rs +311 -142
- package/rust/types/Cargo.toml +1 -1
- package/rust/types/src/addons.rs +3 -1
- package/rust/types/src/config.rs +1 -3
- package/rust/utils/Cargo.toml +5 -2
- package/rust/utils/src/file.rs +397 -14
- package/rust/utils/src/path.rs +31 -2
- package/rust/utils/src/version.rs +38 -7
- package/rust/web/auth.rs +5 -0
- package/rust/web/forge.rs +5 -0
- package/rust/web/mod.rs +5 -3
- package/typescript/scripts/version/copy-to-binary.ts +82 -0
- package/rust/cli/bank/api.rs +0 -122
- package/rust/cli/bank/commands.rs +0 -306
- package/rust/cli/bank/mod.rs +0 -29
- package/rust/cli/install/bank.rs +0 -72
- package/rust/cli/install/commands.rs +0 -35
- package/rust/cli/install/mod.rs +0 -4
- package/rust/cli/install/plugin.rs +0 -80
|
@@ -1,160 +1,160 @@
|
|
|
1
|
-
use crate::core::{
|
|
2
|
-
lexer::token::{Token, TokenKind},
|
|
3
|
-
parser::statement::Statement,
|
|
4
|
-
store::global::GlobalStore,
|
|
5
|
-
};
|
|
6
|
-
use devalang_types::Value;
|
|
7
|
-
|
|
8
|
-
#[derive(Debug, Clone, PartialEq)]
|
|
9
|
-
pub struct Parser {
|
|
10
|
-
pub resolve_modules: bool,
|
|
11
|
-
pub tokens: Vec<Token>,
|
|
12
|
-
pub token_index: usize,
|
|
13
|
-
pub current_module: String,
|
|
14
|
-
pub previous: Option<Token>,
|
|
15
|
-
}
|
|
16
|
-
|
|
17
|
-
impl Default for Parser {
|
|
18
|
-
fn default() -> Self {
|
|
19
|
-
Self::new()
|
|
20
|
-
}
|
|
21
|
-
}
|
|
22
|
-
|
|
23
|
-
impl Parser {
|
|
24
|
-
pub fn new() -> Self {
|
|
25
|
-
Parser {
|
|
26
|
-
resolve_modules: false,
|
|
27
|
-
tokens: Vec::new(),
|
|
28
|
-
token_index: 0,
|
|
29
|
-
current_module: String::new(),
|
|
30
|
-
previous: None,
|
|
31
|
-
}
|
|
32
|
-
}
|
|
33
|
-
|
|
34
|
-
pub fn set_current_module(&mut self, module_path: String) {
|
|
35
|
-
self.current_module = module_path;
|
|
36
|
-
}
|
|
37
|
-
|
|
38
|
-
pub fn advance(&mut self) -> Option<&Token> {
|
|
39
|
-
crate::core::parser::driver::cursor::advance_impl(self)
|
|
40
|
-
}
|
|
41
|
-
|
|
42
|
-
pub fn peek_is(&self, expected: &str) -> bool {
|
|
43
|
-
crate::core::parser::driver::cursor::peek_is_impl(self, expected)
|
|
44
|
-
}
|
|
45
|
-
|
|
46
|
-
pub fn peek_nth(&self, n: usize) -> Option<&Token> {
|
|
47
|
-
crate::core::parser::driver::cursor::peek_nth_impl(self, n)
|
|
48
|
-
}
|
|
49
|
-
|
|
50
|
-
pub fn peek_nth_kind(&self, n: usize) -> Option<TokenKind> {
|
|
51
|
-
crate::core::parser::driver::cursor::peek_nth_kind_impl(self, n)
|
|
52
|
-
}
|
|
53
|
-
|
|
54
|
-
pub fn advance_if(&mut self, kind: TokenKind) -> bool {
|
|
55
|
-
crate::core::parser::driver::cursor::advance_if_impl(self, kind)
|
|
56
|
-
}
|
|
57
|
-
|
|
58
|
-
pub fn match_token(&mut self, kind: TokenKind) -> bool {
|
|
59
|
-
crate::core::parser::driver::cursor::match_token_impl(self, kind)
|
|
60
|
-
}
|
|
61
|
-
|
|
62
|
-
pub fn previous_clone(&self) -> Option<Token> {
|
|
63
|
-
crate::core::parser::driver::cursor::previous_clone_impl(self)
|
|
64
|
-
}
|
|
65
|
-
|
|
66
|
-
pub fn parse_block(
|
|
67
|
-
&self,
|
|
68
|
-
tokens: Vec<Token>,
|
|
69
|
-
global_store: &mut GlobalStore,
|
|
70
|
-
) -> Vec<Statement> {
|
|
71
|
-
crate::core::parser::driver::block::parse_block(self, tokens, global_store)
|
|
72
|
-
}
|
|
73
|
-
|
|
74
|
-
pub fn parse_tokens(
|
|
75
|
-
&mut self,
|
|
76
|
-
tokens: Vec<Token>,
|
|
77
|
-
global_store: &mut GlobalStore,
|
|
78
|
-
) -> Vec<Statement> {
|
|
79
|
-
crate::core::parser::driver::driver_impl::parse_tokens_impl(self, tokens, global_store)
|
|
80
|
-
}
|
|
81
|
-
|
|
82
|
-
pub fn check_token(&self, kind: TokenKind) -> bool {
|
|
83
|
-
crate::core::parser::driver::cursor::peek_impl(self).is_some_and(|t| t.kind == kind)
|
|
84
|
-
}
|
|
85
|
-
|
|
86
|
-
pub fn peek_kind(&self) -> Option<TokenKind> {
|
|
87
|
-
crate::core::parser::driver::cursor::peek_impl(self).map(|t| t.kind.clone())
|
|
88
|
-
}
|
|
89
|
-
|
|
90
|
-
pub fn parse_map_value(&mut self) -> Option<Value> {
|
|
91
|
-
// Delegated to parse_map.rs
|
|
92
|
-
crate::core::parser::driver::parse_map::parse_map_value(self)
|
|
93
|
-
}
|
|
94
|
-
|
|
95
|
-
// Parse an array value like [1, 2, 3] or ["a", b]
|
|
96
|
-
pub fn parse_array_value(&mut self) -> Option<Value> {
|
|
97
|
-
// delegated to parse_array.rs
|
|
98
|
-
crate::core::parser::driver::parse_array::parse_array_value(self)
|
|
99
|
-
}
|
|
100
|
-
|
|
101
|
-
pub fn peek(&self) -> Option<&Token> {
|
|
102
|
-
self.tokens.get(self.token_index)
|
|
103
|
-
}
|
|
104
|
-
|
|
105
|
-
pub fn peek_clone(&self) -> Option<Token> {
|
|
106
|
-
self.tokens.get(self.token_index).cloned()
|
|
107
|
-
}
|
|
108
|
-
|
|
109
|
-
pub fn expect(&mut self, kind: TokenKind) -> Result<&Token, String> {
|
|
110
|
-
let tok = self.advance().ok_or("Unexpected end of input")?;
|
|
111
|
-
if tok.kind == kind {
|
|
112
|
-
Ok(tok)
|
|
113
|
-
} else {
|
|
114
|
-
Err(format!("Expected {:?}, got {:?}", kind, tok.kind))
|
|
115
|
-
}
|
|
116
|
-
}
|
|
117
|
-
|
|
118
|
-
pub fn collect_block_tokens(&mut self, base_indent: usize) -> Vec<Token> {
|
|
119
|
-
crate::core::parser::driver::block::collect_block_tokens(self, base_indent)
|
|
120
|
-
}
|
|
121
|
-
|
|
122
|
-
pub fn collect_until<F>(&mut self, condition: F) -> Vec<Token>
|
|
123
|
-
where
|
|
124
|
-
F: Fn(&Token) -> bool,
|
|
125
|
-
{
|
|
126
|
-
crate::core::parser::driver::block::collect_until(self, condition)
|
|
127
|
-
}
|
|
128
|
-
|
|
129
|
-
pub fn is_eof(&self) -> bool {
|
|
130
|
-
self.token_index >= self.tokens.len()
|
|
131
|
-
}
|
|
132
|
-
|
|
133
|
-
pub fn parse_block_until_next_else(
|
|
134
|
-
&mut self,
|
|
135
|
-
base_indent: usize,
|
|
136
|
-
global_store: &mut GlobalStore,
|
|
137
|
-
) -> Vec<Statement> {
|
|
138
|
-
crate::core::parser::driver::block::parse_block_until_next_else(
|
|
139
|
-
self,
|
|
140
|
-
base_indent,
|
|
141
|
-
global_store,
|
|
142
|
-
)
|
|
143
|
-
}
|
|
144
|
-
|
|
145
|
-
pub fn parse_condition_until_colon(&mut self) -> Option<Value> {
|
|
146
|
-
crate::core::parser::driver::driver_impl::parse_condition_until_colon_impl(self)
|
|
147
|
-
}
|
|
148
|
-
|
|
149
|
-
pub fn parse_block_until_else_or_dedent(
|
|
150
|
-
&mut self,
|
|
151
|
-
base_indent: usize,
|
|
152
|
-
global_store: &mut GlobalStore,
|
|
153
|
-
) -> Vec<Statement> {
|
|
154
|
-
crate::core::parser::driver::block::parse_block_until_else_or_dedent(
|
|
155
|
-
self,
|
|
156
|
-
base_indent,
|
|
157
|
-
global_store,
|
|
158
|
-
)
|
|
159
|
-
}
|
|
160
|
-
}
|
|
1
|
+
use crate::core::{
|
|
2
|
+
lexer::token::{Token, TokenKind},
|
|
3
|
+
parser::statement::Statement,
|
|
4
|
+
store::global::GlobalStore,
|
|
5
|
+
};
|
|
6
|
+
use devalang_types::Value;
|
|
7
|
+
|
|
8
|
+
#[derive(Debug, Clone, PartialEq)]
|
|
9
|
+
pub struct Parser {
|
|
10
|
+
pub resolve_modules: bool,
|
|
11
|
+
pub tokens: Vec<Token>,
|
|
12
|
+
pub token_index: usize,
|
|
13
|
+
pub current_module: String,
|
|
14
|
+
pub previous: Option<Token>,
|
|
15
|
+
}
|
|
16
|
+
|
|
17
|
+
impl Default for Parser {
|
|
18
|
+
fn default() -> Self {
|
|
19
|
+
Self::new()
|
|
20
|
+
}
|
|
21
|
+
}
|
|
22
|
+
|
|
23
|
+
impl Parser {
|
|
24
|
+
pub fn new() -> Self {
|
|
25
|
+
Parser {
|
|
26
|
+
resolve_modules: false,
|
|
27
|
+
tokens: Vec::new(),
|
|
28
|
+
token_index: 0,
|
|
29
|
+
current_module: String::new(),
|
|
30
|
+
previous: None,
|
|
31
|
+
}
|
|
32
|
+
}
|
|
33
|
+
|
|
34
|
+
pub fn set_current_module(&mut self, module_path: String) {
|
|
35
|
+
self.current_module = module_path;
|
|
36
|
+
}
|
|
37
|
+
|
|
38
|
+
pub fn advance(&mut self) -> Option<&Token> {
|
|
39
|
+
crate::core::parser::driver::cursor::advance_impl(self)
|
|
40
|
+
}
|
|
41
|
+
|
|
42
|
+
pub fn peek_is(&self, expected: &str) -> bool {
|
|
43
|
+
crate::core::parser::driver::cursor::peek_is_impl(self, expected)
|
|
44
|
+
}
|
|
45
|
+
|
|
46
|
+
pub fn peek_nth(&self, n: usize) -> Option<&Token> {
|
|
47
|
+
crate::core::parser::driver::cursor::peek_nth_impl(self, n)
|
|
48
|
+
}
|
|
49
|
+
|
|
50
|
+
pub fn peek_nth_kind(&self, n: usize) -> Option<TokenKind> {
|
|
51
|
+
crate::core::parser::driver::cursor::peek_nth_kind_impl(self, n)
|
|
52
|
+
}
|
|
53
|
+
|
|
54
|
+
pub fn advance_if(&mut self, kind: TokenKind) -> bool {
|
|
55
|
+
crate::core::parser::driver::cursor::advance_if_impl(self, kind)
|
|
56
|
+
}
|
|
57
|
+
|
|
58
|
+
pub fn match_token(&mut self, kind: TokenKind) -> bool {
|
|
59
|
+
crate::core::parser::driver::cursor::match_token_impl(self, kind)
|
|
60
|
+
}
|
|
61
|
+
|
|
62
|
+
pub fn previous_clone(&self) -> Option<Token> {
|
|
63
|
+
crate::core::parser::driver::cursor::previous_clone_impl(self)
|
|
64
|
+
}
|
|
65
|
+
|
|
66
|
+
pub fn parse_block(
|
|
67
|
+
&self,
|
|
68
|
+
tokens: Vec<Token>,
|
|
69
|
+
global_store: &mut GlobalStore,
|
|
70
|
+
) -> Vec<Statement> {
|
|
71
|
+
crate::core::parser::driver::block::parse_block(self, tokens, global_store)
|
|
72
|
+
}
|
|
73
|
+
|
|
74
|
+
pub fn parse_tokens(
|
|
75
|
+
&mut self,
|
|
76
|
+
tokens: Vec<Token>,
|
|
77
|
+
global_store: &mut GlobalStore,
|
|
78
|
+
) -> Vec<Statement> {
|
|
79
|
+
crate::core::parser::driver::driver_impl::parse_tokens_impl(self, tokens, global_store)
|
|
80
|
+
}
|
|
81
|
+
|
|
82
|
+
pub fn check_token(&self, kind: TokenKind) -> bool {
|
|
83
|
+
crate::core::parser::driver::cursor::peek_impl(self).is_some_and(|t| t.kind == kind)
|
|
84
|
+
}
|
|
85
|
+
|
|
86
|
+
pub fn peek_kind(&self) -> Option<TokenKind> {
|
|
87
|
+
crate::core::parser::driver::cursor::peek_impl(self).map(|t| t.kind.clone())
|
|
88
|
+
}
|
|
89
|
+
|
|
90
|
+
pub fn parse_map_value(&mut self) -> Option<Value> {
|
|
91
|
+
// Delegated to parse_map.rs
|
|
92
|
+
crate::core::parser::driver::parse_map::parse_map_value(self)
|
|
93
|
+
}
|
|
94
|
+
|
|
95
|
+
// Parse an array value like [1, 2, 3] or ["a", b]
|
|
96
|
+
pub fn parse_array_value(&mut self) -> Option<Value> {
|
|
97
|
+
// delegated to parse_array.rs
|
|
98
|
+
crate::core::parser::driver::parse_array::parse_array_value(self)
|
|
99
|
+
}
|
|
100
|
+
|
|
101
|
+
pub fn peek(&self) -> Option<&Token> {
|
|
102
|
+
self.tokens.get(self.token_index)
|
|
103
|
+
}
|
|
104
|
+
|
|
105
|
+
pub fn peek_clone(&self) -> Option<Token> {
|
|
106
|
+
self.tokens.get(self.token_index).cloned()
|
|
107
|
+
}
|
|
108
|
+
|
|
109
|
+
pub fn expect(&mut self, kind: TokenKind) -> Result<&Token, String> {
|
|
110
|
+
let tok = self.advance().ok_or("Unexpected end of input")?;
|
|
111
|
+
if tok.kind == kind {
|
|
112
|
+
Ok(tok)
|
|
113
|
+
} else {
|
|
114
|
+
Err(format!("Expected {:?}, got {:?}", kind, tok.kind))
|
|
115
|
+
}
|
|
116
|
+
}
|
|
117
|
+
|
|
118
|
+
pub fn collect_block_tokens(&mut self, base_indent: usize) -> Vec<Token> {
|
|
119
|
+
crate::core::parser::driver::block::collect_block_tokens(self, base_indent)
|
|
120
|
+
}
|
|
121
|
+
|
|
122
|
+
pub fn collect_until<F>(&mut self, condition: F) -> Vec<Token>
|
|
123
|
+
where
|
|
124
|
+
F: Fn(&Token) -> bool,
|
|
125
|
+
{
|
|
126
|
+
crate::core::parser::driver::block::collect_until(self, condition)
|
|
127
|
+
}
|
|
128
|
+
|
|
129
|
+
pub fn is_eof(&self) -> bool {
|
|
130
|
+
self.token_index >= self.tokens.len()
|
|
131
|
+
}
|
|
132
|
+
|
|
133
|
+
pub fn parse_block_until_next_else(
|
|
134
|
+
&mut self,
|
|
135
|
+
base_indent: usize,
|
|
136
|
+
global_store: &mut GlobalStore,
|
|
137
|
+
) -> Vec<Statement> {
|
|
138
|
+
crate::core::parser::driver::block::parse_block_until_next_else(
|
|
139
|
+
self,
|
|
140
|
+
base_indent,
|
|
141
|
+
global_store,
|
|
142
|
+
)
|
|
143
|
+
}
|
|
144
|
+
|
|
145
|
+
pub fn parse_condition_until_colon(&mut self) -> Option<Value> {
|
|
146
|
+
crate::core::parser::driver::driver_impl::parse_condition_until_colon_impl(self)
|
|
147
|
+
}
|
|
148
|
+
|
|
149
|
+
pub fn parse_block_until_else_or_dedent(
|
|
150
|
+
&mut self,
|
|
151
|
+
base_indent: usize,
|
|
152
|
+
global_store: &mut GlobalStore,
|
|
153
|
+
) -> Vec<Statement> {
|
|
154
|
+
crate::core::parser::driver::block::parse_block_until_else_or_dedent(
|
|
155
|
+
self,
|
|
156
|
+
base_indent,
|
|
157
|
+
global_store,
|
|
158
|
+
)
|
|
159
|
+
}
|
|
160
|
+
}
|
|
@@ -180,6 +180,22 @@ pub fn parse_arrow_call(parser: &mut Parser, _global_store: &mut GlobalStore) ->
|
|
|
180
180
|
parser.advance(); // ->
|
|
181
181
|
parser.advance(); // method
|
|
182
182
|
|
|
183
|
+
let args = parse_arrow_args(parser);
|
|
184
|
+
Statement {
|
|
185
|
+
kind: StatementKind::ArrowCall {
|
|
186
|
+
target: target_token.lexeme.clone(),
|
|
187
|
+
method: method_token.lexeme.clone(),
|
|
188
|
+
args,
|
|
189
|
+
},
|
|
190
|
+
value: Value::Null,
|
|
191
|
+
indent: target_token.indent,
|
|
192
|
+
line: target_token.line,
|
|
193
|
+
column: target_token.column,
|
|
194
|
+
}
|
|
195
|
+
}
|
|
196
|
+
|
|
197
|
+
// Parse args after the method token. Reused by continuation parser.
|
|
198
|
+
fn parse_arrow_args(parser: &mut Parser) -> Vec<Value> {
|
|
183
199
|
let mut args = Vec::new();
|
|
184
200
|
let mut paren_depth = 0;
|
|
185
201
|
let mut map_depth = 0;
|
|
@@ -225,8 +241,6 @@ pub fn parse_arrow_call(parser: &mut Parser, _global_store: &mut GlobalStore) ->
|
|
|
225
241
|
TokenKind::Identifier => Value::Identifier(token.lexeme.clone()),
|
|
226
242
|
TokenKind::String => Value::String(token.lexeme.clone()),
|
|
227
243
|
TokenKind::Number => {
|
|
228
|
-
// support fraction literal as bare arg: 1/4
|
|
229
|
-
// note: token has already been advanced earlier in the loop
|
|
230
244
|
if let Some(TokenKind::Slash) = parser.peek_kind() {
|
|
231
245
|
parser.advance(); // consume '/'
|
|
232
246
|
if let Some(den) = parser.peek_clone() {
|
|
@@ -244,34 +258,71 @@ pub fn parse_arrow_call(parser: &mut Parser, _global_store: &mut GlobalStore) ->
|
|
|
244
258
|
Value::Number(token.lexeme.parse::<f32>().unwrap_or(0.0))
|
|
245
259
|
}
|
|
246
260
|
}
|
|
247
|
-
TokenKind::LBrace =>
|
|
248
|
-
// Handle map literal (supports nested maps)
|
|
249
|
-
|
|
250
|
-
// We consumed the matching '}', so outer map_depth should be decremented
|
|
251
|
-
// if the caller tracks it.
|
|
252
|
-
parse_map_literal(parser)
|
|
253
|
-
}
|
|
261
|
+
TokenKind::LBrace => parse_map_literal(parser),
|
|
254
262
|
_ => Value::Unknown,
|
|
255
263
|
};
|
|
256
264
|
|
|
257
265
|
args.push(value);
|
|
258
266
|
|
|
259
|
-
// Stop if we reach the end of the statement
|
|
260
267
|
if paren_depth == 0 && (token.kind == TokenKind::RParen || token.kind == TokenKind::RBrace)
|
|
261
268
|
{
|
|
262
269
|
break;
|
|
263
270
|
}
|
|
264
271
|
}
|
|
265
272
|
|
|
273
|
+
args
|
|
274
|
+
}
|
|
275
|
+
|
|
276
|
+
// Parse an arrow continuation that begins with an Arrow token. If prev_target is Some,
|
|
277
|
+
// use it as the call target; otherwise produce an Unknown statement.
|
|
278
|
+
pub fn parse_arrow_continuation(
|
|
279
|
+
parser: &mut Parser,
|
|
280
|
+
_global_store: &mut GlobalStore,
|
|
281
|
+
prev_target: Option<String>,
|
|
282
|
+
) -> Statement {
|
|
283
|
+
// We expect current token to be Arrow
|
|
284
|
+
let arrow_tok = parser.peek_clone();
|
|
285
|
+
if arrow_tok.is_none() {
|
|
286
|
+
return Statement::unknown();
|
|
287
|
+
}
|
|
288
|
+
|
|
289
|
+
// If there is no previous target, consume arrow and return unknown
|
|
290
|
+
let Some(target) = prev_target else {
|
|
291
|
+
parser.advance(); // consume Arrow
|
|
292
|
+
return Statement::unknown();
|
|
293
|
+
};
|
|
294
|
+
|
|
295
|
+
// consume '->'
|
|
296
|
+
parser.advance();
|
|
297
|
+
|
|
298
|
+
// next token should be method identifier
|
|
299
|
+
let Some(method_token) = parser.peek_nth(0).cloned() else {
|
|
300
|
+
return Statement::unknown();
|
|
301
|
+
};
|
|
302
|
+
|
|
303
|
+
if method_token.kind != TokenKind::Identifier {
|
|
304
|
+
parser.advance();
|
|
305
|
+
return Statement::unknown_with_pos(
|
|
306
|
+
method_token.indent,
|
|
307
|
+
method_token.line,
|
|
308
|
+
method_token.column,
|
|
309
|
+
);
|
|
310
|
+
}
|
|
311
|
+
|
|
312
|
+
// consume method
|
|
313
|
+
parser.advance();
|
|
314
|
+
|
|
315
|
+
let args = parse_arrow_args(parser);
|
|
316
|
+
|
|
266
317
|
Statement {
|
|
267
318
|
kind: StatementKind::ArrowCall {
|
|
268
|
-
target
|
|
319
|
+
target,
|
|
269
320
|
method: method_token.lexeme.clone(),
|
|
270
321
|
args,
|
|
271
322
|
},
|
|
272
323
|
value: Value::Null,
|
|
273
|
-
indent:
|
|
274
|
-
line:
|
|
275
|
-
column:
|
|
324
|
+
indent: method_token.indent,
|
|
325
|
+
line: method_token.line,
|
|
326
|
+
column: method_token.column,
|
|
276
327
|
}
|
|
277
328
|
}
|