Add union functions
This commit is contained in:
parent
739ee5fa8f
commit
4e7948d5ad
7 changed files with 245 additions and 1 deletions
|
@ -130,6 +130,14 @@ Retrieve all files from a folder, matching a regex pattern.
|
||||||
|
|
||||||
Explicitly reset an iterable. This useful for reusing an iterable variable.
|
Explicitly reset an iterable. This useful for reusing an iterable variable.
|
||||||
|
|
||||||
|
#### interlace(iterable1, iterable2, ...);
|
||||||
|
|
||||||
|
Combine multiple iterables in an interleaved pattern. This is a variant of union(...) where the first item in iterable1, then iterable2, ... is returned, then the second item, etc. until all iterables are depleted. There is no limit on the amount of iterables which can be provided as parameters.
|
||||||
|
|
||||||
|
#### union(iterable1, iterable2, ...);
|
||||||
|
|
||||||
|
Combine multiple iterables in a sequential pattern. All items in iterable1 are returned, then all items in iterable2, ... until all provided iterables are depleted. There is no limit on the amount of iterables which can be provided as parameters.
|
||||||
|
|
||||||
#### empty();
|
#### empty();
|
||||||
|
|
||||||
Empty iterator. Useful for deleting items using replacement filters.
|
Empty iterator. Useful for deleting items using replacement filters.
|
||||||
|
|
|
@ -173,5 +173,6 @@ pub(crate) fn standard_vocab(vocabulary: &mut MpsLanguageDictionary) {
|
||||||
.add(crate::lang::vocabulary::sql_init_function_factory())
|
.add(crate::lang::vocabulary::sql_init_function_factory())
|
||||||
.add(crate::lang::vocabulary::files_function_factory())
|
.add(crate::lang::vocabulary::files_function_factory())
|
||||||
.add(crate::lang::vocabulary::empty_function_factory())
|
.add(crate::lang::vocabulary::empty_function_factory())
|
||||||
.add(crate::lang::vocabulary::reset_function_factory());
|
.add(crate::lang::vocabulary::reset_function_factory())
|
||||||
|
.add(crate::lang::vocabulary::union_function_factory());
|
||||||
}
|
}
|
||||||
|
|
|
@ -6,6 +6,7 @@ mod reset;
|
||||||
mod sql_init;
|
mod sql_init;
|
||||||
mod sql_query;
|
mod sql_query;
|
||||||
mod sql_simple_query;
|
mod sql_simple_query;
|
||||||
|
mod union;
|
||||||
mod variable_assign;
|
mod variable_assign;
|
||||||
|
|
||||||
pub use comment::{CommentStatement, CommentStatementFactory};
|
pub use comment::{CommentStatement, CommentStatementFactory};
|
||||||
|
@ -16,6 +17,7 @@ pub use reset::{reset_function_factory, ResetStatementFactory};
|
||||||
pub use sql_init::{sql_init_function_factory, SqlInitStatementFactory};
|
pub use sql_init::{sql_init_function_factory, SqlInitStatementFactory};
|
||||||
pub use sql_query::{sql_function_factory, SqlStatementFactory};
|
pub use sql_query::{sql_function_factory, SqlStatementFactory};
|
||||||
pub use sql_simple_query::{simple_sql_function_factory, SimpleSqlStatementFactory};
|
pub use sql_simple_query::{simple_sql_function_factory, SimpleSqlStatementFactory};
|
||||||
|
pub use union::{union_function_factory, UnionStatementFactory};
|
||||||
pub use variable_assign::{AssignStatement, AssignStatementFactory};
|
pub use variable_assign::{AssignStatement, AssignStatementFactory};
|
||||||
|
|
||||||
pub mod filters;
|
pub mod filters;
|
||||||
|
|
195
mps-interpreter/src/lang/vocabulary/union.rs
Normal file
195
mps-interpreter/src/lang/vocabulary/union.rs
Normal file
|
@ -0,0 +1,195 @@
|
||||||
|
use std::collections::VecDeque;
|
||||||
|
use std::fmt::{Debug, Display, Error, Formatter};
|
||||||
|
use std::iter::Iterator;
|
||||||
|
|
||||||
|
use crate::tokens::MpsToken;
|
||||||
|
use crate::MpsContext;
|
||||||
|
|
||||||
|
use crate::lang::{MpsLanguageDictionary, PseudoOp};
|
||||||
|
use crate::lang::{MpsFunctionFactory, MpsFunctionStatementFactory, MpsIteratorItem, MpsOp};
|
||||||
|
use crate::lang::{RuntimeError, SyntaxError};
|
||||||
|
use crate::lang::repeated_tokens;
|
||||||
|
|
||||||
|
#[derive(Debug, Copy, Clone)]
|
||||||
|
enum UnionStrategy {
|
||||||
|
Sequential,
|
||||||
|
Interleave,
|
||||||
|
}
|
||||||
|
|
||||||
|
#[derive(Debug)]
|
||||||
|
pub struct UnionStatement {
|
||||||
|
context: Option<MpsContext>,
|
||||||
|
ops: Vec<PseudoOp>,
|
||||||
|
strategy: UnionStrategy,
|
||||||
|
index: usize,
|
||||||
|
}
|
||||||
|
|
||||||
|
impl Display for UnionStatement {
|
||||||
|
fn fmt(&self, f: &mut Formatter) -> Result<(), Error> {
|
||||||
|
let mut ops_str = "".to_owned();
|
||||||
|
for i in 0..self.ops.len() {
|
||||||
|
ops_str += &self.ops[i].to_string();
|
||||||
|
if i != self.ops.len() - 1 {
|
||||||
|
ops_str += ", ";
|
||||||
|
}
|
||||||
|
}
|
||||||
|
write!(f, "union({})", ops_str)
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl std::clone::Clone for UnionStatement {
|
||||||
|
fn clone(&self) -> Self {
|
||||||
|
Self {
|
||||||
|
context: None,
|
||||||
|
ops: self.ops.clone(),
|
||||||
|
strategy: self.strategy,
|
||||||
|
index: self.index,
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl Iterator for UnionStatement {
|
||||||
|
type Item = MpsIteratorItem;
|
||||||
|
|
||||||
|
fn next(&mut self) -> Option<Self::Item> {
|
||||||
|
if self.index == self.ops.len() {return None;}
|
||||||
|
match self.strategy {
|
||||||
|
UnionStrategy::Sequential => {
|
||||||
|
loop {
|
||||||
|
if self.index == self.ops.len() {return None;}
|
||||||
|
let real_op = match self.ops[self.index].try_real() {
|
||||||
|
Ok(x) => x,
|
||||||
|
Err(e) => return Some(Err(e)),
|
||||||
|
};
|
||||||
|
real_op.enter(self.context.take().unwrap());
|
||||||
|
while let Some(item) = real_op.next() {
|
||||||
|
self.context = Some(real_op.escape());
|
||||||
|
return Some(item);
|
||||||
|
}
|
||||||
|
self.context = Some(real_op.escape());
|
||||||
|
self.index += 1;
|
||||||
|
}
|
||||||
|
},
|
||||||
|
UnionStrategy::Interleave => {
|
||||||
|
let mut none_count = 0;
|
||||||
|
let ops_len = self.ops.len();
|
||||||
|
loop {
|
||||||
|
if none_count == ops_len {
|
||||||
|
self.index = ops_len;
|
||||||
|
return None;
|
||||||
|
}
|
||||||
|
let real_op = match self.ops[self.index].try_real() {
|
||||||
|
Ok(x) => x,
|
||||||
|
Err(e) => return Some(Err(e)),
|
||||||
|
};
|
||||||
|
self.index += 1;
|
||||||
|
// loop back to beginning when at end
|
||||||
|
if self.index == ops_len {
|
||||||
|
self.index = 0;
|
||||||
|
}
|
||||||
|
real_op.enter(self.context.take().unwrap());
|
||||||
|
if let Some(item) = real_op.next() {
|
||||||
|
self.context = Some(real_op.escape());
|
||||||
|
return Some(item);
|
||||||
|
}
|
||||||
|
self.context = Some(real_op.escape());
|
||||||
|
none_count += 1;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
fn size_hint(&self) -> (usize, Option<usize>) {
|
||||||
|
(0, Some(0))
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl MpsOp for UnionStatement {
|
||||||
|
fn enter(&mut self, ctx: MpsContext) {
|
||||||
|
self.context = Some(ctx)
|
||||||
|
}
|
||||||
|
|
||||||
|
fn escape(&mut self) -> MpsContext {
|
||||||
|
self.context.take().unwrap()
|
||||||
|
}
|
||||||
|
|
||||||
|
fn is_resetable(&self) -> bool {
|
||||||
|
true
|
||||||
|
}
|
||||||
|
|
||||||
|
fn reset(&mut self) -> Result<(), RuntimeError> {
|
||||||
|
for op in &mut self.ops {
|
||||||
|
let real_op = op.try_real()?;
|
||||||
|
real_op.enter(self.context.take().unwrap());
|
||||||
|
if real_op.is_resetable() {
|
||||||
|
let result = real_op.reset();
|
||||||
|
self.context = Some(real_op.escape());
|
||||||
|
result?;
|
||||||
|
} else {
|
||||||
|
self.context = Some(real_op.escape());
|
||||||
|
}
|
||||||
|
|
||||||
|
}
|
||||||
|
Ok(())
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
pub struct UnionFunctionFactory;
|
||||||
|
|
||||||
|
impl MpsFunctionFactory<UnionStatement> for UnionFunctionFactory {
|
||||||
|
fn is_function(&self, name: &str) -> bool {
|
||||||
|
name == "union" || name == "u" || name == "interleave" || name == "interlace"
|
||||||
|
}
|
||||||
|
|
||||||
|
fn build_function_params(
|
||||||
|
&self,
|
||||||
|
name: String,
|
||||||
|
tokens: &mut VecDeque<MpsToken>,
|
||||||
|
dict: &MpsLanguageDictionary,
|
||||||
|
) -> Result<UnionStatement, SyntaxError> {
|
||||||
|
// union(op1, op2, ...)
|
||||||
|
let operations = repeated_tokens(|tokens| {
|
||||||
|
if let Some(comma_pos) = next_comma(tokens) {
|
||||||
|
let end_tokens = tokens.split_off(comma_pos);
|
||||||
|
let op = dict.try_build_statement(tokens);
|
||||||
|
tokens.extend(end_tokens);
|
||||||
|
Ok(Some(PseudoOp::from(op?)))
|
||||||
|
} else {
|
||||||
|
Ok(Some(PseudoOp::from(dict.try_build_statement(tokens)?)))
|
||||||
|
}
|
||||||
|
}, MpsToken::Comma).ingest_all(tokens)?;
|
||||||
|
let combine_strategy = if name == "u" || name == "union" {
|
||||||
|
UnionStrategy::Sequential
|
||||||
|
} else {
|
||||||
|
UnionStrategy::Interleave
|
||||||
|
};
|
||||||
|
Ok(UnionStatement {
|
||||||
|
context: None,
|
||||||
|
ops: operations,
|
||||||
|
strategy: combine_strategy,
|
||||||
|
index: 0,
|
||||||
|
})
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
pub type UnionStatementFactory = MpsFunctionStatementFactory<UnionStatement, UnionFunctionFactory>;
|
||||||
|
|
||||||
|
#[inline(always)]
|
||||||
|
pub fn union_function_factory() -> UnionStatementFactory {
|
||||||
|
UnionStatementFactory::new(UnionFunctionFactory)
|
||||||
|
}
|
||||||
|
|
||||||
|
fn next_comma(tokens: &VecDeque<MpsToken>) -> Option<usize> {
|
||||||
|
let mut bracket_depth = 0;
|
||||||
|
for i in 0..tokens.len() {
|
||||||
|
let token = &tokens[i];
|
||||||
|
if token.is_open_bracket() {
|
||||||
|
bracket_depth += 1;
|
||||||
|
} else if token.is_close_bracket() {
|
||||||
|
bracket_depth -= 1;
|
||||||
|
} else if token.is_comma() && bracket_depth == 0 {
|
||||||
|
return Some(i);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
None
|
||||||
|
}
|
|
@ -128,6 +128,14 @@
|
||||||
//!
|
//!
|
||||||
//! Explicitly reset an iterable. This useful for reusing an iterable variable.
|
//! Explicitly reset an iterable. This useful for reusing an iterable variable.
|
||||||
//!
|
//!
|
||||||
|
//! ### interlace(iterable1, iterable2, ...);
|
||||||
|
//!
|
||||||
|
//! Combine multiple iterables in an interleaved pattern. This is a variant of union(...) where the first item in iterable1, then iterable2, ... is returned, then the second item, etc. until all iterables are depleted. There is no limit on the amount of iterables which can be provided as parameters.
|
||||||
|
//!
|
||||||
|
//! ### union(iterable1, iterable2, ...);
|
||||||
|
//!
|
||||||
|
//! Combine multiple iterables in a sequential pattern. All items in iterable1 are returned, then all items in iterable2, ... until all provided iterables are depleted. There is no limit on the amount of iterables which can be provided as parameters.
|
||||||
|
//!
|
||||||
//! ### empty();
|
//! ### empty();
|
||||||
//!
|
//!
|
||||||
//! Empty iterator. Useful for deleting items using replacement filters.
|
//! Empty iterator. Useful for deleting items using replacement filters.
|
||||||
|
|
|
@ -401,3 +401,27 @@ fn execute_shufflesort_line() -> Result<(), Box<dyn MpsLanguageError>> {
|
||||||
)?;
|
)?;
|
||||||
execute_single_line("empty()~(shuffle)", true, true)
|
execute_single_line("empty()~(shuffle)", true, true)
|
||||||
}
|
}
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
fn execute_unionfn_line() -> Result<(), Box<dyn MpsLanguageError>> {
|
||||||
|
execute_single_line(
|
||||||
|
"union(files(`~/Music/MusicFlac/Bruno Mars/24K Magic/`))",
|
||||||
|
false,
|
||||||
|
true,
|
||||||
|
)?;
|
||||||
|
execute_single_line(
|
||||||
|
"u(files(`~/Music/MusicFlac/Bruno Mars/24K Magic/`), union(files(`~/Music/MusicFlac/Bruno Mars/24K Magic/`), files(`~/Music/MusicFlac/Bruno Mars/24K Magic/`)))",
|
||||||
|
false,
|
||||||
|
true,
|
||||||
|
)?;
|
||||||
|
execute_single_line(
|
||||||
|
"interleave(files(`~/Music/MusicFlac/Bruno Mars/24K Magic/`), files(`~/Music/MusicFlac/Bruno Mars/24K Magic/`))",
|
||||||
|
false,
|
||||||
|
true
|
||||||
|
)?;
|
||||||
|
execute_single_line(
|
||||||
|
"interlace(files(`~/Music/MusicFlac/Bruno Mars/24K Magic/`), files(`~/Music/MusicFlac/Bruno Mars/24K Magic/`))",
|
||||||
|
false,
|
||||||
|
true
|
||||||
|
)
|
||||||
|
}
|
||||||
|
|
|
@ -36,6 +36,12 @@ These always return an iterable which can be manipulated.
|
||||||
reset(iterable)
|
reset(iterable)
|
||||||
Explicitly reset an iterable. This useful for reusing an iterable variable.
|
Explicitly reset an iterable. This useful for reusing an iterable variable.
|
||||||
|
|
||||||
|
interlace(iterable1, iterable2, ...)
|
||||||
|
Combine multiple iterables in an interleaved pattern. This is a variant of union(...) where the first item in iterable1, then iterable2, ... is returned, then the second item, etc. until all iterables are depleted. There is no limit on the amount of iterables which can be provided as parameters.
|
||||||
|
|
||||||
|
union(iterable1, iterable2, ...)
|
||||||
|
Combine multiple iterables in a sequential pattern. All items in iterable1 are returned, then all items in iterable2, ... until all provided iterables are depleted. There is no limit on the amount of iterables which can be provided as parameters.
|
||||||
|
|
||||||
empty()
|
empty()
|
||||||
Empty iterator. Useful for deleting items using replacement filters.";
|
Empty iterator. Useful for deleting items using replacement filters.";
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue