@devaloop/devalang 0.0.1-alpha.5 → 0.0.1-alpha.7
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 +1 -1
- package/README.md +18 -6
- package/docs/CHANGELOG.md +19 -0
- package/docs/SYNTAX.md +42 -14
- package/docs/TODO.md +9 -8
- package/examples/group.deva +12 -0
- package/examples/index.deva +8 -8
- package/examples/loop.deva +15 -0
- package/examples/variables.deva +9 -0
- package/out-tsc/bin/devalang.exe +0 -0
- package/package.json +44 -44
- package/project-version.json +5 -5
- package/rust/cli/build.rs +0 -1
- package/rust/cli/play.rs +2 -1
- package/rust/core/audio/interpreter.rs +317 -0
- package/rust/{audio → core/audio}/loader.rs +4 -0
- package/rust/{audio → core/audio}/render.rs +1 -5
- package/rust/core/builder/mod.rs +2 -1
- package/rust/core/lexer/handler/indent.rs +1 -1
- package/rust/core/lexer/handler/mod.rs +1 -2
- package/rust/core/lexer/handler/string.rs +3 -6
- package/rust/core/mod.rs +2 -1
- package/rust/core/parser/handler/identifier.rs +127 -1
- package/rust/core/parser/statement.rs +9 -5
- package/rust/core/preprocessor/processor.rs +28 -2
- package/rust/core/preprocessor/resolver/bank.rs +10 -9
- package/rust/core/preprocessor/resolver/group.rs +113 -0
- package/rust/core/preprocessor/resolver/loop_.rs +3 -6
- package/rust/core/preprocessor/resolver/mod.rs +7 -0
- package/rust/core/preprocessor/resolver/trigger.rs +0 -3
- package/rust/lib.rs +0 -1
- package/rust/main.rs +0 -1
- package/examples/exported.deva +0 -7
- package/rust/audio/interpreter.rs +0 -143
- /package/rust/{audio → core/audio}/engine.rs +0 -0
- /package/rust/{audio → core/audio}/mod.rs +0 -0
- /package/rust/{audio → core/audio}/player.rs +0 -0
|
@@ -0,0 +1,113 @@
|
|
|
1
|
+
use std::collections::HashMap;
|
|
2
|
+
|
|
3
|
+
use crate::{
|
|
4
|
+
core::{
|
|
5
|
+
parser::statement::{ Statement, StatementKind },
|
|
6
|
+
preprocessor::{ module::Module, resolver::trigger::resolve_trigger },
|
|
7
|
+
shared::value::Value,
|
|
8
|
+
store::global::GlobalStore,
|
|
9
|
+
},
|
|
10
|
+
utils::logger::Logger,
|
|
11
|
+
};
|
|
12
|
+
|
|
13
|
+
pub fn resolve_group(
|
|
14
|
+
stmt: &Statement,
|
|
15
|
+
module: &Module,
|
|
16
|
+
path: &str,
|
|
17
|
+
global_store: &GlobalStore
|
|
18
|
+
) -> Statement {
|
|
19
|
+
let logger = Logger::new();
|
|
20
|
+
|
|
21
|
+
if let Value::Map(value_map) = &stmt.value {
|
|
22
|
+
let group_name = match value_map.get("identifier") {
|
|
23
|
+
Some(Value::String(name)) => name.clone(),
|
|
24
|
+
Some(other) => {
|
|
25
|
+
log_type_error(
|
|
26
|
+
&logger,
|
|
27
|
+
module,
|
|
28
|
+
stmt,
|
|
29
|
+
format!("Group name must be a string, found {:?}", other)
|
|
30
|
+
);
|
|
31
|
+
return stmt.clone();
|
|
32
|
+
}
|
|
33
|
+
None => {
|
|
34
|
+
log_type_error(&logger, module, stmt, "Group name is required".to_string());
|
|
35
|
+
return stmt.clone();
|
|
36
|
+
}
|
|
37
|
+
};
|
|
38
|
+
|
|
39
|
+
let body_value = match value_map.get("body") {
|
|
40
|
+
Some(Value::Block(block)) => {
|
|
41
|
+
let mut resolved_block = Vec::new();
|
|
42
|
+
for ref statement in block.clone() {
|
|
43
|
+
match &statement.kind {
|
|
44
|
+
StatementKind::Trigger { entity, duration } => {
|
|
45
|
+
let resolved = resolve_trigger(
|
|
46
|
+
&mut statement.clone(),
|
|
47
|
+
&entity,
|
|
48
|
+
&mut duration.clone(),
|
|
49
|
+
module,
|
|
50
|
+
path,
|
|
51
|
+
global_store
|
|
52
|
+
);
|
|
53
|
+
resolved_block.push(resolved);
|
|
54
|
+
}
|
|
55
|
+
_ => {
|
|
56
|
+
println!("Unhandled group body statement: {:?}", statement);
|
|
57
|
+
}
|
|
58
|
+
}
|
|
59
|
+
}
|
|
60
|
+
Value::Block(resolved_block)
|
|
61
|
+
}
|
|
62
|
+
Some(other) => {
|
|
63
|
+
log_type_error(
|
|
64
|
+
&logger,
|
|
65
|
+
module,
|
|
66
|
+
stmt,
|
|
67
|
+
format!("Unexpected value for group body: {:?}", other)
|
|
68
|
+
);
|
|
69
|
+
Value::Null
|
|
70
|
+
}
|
|
71
|
+
None => {
|
|
72
|
+
log_type_error(
|
|
73
|
+
&logger,
|
|
74
|
+
module,
|
|
75
|
+
stmt,
|
|
76
|
+
"Missing 'body' key in group statement map".to_string()
|
|
77
|
+
);
|
|
78
|
+
Value::Null
|
|
79
|
+
}
|
|
80
|
+
};
|
|
81
|
+
|
|
82
|
+
let mut resolved_map = HashMap::new();
|
|
83
|
+
|
|
84
|
+
resolved_map.insert("identifier".to_string(), Value::String(group_name));
|
|
85
|
+
resolved_map.insert("body".to_string(), body_value);
|
|
86
|
+
|
|
87
|
+
return Statement {
|
|
88
|
+
kind: StatementKind::Group,
|
|
89
|
+
value: Value::Map(resolved_map),
|
|
90
|
+
..stmt.clone()
|
|
91
|
+
};
|
|
92
|
+
} else {
|
|
93
|
+
log_type_error(
|
|
94
|
+
&logger,
|
|
95
|
+
module,
|
|
96
|
+
stmt,
|
|
97
|
+
format!("Expected Map for group statement, found {:?}", stmt.value)
|
|
98
|
+
);
|
|
99
|
+
|
|
100
|
+
Statement {
|
|
101
|
+
kind: StatementKind::Error {
|
|
102
|
+
message: "Expected a map for group statement".to_string(),
|
|
103
|
+
},
|
|
104
|
+
value: Value::Null,
|
|
105
|
+
..stmt.clone()
|
|
106
|
+
}
|
|
107
|
+
}
|
|
108
|
+
}
|
|
109
|
+
|
|
110
|
+
fn log_type_error(logger: &Logger, module: &Module, stmt: &Statement, message: String) {
|
|
111
|
+
let stacktrace = format!("{}:{}:{}", module.path, stmt.line, stmt.column);
|
|
112
|
+
logger.log_error_with_stacktrace(&message, &stacktrace);
|
|
113
|
+
}
|
|
@@ -1,3 +1,5 @@
|
|
|
1
|
+
use std::collections::HashMap;
|
|
2
|
+
|
|
1
3
|
use crate::{
|
|
2
4
|
core::{
|
|
3
5
|
parser::statement::{ Statement, StatementKind },
|
|
@@ -16,9 +18,7 @@ pub fn resolve_loop(
|
|
|
16
18
|
) -> Statement {
|
|
17
19
|
let logger = Logger::new();
|
|
18
20
|
|
|
19
|
-
// Vérifie que stmt.value est bien une Map
|
|
20
21
|
if let Value::Map(value_map) = &stmt.value {
|
|
21
|
-
// Résolution de l'iterator
|
|
22
22
|
let iterator_value = match value_map.get("iterator") {
|
|
23
23
|
Some(Value::Identifier(ident)) => {
|
|
24
24
|
match module.variable_table.get(ident) {
|
|
@@ -69,7 +69,6 @@ pub fn resolve_loop(
|
|
|
69
69
|
}
|
|
70
70
|
};
|
|
71
71
|
|
|
72
|
-
// Résolution du body
|
|
73
72
|
let body_value = match value_map.get("body") {
|
|
74
73
|
Some(Value::Block(block)) => {
|
|
75
74
|
let mut resolved_block = Vec::new();
|
|
@@ -113,12 +112,10 @@ pub fn resolve_loop(
|
|
|
113
112
|
}
|
|
114
113
|
};
|
|
115
114
|
|
|
116
|
-
|
|
117
|
-
let mut resolved_map = std::collections::HashMap::new();
|
|
115
|
+
let mut resolved_map = HashMap::new();
|
|
118
116
|
resolved_map.insert("iterator".to_string(), iterator_value);
|
|
119
117
|
resolved_map.insert("body".to_string(), body_value);
|
|
120
118
|
|
|
121
|
-
// ✅ Reconstruit le StatementLoop à partir des éléments résolus
|
|
122
119
|
Statement {
|
|
123
120
|
kind: StatementKind::Loop,
|
|
124
121
|
value: Value::Map(resolved_map),
|
|
@@ -2,6 +2,7 @@ pub mod trigger;
|
|
|
2
2
|
pub mod loop_;
|
|
3
3
|
pub mod bank;
|
|
4
4
|
pub mod tempo;
|
|
5
|
+
pub mod group;
|
|
5
6
|
|
|
6
7
|
use std::collections::HashMap;
|
|
7
8
|
use crate::{
|
|
@@ -11,6 +12,7 @@ use crate::{
|
|
|
11
12
|
loader::ModuleLoader,
|
|
12
13
|
resolver::{
|
|
13
14
|
bank::resolve_bank,
|
|
15
|
+
group::resolve_group,
|
|
14
16
|
loop_::resolve_loop,
|
|
15
17
|
tempo::resolve_tempo,
|
|
16
18
|
trigger::resolve_trigger,
|
|
@@ -138,6 +140,11 @@ pub fn resolve_and_flatten_all_modules(
|
|
|
138
140
|
resolved.push(stmt.clone());
|
|
139
141
|
}
|
|
140
142
|
|
|
143
|
+
StatementKind::Group => {
|
|
144
|
+
let resolved_stmt = resolve_group(&stmt, &module, &path, &store_snapshot);
|
|
145
|
+
resolved.push(resolved_stmt);
|
|
146
|
+
}
|
|
147
|
+
|
|
141
148
|
_ => {
|
|
142
149
|
resolved.push(stmt);
|
|
143
150
|
}
|
|
@@ -38,7 +38,6 @@ pub fn resolve_trigger(
|
|
|
38
38
|
};
|
|
39
39
|
}
|
|
40
40
|
|
|
41
|
-
// ✅ Résolution de duration si c'est un identifiant
|
|
42
41
|
if let Duration::Identifier(ident) = duration {
|
|
43
42
|
if let Some(val) = module.variable_table.get(ident) {
|
|
44
43
|
match val {
|
|
@@ -56,7 +55,6 @@ pub fn resolve_trigger(
|
|
|
56
55
|
}
|
|
57
56
|
}
|
|
58
57
|
|
|
59
|
-
// ✅ Résolution de value (params, effets)
|
|
60
58
|
final_value = match &stmt.value {
|
|
61
59
|
Value::Identifier(ident) => {
|
|
62
60
|
match module.variable_table.get(ident) {
|
|
@@ -87,7 +85,6 @@ pub fn resolve_trigger(
|
|
|
87
85
|
other => other.clone(),
|
|
88
86
|
};
|
|
89
87
|
|
|
90
|
-
// ✅ On reconstruit le Statement avec Trigger résolu
|
|
91
88
|
if let StatementKind::Trigger { entity, .. } = &stmt.kind {
|
|
92
89
|
return Statement {
|
|
93
90
|
kind: StatementKind::Trigger {
|
package/rust/lib.rs
CHANGED
package/rust/main.rs
CHANGED
package/examples/exported.deva
DELETED
|
@@ -1,143 +0,0 @@
|
|
|
1
|
-
use crate::{
|
|
2
|
-
audio::{ engine::AudioEngine, loader::load_trigger },
|
|
3
|
-
core::{
|
|
4
|
-
parser::statement::{ Statement, StatementKind },
|
|
5
|
-
shared::value::Value,
|
|
6
|
-
store::variable::VariableTable,
|
|
7
|
-
},
|
|
8
|
-
};
|
|
9
|
-
|
|
10
|
-
pub fn interprete_statements(
|
|
11
|
-
statements: &Vec<Statement>,
|
|
12
|
-
audio_engine: AudioEngine,
|
|
13
|
-
entry: String,
|
|
14
|
-
output: String
|
|
15
|
-
) -> (AudioEngine, f32, f32) {
|
|
16
|
-
let mut base_bpm = 120.0;
|
|
17
|
-
let mut base_duration = 60.0 / base_bpm;
|
|
18
|
-
|
|
19
|
-
let variable_table = audio_engine.variables.clone();
|
|
20
|
-
|
|
21
|
-
let (updated_audio_engine, base_bpm, max_end_time) = execute_audio_statements(
|
|
22
|
-
audio_engine.clone(),
|
|
23
|
-
variable_table.clone(),
|
|
24
|
-
statements.clone(),
|
|
25
|
-
base_bpm.clone(),
|
|
26
|
-
base_duration.clone(),
|
|
27
|
-
0.0,
|
|
28
|
-
0.0
|
|
29
|
-
);
|
|
30
|
-
|
|
31
|
-
(updated_audio_engine, base_bpm, max_end_time)
|
|
32
|
-
}
|
|
33
|
-
|
|
34
|
-
pub fn execute_audio_statements(
|
|
35
|
-
mut audio_engine: AudioEngine,
|
|
36
|
-
mut variable_table: VariableTable,
|
|
37
|
-
mut statements: Vec<Statement>,
|
|
38
|
-
mut base_bpm: f32,
|
|
39
|
-
mut base_duration: f32,
|
|
40
|
-
mut max_end_time: f32,
|
|
41
|
-
mut cursor_time: f32
|
|
42
|
-
) -> (AudioEngine, f32, f32) {
|
|
43
|
-
for stmt in statements {
|
|
44
|
-
match &stmt.kind {
|
|
45
|
-
StatementKind::Load { source, alias } => {
|
|
46
|
-
variable_table.set(alias.to_string(), Value::String(source.clone()));
|
|
47
|
-
}
|
|
48
|
-
|
|
49
|
-
StatementKind::Let { name } => {
|
|
50
|
-
variable_table.set(name.to_string(), stmt.value.clone());
|
|
51
|
-
}
|
|
52
|
-
|
|
53
|
-
StatementKind::Tempo => {
|
|
54
|
-
if let Value::Number(bpm_) = &stmt.value {
|
|
55
|
-
base_bpm = *bpm_ as f32;
|
|
56
|
-
base_duration = 60.0 / base_bpm;
|
|
57
|
-
} else {
|
|
58
|
-
eprintln!("❌ Invalid tempo value: {:?}", stmt.value);
|
|
59
|
-
}
|
|
60
|
-
}
|
|
61
|
-
|
|
62
|
-
StatementKind::Trigger { entity, duration } => {
|
|
63
|
-
if let Some(trigger_val) = variable_table.get(entity) {
|
|
64
|
-
let (src, duration_secs) = load_trigger(
|
|
65
|
-
trigger_val,
|
|
66
|
-
duration,
|
|
67
|
-
base_duration,
|
|
68
|
-
variable_table.clone()
|
|
69
|
-
);
|
|
70
|
-
|
|
71
|
-
audio_engine.insert(&src, cursor_time, duration_secs, None);
|
|
72
|
-
|
|
73
|
-
cursor_time += duration_secs;
|
|
74
|
-
|
|
75
|
-
if cursor_time > max_end_time {
|
|
76
|
-
max_end_time = cursor_time;
|
|
77
|
-
}
|
|
78
|
-
} else {
|
|
79
|
-
eprintln!("❌ Unknown trigger entity: {}", entity);
|
|
80
|
-
}
|
|
81
|
-
}
|
|
82
|
-
|
|
83
|
-
StatementKind::Loop => {
|
|
84
|
-
if let Value::Map(loop_value) = &stmt.value {
|
|
85
|
-
let iterator = loop_value.get("iterator");
|
|
86
|
-
let body = loop_value.get("body");
|
|
87
|
-
|
|
88
|
-
let loop_count = if let Some(Value::Number(n)) = iterator {
|
|
89
|
-
*n as usize
|
|
90
|
-
} else {
|
|
91
|
-
eprintln!("❌ Loop iterator must be a number: {:?}", iterator);
|
|
92
|
-
continue;
|
|
93
|
-
};
|
|
94
|
-
|
|
95
|
-
let loop_body = if let Some(Value::Block(body)) = body {
|
|
96
|
-
body.clone()
|
|
97
|
-
} else {
|
|
98
|
-
eprintln!("❌ Loop body must be a block: {:?}", body);
|
|
99
|
-
continue;
|
|
100
|
-
};
|
|
101
|
-
|
|
102
|
-
for _ in 0..loop_count {
|
|
103
|
-
let (loop_engine, _, loop_end_time) = execute_audio_statements(
|
|
104
|
-
audio_engine.clone(),
|
|
105
|
-
variable_table.clone(),
|
|
106
|
-
loop_body.clone(),
|
|
107
|
-
base_bpm,
|
|
108
|
-
base_duration,
|
|
109
|
-
max_end_time,
|
|
110
|
-
cursor_time
|
|
111
|
-
);
|
|
112
|
-
|
|
113
|
-
audio_engine = loop_engine;
|
|
114
|
-
|
|
115
|
-
// Update time and max_end_time after each loop iteration
|
|
116
|
-
cursor_time = loop_end_time;
|
|
117
|
-
if loop_end_time > max_end_time {
|
|
118
|
-
max_end_time = loop_end_time;
|
|
119
|
-
}
|
|
120
|
-
}
|
|
121
|
-
}
|
|
122
|
-
}
|
|
123
|
-
|
|
124
|
-
StatementKind::Bank => {}
|
|
125
|
-
|
|
126
|
-
StatementKind::Import { names, source } => {}
|
|
127
|
-
|
|
128
|
-
StatementKind::Export { names, source } => {}
|
|
129
|
-
|
|
130
|
-
StatementKind::Unknown => {
|
|
131
|
-
// Ignore unknown statements
|
|
132
|
-
}
|
|
133
|
-
|
|
134
|
-
_ => {
|
|
135
|
-
eprintln!("Unsupported statement kind: {:?}", stmt);
|
|
136
|
-
}
|
|
137
|
-
}
|
|
138
|
-
}
|
|
139
|
-
|
|
140
|
-
audio_engine.set_variables(variable_table);
|
|
141
|
-
|
|
142
|
-
(audio_engine, base_bpm, max_end_time)
|
|
143
|
-
}
|
|
File without changes
|
|
File without changes
|
|
File without changes
|