@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.
Files changed (37) hide show
  1. package/Cargo.toml +1 -1
  2. package/README.md +18 -6
  3. package/docs/CHANGELOG.md +19 -0
  4. package/docs/SYNTAX.md +42 -14
  5. package/docs/TODO.md +9 -8
  6. package/examples/group.deva +12 -0
  7. package/examples/index.deva +8 -8
  8. package/examples/loop.deva +15 -0
  9. package/examples/variables.deva +9 -0
  10. package/out-tsc/bin/devalang.exe +0 -0
  11. package/package.json +44 -44
  12. package/project-version.json +5 -5
  13. package/rust/cli/build.rs +0 -1
  14. package/rust/cli/play.rs +2 -1
  15. package/rust/core/audio/interpreter.rs +317 -0
  16. package/rust/{audio → core/audio}/loader.rs +4 -0
  17. package/rust/{audio → core/audio}/render.rs +1 -5
  18. package/rust/core/builder/mod.rs +2 -1
  19. package/rust/core/lexer/handler/indent.rs +1 -1
  20. package/rust/core/lexer/handler/mod.rs +1 -2
  21. package/rust/core/lexer/handler/string.rs +3 -6
  22. package/rust/core/mod.rs +2 -1
  23. package/rust/core/parser/handler/identifier.rs +127 -1
  24. package/rust/core/parser/statement.rs +9 -5
  25. package/rust/core/preprocessor/processor.rs +28 -2
  26. package/rust/core/preprocessor/resolver/bank.rs +10 -9
  27. package/rust/core/preprocessor/resolver/group.rs +113 -0
  28. package/rust/core/preprocessor/resolver/loop_.rs +3 -6
  29. package/rust/core/preprocessor/resolver/mod.rs +7 -0
  30. package/rust/core/preprocessor/resolver/trigger.rs +0 -3
  31. package/rust/lib.rs +0 -1
  32. package/rust/main.rs +0 -1
  33. package/examples/exported.deva +0 -7
  34. package/rust/audio/interpreter.rs +0 -143
  35. /package/rust/{audio → core/audio}/engine.rs +0 -0
  36. /package/rust/{audio → core/audio}/mod.rs +0 -0
  37. /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
- // Reconstruit proprement la valeur résolue
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
@@ -1,7 +1,6 @@
1
1
  pub mod core;
2
2
  pub mod utils;
3
3
  pub mod config;
4
- pub mod audio;
5
4
 
6
5
  use serde::{ Deserialize, Serialize };
7
6
  use wasm_bindgen::prelude::*;
package/rust/main.rs CHANGED
@@ -4,7 +4,6 @@ pub mod core;
4
4
  pub mod cli;
5
5
  pub mod utils;
6
6
  pub mod config;
7
- pub mod audio;
8
7
 
9
8
  use std::io;
10
9
  use cli::{ Cli };
@@ -1,7 +0,0 @@
1
- let duration = auto
2
- let default_bank = 808
3
- let params = {decay:10, delay:30}
4
- let loopCount = 5
5
- let tempo = 155
6
-
7
- @export { duration, default_bank, params, loopCount, tempo }
@@ -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