@devaloop/devalang 0.0.1-beta.1 → 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/.devalang +9 -10
- package/Cargo.toml +84 -80
- package/README.md +10 -7
- package/docs/CHANGELOG.md +83 -0
- package/docs/ROADMAP.md +6 -2
- package/docs/TODO.md +3 -14
- package/examples/bus.deva +10 -0
- package/examples/chain.deva +19 -0
- package/examples/effect.deva +2 -0
- package/examples/filter.deva +11 -0
- package/examples/lfo.deva +9 -0
- package/examples/plugin.deva +10 -10
- package/examples/routing.deva +23 -0
- package/examples/synth.deva +11 -1
- package/examples/synth_types.deva +17 -0
- package/out-tsc/bin/project-version.json +6 -0
- package/out-tsc/core/functions/index.d.ts +5 -0
- package/out-tsc/core/functions/index.js +11 -0
- package/out-tsc/pkg/devalang_core.d.ts +2 -0
- package/out-tsc/pkg/devalang_core.js +17 -2
- package/out-tsc/pkg/devalang_core_bg.wasm.d.ts +1 -0
- 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} +34 -43
- package/rust/cli/build/commands.rs +153 -103
- package/rust/cli/build/mod.rs +2 -2
- package/rust/cli/build/process.rs +165 -146
- package/rust/cli/check/mod.rs +208 -208
- package/rust/cli/discover/commands.rs +53 -31
- package/rust/cli/discover/config.rs +2 -4
- package/rust/cli/discover/install.rs +139 -28
- package/rust/cli/discover/metadata.rs +3 -3
- package/rust/cli/login/commands.rs +124 -124
- package/rust/cli/me/commands.rs +52 -0
- package/rust/cli/me/mod.rs +1 -0
- package/rust/cli/mod.rs +2 -2
- package/rust/cli/parser.rs +76 -70
- package/rust/cli/play/commands.rs +375 -324
- package/rust/cli/play/mod.rs +5 -5
- package/rust/cli/play/process.rs +159 -150
- package/rust/cli/play/realtime.rs +91 -91
- package/rust/cli/telemetry/commands.rs +22 -22
- package/rust/cli/telemetry/event_creator.rs +80 -80
- package/rust/cli/telemetry/mod.rs +3 -3
- package/rust/cli/telemetry/send.rs +51 -51
- package/rust/cli/template/commands.rs +69 -69
- package/rust/config/driver.rs +112 -103
- package/rust/config/mod.rs +3 -3
- package/rust/config/ops.rs +26 -26
- package/rust/config/settings.rs +101 -101
- package/rust/core/audio/engine/driver.rs +237 -0
- package/rust/core/audio/engine/export.rs +169 -0
- package/rust/core/audio/engine/helpers.rs +178 -170
- package/rust/core/audio/engine/mod.rs +56 -7
- package/rust/core/audio/engine/notes/dsp.rs +88 -0
- package/rust/core/audio/engine/notes/mod.rs +53 -0
- package/rust/core/audio/engine/notes/params.rs +294 -0
- package/rust/core/audio/engine/sample/insert.rs +300 -0
- package/rust/core/audio/engine/sample/mod.rs +40 -0
- package/rust/core/audio/engine/sample/padding.rs +170 -0
- package/rust/core/audio/evaluator/condition.rs +61 -0
- package/rust/core/audio/evaluator/mod.rs +9 -0
- package/rust/core/audio/{evaluator.rs → evaluator/numeric.rs} +152 -310
- package/rust/core/audio/evaluator/rhs.rs +16 -0
- package/rust/core/audio/evaluator/string_expr.rs +94 -0
- package/rust/core/audio/interpreter/driver.rs +574 -542
- package/rust/core/audio/interpreter/mod.rs +2 -14
- package/rust/core/audio/interpreter/statements/arrow_call/interprete.rs +179 -0
- package/rust/core/audio/interpreter/statements/arrow_call/methods/chord.rs +398 -0
- package/rust/core/audio/interpreter/statements/arrow_call/methods/effects.rs +323 -0
- package/rust/core/audio/interpreter/statements/arrow_call/methods/mod.rs +3 -0
- package/rust/core/audio/interpreter/statements/arrow_call/methods/note.rs +371 -0
- package/rust/core/audio/interpreter/statements/arrow_call/mod.rs +3 -0
- package/rust/core/audio/interpreter/statements/arrow_call/types/arp.rs +192 -0
- package/rust/core/audio/interpreter/statements/arrow_call/types/mod.rs +24 -0
- package/rust/core/audio/interpreter/statements/arrow_call/types/pad.rs +116 -0
- package/rust/core/audio/interpreter/statements/arrow_call/types/pluck.rs +97 -0
- package/rust/core/audio/interpreter/statements/arrow_call/types/sub.rs +100 -0
- package/rust/core/audio/interpreter/{automate.rs → statements/automate.rs} +2 -4
- package/rust/core/audio/interpreter/{call.rs → statements/call.rs} +36 -5
- package/rust/core/audio/interpreter/{condition.rs → statements/condition.rs} +72 -71
- package/rust/core/audio/interpreter/{function.rs → statements/function.rs} +24 -26
- package/rust/core/audio/interpreter/{let_.rs → statements/let_.rs} +36 -38
- package/rust/core/audio/interpreter/{load.rs → statements/load.rs} +17 -19
- package/rust/core/audio/interpreter/{loop_.rs → statements/loop_.rs} +115 -114
- package/rust/core/audio/interpreter/statements/mod.rs +12 -0
- package/rust/core/audio/interpreter/{sleep.rs → statements/sleep.rs} +28 -28
- package/rust/core/audio/interpreter/{spawn.rs → statements/spawn.rs} +54 -4
- package/rust/core/audio/interpreter/{tempo.rs → statements/tempo.rs} +40 -40
- package/rust/core/audio/interpreter/{trigger.rs → statements/trigger.rs} +242 -239
- package/rust/core/audio/loader/trigger.rs +98 -97
- package/rust/core/audio/mod.rs +6 -7
- package/rust/core/audio/special/easing.rs +189 -189
- package/rust/core/audio/special/env.rs +45 -45
- package/rust/core/audio/special/math.rs +134 -134
- package/rust/core/audio/special/modulator.rs +143 -143
- package/rust/core/builder/mod.rs +129 -86
- package/rust/core/debugger/{module.rs → logs.rs} +52 -55
- package/rust/core/debugger/mod.rs +30 -30
- package/rust/core/debugger/store.rs +38 -40
- package/rust/core/error/mod.rs +269 -269
- package/rust/core/lexer/driver.rs +2 -4
- package/rust/core/mod.rs +9 -10
- package/rust/core/parser/driver/block.rs +111 -0
- package/rust/core/parser/driver/cursor.rs +82 -0
- package/rust/core/parser/driver/driver_impl.rs +159 -0
- package/rust/core/parser/driver/mod.rs +6 -0
- package/rust/core/parser/driver/parse_array.rs +120 -0
- package/rust/core/parser/driver/parse_map.rs +247 -0
- package/rust/core/parser/driver/parser.rs +160 -0
- package/rust/core/parser/handler/arrow_call.rs +90 -15
- package/rust/core/parser/handler/at.rs +279 -279
- package/rust/core/parser/handler/bank.rs +104 -104
- package/rust/core/parser/handler/condition.rs +83 -83
- package/rust/core/parser/handler/dot.rs +148 -148
- package/rust/core/parser/handler/identifier/automate.rs +254 -254
- package/rust/core/parser/handler/identifier/call.rs +91 -91
- package/rust/core/parser/handler/identifier/emit.rs +70 -70
- package/rust/core/parser/handler/identifier/function.rs +113 -113
- package/rust/core/parser/handler/identifier/group.rs +89 -89
- package/rust/core/parser/handler/identifier/let_.rs +173 -173
- package/rust/core/parser/handler/identifier/mod.rs +55 -55
- package/rust/core/parser/handler/identifier/on.rs +107 -107
- package/rust/core/parser/handler/identifier/print.rs +49 -49
- package/rust/core/parser/handler/identifier/sleep.rs +96 -43
- package/rust/core/parser/handler/identifier/spawn.rs +91 -91
- package/rust/core/parser/handler/identifier/synth.rs +39 -3
- package/rust/core/parser/handler/loop_.rs +194 -194
- package/rust/core/parser/handler/pattern.rs +25 -2
- package/rust/core/parser/handler/tempo.rs +105 -57
- package/rust/core/parser/statement.rs +10 -11
- package/rust/core/plugin/loader.rs +137 -137
- package/rust/core/plugin/runner/mod.rs +11 -0
- package/rust/core/plugin/{runner.rs → runner/non_wasm.rs} +206 -72
- package/rust/core/plugin/runner/wasm32.rs +44 -0
- package/rust/core/preprocessor/loader/inject.rs +313 -0
- package/rust/core/preprocessor/loader/loader_helpers.rs +110 -0
- package/rust/core/preprocessor/loader/mod.rs +235 -0
- package/rust/core/preprocessor/module.rs +55 -60
- package/rust/core/preprocessor/{processor.rs → processor/handlers.rs} +107 -114
- package/rust/core/preprocessor/processor/mod.rs +1 -0
- package/rust/core/preprocessor/resolver/function.rs +69 -69
- package/rust/core/preprocessor/resolver/group.rs +122 -94
- package/rust/core/preprocessor/resolver/pattern.rs +14 -2
- package/rust/core/store/global.rs +57 -61
- package/rust/core/store/mod.rs +1 -5
- package/rust/lib.rs +323 -308
- package/rust/macros/Cargo.toml +14 -0
- package/rust/macros/src/lib.rs +52 -0
- package/rust/main.rs +336 -143
- package/rust/types/Cargo.toml +1 -1
- package/rust/types/src/addons.rs +57 -55
- package/rust/types/src/config.rs +82 -74
- package/rust/types/src/lib.rs +15 -12
- package/rust/types/src/plugin.rs +20 -0
- package/rust/types/src/store.rs +139 -0
- package/rust/types/src/telemetry.rs +85 -85
- package/rust/utils/Cargo.toml +5 -2
- package/rust/utils/src/file.rs +477 -94
- package/rust/utils/src/first_usage.rs +97 -97
- package/rust/utils/src/lib.rs +9 -9
- package/rust/utils/src/logger.rs +200 -200
- package/rust/utils/src/path.rs +158 -88
- package/rust/utils/src/signature.rs +41 -41
- package/rust/utils/src/spinner.rs +20 -20
- package/rust/utils/src/version.rs +58 -27
- package/rust/utils/src/watcher.rs +46 -46
- package/rust/web/api.rs +5 -5
- package/rust/web/auth.rs +5 -0
- package/rust/web/cdn.rs +34 -34
- package/rust/web/forge.rs +5 -0
- package/rust/web/mod.rs +2 -0
- package/tests/integration.rs +21 -21
- package/typescript/core/functions/index.ts +11 -0
- package/typescript/pkg/devalang_core.ts +20 -4
- 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 -275
- package/rust/cli/bank/mod.rs +0 -29
- package/rust/cli/install/bank.rs +0 -53
- package/rust/cli/install/commands.rs +0 -35
- package/rust/cli/install/mod.rs +0 -4
- package/rust/cli/install/plugin.rs +0 -61
- package/rust/core/audio/engine/sample.rs +0 -366
- package/rust/core/audio/engine/synth.rs +0 -325
- package/rust/core/audio/interpreter/arrow_call.rs +0 -311
- package/rust/core/audio/renderer.rs +0 -54
- package/rust/core/parser/driver.rs +0 -584
- package/rust/core/preprocessor/loader.rs +0 -637
- package/rust/core/store/export.rs +0 -28
- package/rust/core/store/function.rs +0 -40
- package/rust/core/store/import.rs +0 -28
- package/rust/core/store/variable.rs +0 -51
- package/rust/core/utils/mod.rs +0 -1
- package/rust/core/utils/path.rs +0 -37
package/rust/core/error/mod.rs
CHANGED
|
@@ -1,269 +1,269 @@
|
|
|
1
|
-
use crate::core::parser::{
|
|
2
|
-
driver::Parser,
|
|
3
|
-
statement::{Statement, StatementKind},
|
|
4
|
-
};
|
|
5
|
-
use devalang_types::Value;
|
|
6
|
-
use serde::{Deserialize, Serialize};
|
|
7
|
-
|
|
8
|
-
pub struct ErrorHandler {
|
|
9
|
-
errors: Vec<Error>,
|
|
10
|
-
}
|
|
11
|
-
|
|
12
|
-
#[derive(Serialize, Deserialize, Clone, Debug)]
|
|
13
|
-
pub enum Severity {
|
|
14
|
-
Warning,
|
|
15
|
-
Critical,
|
|
16
|
-
}
|
|
17
|
-
|
|
18
|
-
#[derive(Serialize, Deserialize, Clone, Debug, Default)]
|
|
19
|
-
pub struct StackFrame {
|
|
20
|
-
pub module: Option<String>,
|
|
21
|
-
pub context: Option<String>,
|
|
22
|
-
pub line: usize,
|
|
23
|
-
pub column: usize,
|
|
24
|
-
}
|
|
25
|
-
|
|
26
|
-
#[derive(Serialize, Deserialize, Clone, Debug)]
|
|
27
|
-
pub struct ErrorResult {
|
|
28
|
-
pub message: String,
|
|
29
|
-
pub line: usize,
|
|
30
|
-
pub column: usize,
|
|
31
|
-
pub severity: Severity,
|
|
32
|
-
pub stack: Vec<StackFrame>,
|
|
33
|
-
}
|
|
34
|
-
|
|
35
|
-
#[derive(Clone)]
|
|
36
|
-
pub struct Error {
|
|
37
|
-
pub message: String,
|
|
38
|
-
pub line: usize,
|
|
39
|
-
pub column: usize,
|
|
40
|
-
}
|
|
41
|
-
|
|
42
|
-
impl Default for ErrorHandler {
|
|
43
|
-
fn default() -> Self {
|
|
44
|
-
Self::new()
|
|
45
|
-
}
|
|
46
|
-
}
|
|
47
|
-
|
|
48
|
-
impl ErrorHandler {
|
|
49
|
-
pub fn new() -> Self {
|
|
50
|
-
Self { errors: Vec::new() }
|
|
51
|
-
}
|
|
52
|
-
|
|
53
|
-
pub fn add_error(&mut self, message: String, line: usize, column: usize) {
|
|
54
|
-
let error_statement = Error {
|
|
55
|
-
message,
|
|
56
|
-
line,
|
|
57
|
-
column,
|
|
58
|
-
};
|
|
59
|
-
self.errors.push(error_statement);
|
|
60
|
-
}
|
|
61
|
-
|
|
62
|
-
pub fn has_errors(&self) -> bool {
|
|
63
|
-
!self.errors.is_empty()
|
|
64
|
-
}
|
|
65
|
-
|
|
66
|
-
pub fn get_errors(&self) -> &Vec<Error> {
|
|
67
|
-
&self.errors
|
|
68
|
-
}
|
|
69
|
-
|
|
70
|
-
pub fn clear_errors(&mut self) {
|
|
71
|
-
self.errors.clear();
|
|
72
|
-
}
|
|
73
|
-
|
|
74
|
-
pub fn detect_from_statements(&mut self, _parser: &mut Parser, statements: &[Statement]) {
|
|
75
|
-
for stmt in statements {
|
|
76
|
-
match &stmt.kind {
|
|
77
|
-
StatementKind::Unknown => {
|
|
78
|
-
self.add_error("Unknown statement".to_string(), stmt.line, stmt.column);
|
|
79
|
-
}
|
|
80
|
-
StatementKind::Error { message } => {
|
|
81
|
-
self.add_error(message.clone(), stmt.line, stmt.column);
|
|
82
|
-
}
|
|
83
|
-
_ => {}
|
|
84
|
-
}
|
|
85
|
-
}
|
|
86
|
-
}
|
|
87
|
-
}
|
|
88
|
-
|
|
89
|
-
/// Collects errors recursively from statements (mirrors old utils implementation).
|
|
90
|
-
pub fn collect_errors_recursively(statements: &[Statement]) -> Vec<ErrorResult> {
|
|
91
|
-
let mut errors: Vec<ErrorResult> = Vec::new();
|
|
92
|
-
|
|
93
|
-
for stmt in statements {
|
|
94
|
-
match &stmt.kind {
|
|
95
|
-
StatementKind::Unknown => {
|
|
96
|
-
errors.push(ErrorResult {
|
|
97
|
-
message: format!("Unknown statement at line {}:{}", stmt.line, stmt.column),
|
|
98
|
-
line: stmt.line,
|
|
99
|
-
column: stmt.column,
|
|
100
|
-
severity: Severity::Warning,
|
|
101
|
-
stack: vec![StackFrame {
|
|
102
|
-
module: None,
|
|
103
|
-
context: Some("Unknown".to_string()),
|
|
104
|
-
line: stmt.line,
|
|
105
|
-
column: stmt.column,
|
|
106
|
-
}],
|
|
107
|
-
});
|
|
108
|
-
}
|
|
109
|
-
StatementKind::Error { message } => {
|
|
110
|
-
errors.push(ErrorResult {
|
|
111
|
-
message: message.clone(),
|
|
112
|
-
line: stmt.line,
|
|
113
|
-
column: stmt.column,
|
|
114
|
-
severity: Severity::Critical,
|
|
115
|
-
stack: vec![StackFrame {
|
|
116
|
-
module: None,
|
|
117
|
-
context: Some("Error".to_string()),
|
|
118
|
-
line: stmt.line,
|
|
119
|
-
column: stmt.column,
|
|
120
|
-
}],
|
|
121
|
-
});
|
|
122
|
-
}
|
|
123
|
-
StatementKind::Loop => {
|
|
124
|
-
if let Some(body_statements) = extract_loop_body_statements(&stmt.value) {
|
|
125
|
-
let nested = collect_errors_recursively(body_statements);
|
|
126
|
-
errors.extend(nested.into_iter().map(|mut e| {
|
|
127
|
-
e.stack.insert(
|
|
128
|
-
0,
|
|
129
|
-
StackFrame {
|
|
130
|
-
module: None,
|
|
131
|
-
context: Some("loop".to_string()),
|
|
132
|
-
line: stmt.line,
|
|
133
|
-
column: stmt.column,
|
|
134
|
-
},
|
|
135
|
-
);
|
|
136
|
-
e
|
|
137
|
-
}));
|
|
138
|
-
}
|
|
139
|
-
}
|
|
140
|
-
_ => {}
|
|
141
|
-
}
|
|
142
|
-
}
|
|
143
|
-
|
|
144
|
-
errors
|
|
145
|
-
}
|
|
146
|
-
|
|
147
|
-
fn extract_loop_body_statements(value: &Value) -> Option<&[Statement]> {
|
|
148
|
-
if let Value::Map(map) = value {
|
|
149
|
-
if let Some(Value::Block(statements)) = map.get("body") {
|
|
150
|
-
return Some(statements);
|
|
151
|
-
}
|
|
152
|
-
}
|
|
153
|
-
None
|
|
154
|
-
}
|
|
155
|
-
|
|
156
|
-
pub fn partition_errors(errors: Vec<ErrorResult>) -> (Vec<ErrorResult>, Vec<ErrorResult>) {
|
|
157
|
-
let mut warnings = Vec::new();
|
|
158
|
-
let mut criticals = Vec::new();
|
|
159
|
-
for e in errors {
|
|
160
|
-
match e.severity {
|
|
161
|
-
Severity::Warning => warnings.push(e),
|
|
162
|
-
Severity::Critical => criticals.push(e),
|
|
163
|
-
}
|
|
164
|
-
}
|
|
165
|
-
(warnings, criticals)
|
|
166
|
-
}
|
|
167
|
-
|
|
168
|
-
pub fn log_errors_with_stack(prefix: &str, warnings: &[ErrorResult], criticals: &[ErrorResult]) {
|
|
169
|
-
use devalang_utils::logger::LogLevel;
|
|
170
|
-
use devalang_utils::logger::Logger;
|
|
171
|
-
|
|
172
|
-
let logger = Logger::new();
|
|
173
|
-
if !warnings.is_empty() {
|
|
174
|
-
logger.log_message(
|
|
175
|
-
LogLevel::Warning,
|
|
176
|
-
&format!("{}: {} warning(s)", prefix, warnings.len()),
|
|
177
|
-
);
|
|
178
|
-
for w in warnings {
|
|
179
|
-
logger.log_message(LogLevel::Warning, &format!("- {}", w.message));
|
|
180
|
-
if let Some(frame) = w.stack.first() {
|
|
181
|
-
let module = frame.module.clone().unwrap_or_default();
|
|
182
|
-
logger.log_message(
|
|
183
|
-
LogLevel::Debug,
|
|
184
|
-
&format!(
|
|
185
|
-
" ↳ {}:{}:{} {}",
|
|
186
|
-
module,
|
|
187
|
-
frame.line,
|
|
188
|
-
frame.column,
|
|
189
|
-
frame.context.clone().unwrap_or_default()
|
|
190
|
-
),
|
|
191
|
-
);
|
|
192
|
-
}
|
|
193
|
-
if w.stack.len() > 1 {
|
|
194
|
-
for (i, f) in w.stack.iter().enumerate().skip(1) {
|
|
195
|
-
let module = f.module.clone().unwrap_or_default();
|
|
196
|
-
logger.log_message(
|
|
197
|
-
LogLevel::Debug,
|
|
198
|
-
&format!(
|
|
199
|
-
" #{} {}:{}:{} {}",
|
|
200
|
-
i,
|
|
201
|
-
module,
|
|
202
|
-
f.line,
|
|
203
|
-
f.column,
|
|
204
|
-
f.context.clone().unwrap_or_default()
|
|
205
|
-
),
|
|
206
|
-
);
|
|
207
|
-
}
|
|
208
|
-
}
|
|
209
|
-
}
|
|
210
|
-
}
|
|
211
|
-
if !criticals.is_empty() {
|
|
212
|
-
logger.log_message(
|
|
213
|
-
LogLevel::Error,
|
|
214
|
-
&format!("{}: {} critical error(s)", prefix, criticals.len()),
|
|
215
|
-
);
|
|
216
|
-
for c in criticals {
|
|
217
|
-
logger.log_message(LogLevel::Error, &format!("- {}", c.message));
|
|
218
|
-
if let Some(frame) = c.stack.first() {
|
|
219
|
-
let module = frame.module.clone().unwrap_or_default();
|
|
220
|
-
logger.log_message(
|
|
221
|
-
LogLevel::Error,
|
|
222
|
-
&format!(
|
|
223
|
-
" ↳ {}:{}:{} {}",
|
|
224
|
-
module,
|
|
225
|
-
frame.line,
|
|
226
|
-
frame.column,
|
|
227
|
-
frame.context.clone().unwrap_or_default()
|
|
228
|
-
),
|
|
229
|
-
);
|
|
230
|
-
}
|
|
231
|
-
if c.stack.len() > 1 {
|
|
232
|
-
for (i, f) in c.stack.iter().enumerate().skip(1) {
|
|
233
|
-
let module = f.module.clone().unwrap_or_default();
|
|
234
|
-
logger.log_message(
|
|
235
|
-
LogLevel::Error,
|
|
236
|
-
&format!(
|
|
237
|
-
" #{} {}:{}:{} {}",
|
|
238
|
-
i,
|
|
239
|
-
module,
|
|
240
|
-
f.line,
|
|
241
|
-
f.column,
|
|
242
|
-
f.context.clone().unwrap_or_default()
|
|
243
|
-
),
|
|
244
|
-
);
|
|
245
|
-
}
|
|
246
|
-
}
|
|
247
|
-
}
|
|
248
|
-
}
|
|
249
|
-
}
|
|
250
|
-
|
|
251
|
-
/// Collects errors from all modules and annotates stack frames with module names.
|
|
252
|
-
pub fn collect_all_errors_with_modules(
|
|
253
|
-
statements_by_module: &std::collections::HashMap<String, Vec<Statement>>,
|
|
254
|
-
) -> Vec<ErrorResult> {
|
|
255
|
-
let mut all: Vec<ErrorResult> = Vec::new();
|
|
256
|
-
for (module, stmts) in statements_by_module.iter() {
|
|
257
|
-
let mut errs = collect_errors_recursively(stmts);
|
|
258
|
-
for e in errs.iter_mut() {
|
|
259
|
-
// annotate first stack frame module if missing
|
|
260
|
-
if let Some(first) = e.stack.first_mut() {
|
|
261
|
-
if first.module.is_none() {
|
|
262
|
-
first.module = Some(module.clone());
|
|
263
|
-
}
|
|
264
|
-
}
|
|
265
|
-
}
|
|
266
|
-
all.extend(errs.into_iter());
|
|
267
|
-
}
|
|
268
|
-
all
|
|
269
|
-
}
|
|
1
|
+
use crate::core::parser::{
|
|
2
|
+
driver::parser::Parser,
|
|
3
|
+
statement::{Statement, StatementKind},
|
|
4
|
+
};
|
|
5
|
+
use devalang_types::Value;
|
|
6
|
+
use serde::{Deserialize, Serialize};
|
|
7
|
+
|
|
8
|
+
pub struct ErrorHandler {
|
|
9
|
+
errors: Vec<Error>,
|
|
10
|
+
}
|
|
11
|
+
|
|
12
|
+
#[derive(Serialize, Deserialize, Clone, Debug)]
|
|
13
|
+
pub enum Severity {
|
|
14
|
+
Warning,
|
|
15
|
+
Critical,
|
|
16
|
+
}
|
|
17
|
+
|
|
18
|
+
#[derive(Serialize, Deserialize, Clone, Debug, Default)]
|
|
19
|
+
pub struct StackFrame {
|
|
20
|
+
pub module: Option<String>,
|
|
21
|
+
pub context: Option<String>,
|
|
22
|
+
pub line: usize,
|
|
23
|
+
pub column: usize,
|
|
24
|
+
}
|
|
25
|
+
|
|
26
|
+
#[derive(Serialize, Deserialize, Clone, Debug)]
|
|
27
|
+
pub struct ErrorResult {
|
|
28
|
+
pub message: String,
|
|
29
|
+
pub line: usize,
|
|
30
|
+
pub column: usize,
|
|
31
|
+
pub severity: Severity,
|
|
32
|
+
pub stack: Vec<StackFrame>,
|
|
33
|
+
}
|
|
34
|
+
|
|
35
|
+
#[derive(Clone)]
|
|
36
|
+
pub struct Error {
|
|
37
|
+
pub message: String,
|
|
38
|
+
pub line: usize,
|
|
39
|
+
pub column: usize,
|
|
40
|
+
}
|
|
41
|
+
|
|
42
|
+
impl Default for ErrorHandler {
|
|
43
|
+
fn default() -> Self {
|
|
44
|
+
Self::new()
|
|
45
|
+
}
|
|
46
|
+
}
|
|
47
|
+
|
|
48
|
+
impl ErrorHandler {
|
|
49
|
+
pub fn new() -> Self {
|
|
50
|
+
Self { errors: Vec::new() }
|
|
51
|
+
}
|
|
52
|
+
|
|
53
|
+
pub fn add_error(&mut self, message: String, line: usize, column: usize) {
|
|
54
|
+
let error_statement = Error {
|
|
55
|
+
message,
|
|
56
|
+
line,
|
|
57
|
+
column,
|
|
58
|
+
};
|
|
59
|
+
self.errors.push(error_statement);
|
|
60
|
+
}
|
|
61
|
+
|
|
62
|
+
pub fn has_errors(&self) -> bool {
|
|
63
|
+
!self.errors.is_empty()
|
|
64
|
+
}
|
|
65
|
+
|
|
66
|
+
pub fn get_errors(&self) -> &Vec<Error> {
|
|
67
|
+
&self.errors
|
|
68
|
+
}
|
|
69
|
+
|
|
70
|
+
pub fn clear_errors(&mut self) {
|
|
71
|
+
self.errors.clear();
|
|
72
|
+
}
|
|
73
|
+
|
|
74
|
+
pub fn detect_from_statements(&mut self, _parser: &mut Parser, statements: &[Statement]) {
|
|
75
|
+
for stmt in statements {
|
|
76
|
+
match &stmt.kind {
|
|
77
|
+
StatementKind::Unknown => {
|
|
78
|
+
self.add_error("Unknown statement".to_string(), stmt.line, stmt.column);
|
|
79
|
+
}
|
|
80
|
+
StatementKind::Error { message } => {
|
|
81
|
+
self.add_error(message.clone(), stmt.line, stmt.column);
|
|
82
|
+
}
|
|
83
|
+
_ => {}
|
|
84
|
+
}
|
|
85
|
+
}
|
|
86
|
+
}
|
|
87
|
+
}
|
|
88
|
+
|
|
89
|
+
/// Collects errors recursively from statements (mirrors old utils implementation).
|
|
90
|
+
pub fn collect_errors_recursively(statements: &[Statement]) -> Vec<ErrorResult> {
|
|
91
|
+
let mut errors: Vec<ErrorResult> = Vec::new();
|
|
92
|
+
|
|
93
|
+
for stmt in statements {
|
|
94
|
+
match &stmt.kind {
|
|
95
|
+
StatementKind::Unknown => {
|
|
96
|
+
errors.push(ErrorResult {
|
|
97
|
+
message: format!("Unknown statement at line {}:{}", stmt.line, stmt.column),
|
|
98
|
+
line: stmt.line,
|
|
99
|
+
column: stmt.column,
|
|
100
|
+
severity: Severity::Warning,
|
|
101
|
+
stack: vec![StackFrame {
|
|
102
|
+
module: None,
|
|
103
|
+
context: Some("Unknown".to_string()),
|
|
104
|
+
line: stmt.line,
|
|
105
|
+
column: stmt.column,
|
|
106
|
+
}],
|
|
107
|
+
});
|
|
108
|
+
}
|
|
109
|
+
StatementKind::Error { message } => {
|
|
110
|
+
errors.push(ErrorResult {
|
|
111
|
+
message: message.clone(),
|
|
112
|
+
line: stmt.line,
|
|
113
|
+
column: stmt.column,
|
|
114
|
+
severity: Severity::Critical,
|
|
115
|
+
stack: vec![StackFrame {
|
|
116
|
+
module: None,
|
|
117
|
+
context: Some("Error".to_string()),
|
|
118
|
+
line: stmt.line,
|
|
119
|
+
column: stmt.column,
|
|
120
|
+
}],
|
|
121
|
+
});
|
|
122
|
+
}
|
|
123
|
+
StatementKind::Loop => {
|
|
124
|
+
if let Some(body_statements) = extract_loop_body_statements(&stmt.value) {
|
|
125
|
+
let nested = collect_errors_recursively(body_statements);
|
|
126
|
+
errors.extend(nested.into_iter().map(|mut e| {
|
|
127
|
+
e.stack.insert(
|
|
128
|
+
0,
|
|
129
|
+
StackFrame {
|
|
130
|
+
module: None,
|
|
131
|
+
context: Some("loop".to_string()),
|
|
132
|
+
line: stmt.line,
|
|
133
|
+
column: stmt.column,
|
|
134
|
+
},
|
|
135
|
+
);
|
|
136
|
+
e
|
|
137
|
+
}));
|
|
138
|
+
}
|
|
139
|
+
}
|
|
140
|
+
_ => {}
|
|
141
|
+
}
|
|
142
|
+
}
|
|
143
|
+
|
|
144
|
+
errors
|
|
145
|
+
}
|
|
146
|
+
|
|
147
|
+
fn extract_loop_body_statements(value: &Value) -> Option<&[Statement]> {
|
|
148
|
+
if let Value::Map(map) = value {
|
|
149
|
+
if let Some(Value::Block(statements)) = map.get("body") {
|
|
150
|
+
return Some(statements);
|
|
151
|
+
}
|
|
152
|
+
}
|
|
153
|
+
None
|
|
154
|
+
}
|
|
155
|
+
|
|
156
|
+
pub fn partition_errors(errors: Vec<ErrorResult>) -> (Vec<ErrorResult>, Vec<ErrorResult>) {
|
|
157
|
+
let mut warnings = Vec::new();
|
|
158
|
+
let mut criticals = Vec::new();
|
|
159
|
+
for e in errors {
|
|
160
|
+
match e.severity {
|
|
161
|
+
Severity::Warning => warnings.push(e),
|
|
162
|
+
Severity::Critical => criticals.push(e),
|
|
163
|
+
}
|
|
164
|
+
}
|
|
165
|
+
(warnings, criticals)
|
|
166
|
+
}
|
|
167
|
+
|
|
168
|
+
pub fn log_errors_with_stack(prefix: &str, warnings: &[ErrorResult], criticals: &[ErrorResult]) {
|
|
169
|
+
use devalang_utils::logger::LogLevel;
|
|
170
|
+
use devalang_utils::logger::Logger;
|
|
171
|
+
|
|
172
|
+
let logger = Logger::new();
|
|
173
|
+
if !warnings.is_empty() {
|
|
174
|
+
logger.log_message(
|
|
175
|
+
LogLevel::Warning,
|
|
176
|
+
&format!("{}: {} warning(s)", prefix, warnings.len()),
|
|
177
|
+
);
|
|
178
|
+
for w in warnings {
|
|
179
|
+
logger.log_message(LogLevel::Warning, &format!("- {}", w.message));
|
|
180
|
+
if let Some(frame) = w.stack.first() {
|
|
181
|
+
let module = frame.module.clone().unwrap_or_default();
|
|
182
|
+
logger.log_message(
|
|
183
|
+
LogLevel::Debug,
|
|
184
|
+
&format!(
|
|
185
|
+
" ↳ {}:{}:{} {}",
|
|
186
|
+
module,
|
|
187
|
+
frame.line,
|
|
188
|
+
frame.column,
|
|
189
|
+
frame.context.clone().unwrap_or_default()
|
|
190
|
+
),
|
|
191
|
+
);
|
|
192
|
+
}
|
|
193
|
+
if w.stack.len() > 1 {
|
|
194
|
+
for (i, f) in w.stack.iter().enumerate().skip(1) {
|
|
195
|
+
let module = f.module.clone().unwrap_or_default();
|
|
196
|
+
logger.log_message(
|
|
197
|
+
LogLevel::Debug,
|
|
198
|
+
&format!(
|
|
199
|
+
" #{} {}:{}:{} {}",
|
|
200
|
+
i,
|
|
201
|
+
module,
|
|
202
|
+
f.line,
|
|
203
|
+
f.column,
|
|
204
|
+
f.context.clone().unwrap_or_default()
|
|
205
|
+
),
|
|
206
|
+
);
|
|
207
|
+
}
|
|
208
|
+
}
|
|
209
|
+
}
|
|
210
|
+
}
|
|
211
|
+
if !criticals.is_empty() {
|
|
212
|
+
logger.log_message(
|
|
213
|
+
LogLevel::Error,
|
|
214
|
+
&format!("{}: {} critical error(s)", prefix, criticals.len()),
|
|
215
|
+
);
|
|
216
|
+
for c in criticals {
|
|
217
|
+
logger.log_message(LogLevel::Error, &format!("- {}", c.message));
|
|
218
|
+
if let Some(frame) = c.stack.first() {
|
|
219
|
+
let module = frame.module.clone().unwrap_or_default();
|
|
220
|
+
logger.log_message(
|
|
221
|
+
LogLevel::Error,
|
|
222
|
+
&format!(
|
|
223
|
+
" ↳ {}:{}:{} {}",
|
|
224
|
+
module,
|
|
225
|
+
frame.line,
|
|
226
|
+
frame.column,
|
|
227
|
+
frame.context.clone().unwrap_or_default()
|
|
228
|
+
),
|
|
229
|
+
);
|
|
230
|
+
}
|
|
231
|
+
if c.stack.len() > 1 {
|
|
232
|
+
for (i, f) in c.stack.iter().enumerate().skip(1) {
|
|
233
|
+
let module = f.module.clone().unwrap_or_default();
|
|
234
|
+
logger.log_message(
|
|
235
|
+
LogLevel::Error,
|
|
236
|
+
&format!(
|
|
237
|
+
" #{} {}:{}:{} {}",
|
|
238
|
+
i,
|
|
239
|
+
module,
|
|
240
|
+
f.line,
|
|
241
|
+
f.column,
|
|
242
|
+
f.context.clone().unwrap_or_default()
|
|
243
|
+
),
|
|
244
|
+
);
|
|
245
|
+
}
|
|
246
|
+
}
|
|
247
|
+
}
|
|
248
|
+
}
|
|
249
|
+
}
|
|
250
|
+
|
|
251
|
+
/// Collects errors from all modules and annotates stack frames with module names.
|
|
252
|
+
pub fn collect_all_errors_with_modules(
|
|
253
|
+
statements_by_module: &std::collections::HashMap<String, Vec<Statement>>,
|
|
254
|
+
) -> Vec<ErrorResult> {
|
|
255
|
+
let mut all: Vec<ErrorResult> = Vec::new();
|
|
256
|
+
for (module, stmts) in statements_by_module.iter() {
|
|
257
|
+
let mut errs = collect_errors_recursively(stmts);
|
|
258
|
+
for e in errs.iter_mut() {
|
|
259
|
+
// annotate first stack frame module if missing
|
|
260
|
+
if let Some(first) = e.stack.first_mut() {
|
|
261
|
+
if first.module.is_none() {
|
|
262
|
+
first.module = Some(module.clone());
|
|
263
|
+
}
|
|
264
|
+
}
|
|
265
|
+
}
|
|
266
|
+
all.extend(errs.into_iter());
|
|
267
|
+
}
|
|
268
|
+
all
|
|
269
|
+
}
|
|
@@ -1,7 +1,5 @@
|
|
|
1
|
-
use crate::core::{
|
|
2
|
-
|
|
3
|
-
utils::path::normalize_path,
|
|
4
|
-
};
|
|
1
|
+
use crate::core::lexer::{handler::driver::handle_content_lexing, token::Token};
|
|
2
|
+
use devalang_utils::path::normalize_path;
|
|
5
3
|
use std::fs;
|
|
6
4
|
use std::path::Path;
|
|
7
5
|
|
package/rust/core/mod.rs
CHANGED
|
@@ -1,10 +1,9 @@
|
|
|
1
|
-
pub mod audio;
|
|
2
|
-
pub mod builder;
|
|
3
|
-
pub mod debugger;
|
|
4
|
-
pub mod error;
|
|
5
|
-
pub mod lexer;
|
|
6
|
-
pub mod parser;
|
|
7
|
-
pub mod plugin;
|
|
8
|
-
pub mod preprocessor;
|
|
9
|
-
pub mod store;
|
|
10
|
-
pub mod utils;
|
|
1
|
+
pub mod audio;
|
|
2
|
+
pub mod builder;
|
|
3
|
+
pub mod debugger;
|
|
4
|
+
pub mod error;
|
|
5
|
+
pub mod lexer;
|
|
6
|
+
pub mod parser;
|
|
7
|
+
pub mod plugin;
|
|
8
|
+
pub mod preprocessor;
|
|
9
|
+
pub mod store;
|
|
@@ -0,0 +1,111 @@
|
|
|
1
|
+
use crate::core::lexer::token::Token;
|
|
2
|
+
use crate::core::lexer::token::TokenKind;
|
|
3
|
+
use crate::core::store::global::GlobalStore;
|
|
4
|
+
|
|
5
|
+
pub fn collect_block_tokens(
|
|
6
|
+
parser: &mut crate::core::parser::driver::parser::Parser,
|
|
7
|
+
base_indent: usize,
|
|
8
|
+
) -> Vec<Token> {
|
|
9
|
+
let mut tokens = Vec::new();
|
|
10
|
+
|
|
11
|
+
while let Some(tok) = parser.peek() {
|
|
12
|
+
if tok.indent <= base_indent && tok.kind != TokenKind::Newline {
|
|
13
|
+
break;
|
|
14
|
+
}
|
|
15
|
+
if let Some(t) = parser.advance() {
|
|
16
|
+
tokens.push(t.clone());
|
|
17
|
+
} else {
|
|
18
|
+
// Unexpected EOF while collecting block tokens: stop collecting
|
|
19
|
+
break;
|
|
20
|
+
}
|
|
21
|
+
}
|
|
22
|
+
|
|
23
|
+
tokens
|
|
24
|
+
}
|
|
25
|
+
|
|
26
|
+
pub fn collect_until<F>(
|
|
27
|
+
parser: &mut crate::core::parser::driver::parser::Parser,
|
|
28
|
+
condition: F,
|
|
29
|
+
) -> Vec<Token>
|
|
30
|
+
where
|
|
31
|
+
F: Fn(&Token) -> bool,
|
|
32
|
+
{
|
|
33
|
+
let mut collected = Vec::new();
|
|
34
|
+
while let Some(token) = parser.peek() {
|
|
35
|
+
if condition(token) {
|
|
36
|
+
break;
|
|
37
|
+
}
|
|
38
|
+
if token.kind == TokenKind::EOF {
|
|
39
|
+
break;
|
|
40
|
+
}
|
|
41
|
+
if let Some(t) = parser.advance() {
|
|
42
|
+
collected.push(t.clone());
|
|
43
|
+
} else {
|
|
44
|
+
break;
|
|
45
|
+
}
|
|
46
|
+
}
|
|
47
|
+
|
|
48
|
+
collected
|
|
49
|
+
}
|
|
50
|
+
|
|
51
|
+
pub fn parse_block(
|
|
52
|
+
parser: &crate::core::parser::driver::parser::Parser,
|
|
53
|
+
tokens: Vec<Token>,
|
|
54
|
+
global_store: &mut GlobalStore,
|
|
55
|
+
) -> Vec<crate::core::parser::statement::Statement> {
|
|
56
|
+
let mut inner_parser = crate::core::parser::driver::parser::Parser {
|
|
57
|
+
resolve_modules: parser.resolve_modules,
|
|
58
|
+
tokens,
|
|
59
|
+
token_index: 0,
|
|
60
|
+
current_module: parser.current_module.clone(),
|
|
61
|
+
previous: None,
|
|
62
|
+
};
|
|
63
|
+
|
|
64
|
+
inner_parser.parse_tokens(inner_parser.tokens.clone(), global_store)
|
|
65
|
+
}
|
|
66
|
+
|
|
67
|
+
pub fn parse_block_until_next_else(
|
|
68
|
+
parser: &mut crate::core::parser::driver::parser::Parser,
|
|
69
|
+
base_indent: usize,
|
|
70
|
+
global_store: &mut GlobalStore,
|
|
71
|
+
) -> Vec<crate::core::parser::statement::Statement> {
|
|
72
|
+
let mut block_tokens = Vec::new();
|
|
73
|
+
|
|
74
|
+
while let Some(tok) = parser.peek() {
|
|
75
|
+
// Stop if we encounter an 'else' at same indent level
|
|
76
|
+
if tok.lexeme == "else" && tok.indent == base_indent {
|
|
77
|
+
break;
|
|
78
|
+
}
|
|
79
|
+
if let Some(t) = parser.advance() {
|
|
80
|
+
block_tokens.push(t.clone());
|
|
81
|
+
} else {
|
|
82
|
+
break;
|
|
83
|
+
}
|
|
84
|
+
}
|
|
85
|
+
|
|
86
|
+
parse_block(parser, block_tokens, global_store)
|
|
87
|
+
}
|
|
88
|
+
|
|
89
|
+
pub fn parse_block_until_else_or_dedent(
|
|
90
|
+
parser: &mut crate::core::parser::driver::parser::Parser,
|
|
91
|
+
base_indent: usize,
|
|
92
|
+
global_store: &mut GlobalStore,
|
|
93
|
+
) -> Vec<crate::core::parser::statement::Statement> {
|
|
94
|
+
let mut tokens = Vec::new();
|
|
95
|
+
|
|
96
|
+
while let Some(tok) = parser.peek() {
|
|
97
|
+
if tok.lexeme == "else" && tok.indent == base_indent {
|
|
98
|
+
break;
|
|
99
|
+
}
|
|
100
|
+
if tok.indent < base_indent && tok.kind != TokenKind::Newline {
|
|
101
|
+
break;
|
|
102
|
+
}
|
|
103
|
+
if let Some(t) = parser.advance() {
|
|
104
|
+
tokens.push(t.clone());
|
|
105
|
+
} else {
|
|
106
|
+
break;
|
|
107
|
+
}
|
|
108
|
+
}
|
|
109
|
+
|
|
110
|
+
parse_block(parser, tokens, global_store)
|
|
111
|
+
}
|