Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
24 changes: 15 additions & 9 deletions .github/workflows/rust.yml
Original file line number Diff line number Diff line change
Expand Up @@ -10,16 +10,22 @@ env:
CARGO_TERM_COLOR: always

jobs:
build:
test:
name: cargo test
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Setup Rust
run: rustup toolchain install nightly --profile minimal
- name: Setup ZigBuild
run: pip install cargo-zigbuild
- uses: Swatinem/rust-cache@v2
- name: Build
run: cargo zigbuild --workspace --all-features --verbose
- uses: actions/checkout@v4
- uses: actions-rust-lang/setup-rust-toolchain@v1
- name: Run tests
run: cargo test --workspace --all-features --verbose

formatting:
name: cargo fmt
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions-rust-lang/setup-rust-toolchain@v1
with:
components: rustfmt
- name: Rustfmt Check
uses: actions-rust-lang/rustfmt@v1
2 changes: 1 addition & 1 deletion src/context/builtins.rs
Original file line number Diff line number Diff line change
Expand Up @@ -670,12 +670,12 @@ pub fn is_object(maybe_object: &Value) -> Result<Value> {
#[static_function]
pub fn get_key(object: &Value, key: &Value, fallback: Option<&Value>) -> Result<Value> {
match (object, key) {
(Value::Null, _) | (_, Value::Null) => Ok(fallback.map(Value::clone).unwrap_or_default()),
(Value::Object(map), Value::String(key)) => match (map.get(key), fallback) {
(Some(Value::Null) | None, Some(fallback)) => Ok(fallback.clone()),
(Some(value), _) => Ok(value.clone()),
(None, None) => Ok(Value::Null),
},
(Value::Null, _) => Ok(fallback.map(Value::clone).unwrap_or_default()),
_ => Err(JsltError::InvalidInput(
"Input of get-key must be object with string key".to_string(),
)),
Expand Down
83 changes: 83 additions & 0 deletions src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -288,6 +288,39 @@ mod tests {
Ok(())
}

#[test]
fn quoted_string_accessor() -> Result<()> {
let jslt: Jslt = r#"
{
"result" : {
"Open" : ."menu"."popup"."menuitem"[0]."onclick",
"Close" : ."menu"."popup"."menuitem"[1]."onclick"
}
}
"#
.parse()?;

let output = jslt.transform_value(&BASIC_INPUT)?;

assert_eq!(&output, BASIC_OUTPUT.deref());

Ok(())
}

#[test]
fn inline_if() -> Result<()> {
let jslt: Jslt = r#"
"foobar" + if (false) 3000 else 2000
"#
.parse()?;

let output = jslt.transform_value(&BASIC_INPUT)?;

assert_eq!(&output, "foobar2000");

Ok(())
}

#[rstest]
#[case("[0]", "[1, 2, 3, 4, 5]")]
#[case("[0][0:3]", "[1, 2, 3]")]
Expand All @@ -297,6 +330,9 @@ mod tests {
#[case("[0][0 : 3]", "[1, 2, 3]")]
#[case("[0][2:]", "[3, 4, 5]")]
#[case("[0][:3]", "[1, 2, 3]")]
#[case("[0][-3:]", "[3, 4, 5]")]
#[case("[0][:-2]", "[1, 2, 3]")]
#[case("[0][-4:-2]", "[2, 3]")]
fn array_range(#[case] accessor: &str, #[case] expected: Value) -> Result<()> {
let jslt: Jslt = format!("{{ \"result\" : .data{accessor} }}").parse()?;

Expand Down Expand Up @@ -1185,6 +1221,12 @@ mod tests {
#[case("1 < 3 and 4 * 2 > 5", "true")]
#[case("1 <= 3 and 4 * 2 <= 8", "true")]
#[case("[for ([1, 2, 3]) . if ( . > 2 )]", "[3]")]
#[case::null_add_string("null + \"-foobar\"", "\"null-foobar\"")]
#[case::string_add_null("\"foobar-\" + null", "\"foobar-null\"")]
#[case::null_add_array("null + [1, 2, 3]", "[1, 2, 3]")]
#[case::array_add_null("[1, 2, 3] + null", "[1, 2, 3]")]
#[case::null_add_object("null + { \"foo\": \"bar\" }", "{ \"foo\": \"bar\" }")]
#[case::object_add_null("{ \"foo\": \"bar\" } + null", "{ \"foo\": \"bar\" }")]
fn operators(#[case] jslt: &str, #[case] expected: Value) -> Result<()> {
let jslt: Jslt = jslt.parse()?;

Expand All @@ -1195,6 +1237,47 @@ mod tests {
Ok(())
}

#[rstest]
#[case::null_add_null("null + null")]
#[case::null_add_number("null + 1")]
#[case::number_add_null("1 + null")]
#[case::null_sub_null("null - null")]
#[case::null_sub_number(r#"null - 1"#)]
#[case::number_sub_null(r#"1 - null"#)]
#[case::null_sub_string(r#"null - "-foobar""#)]
#[case::string_sub_null(r#""foobar-" - null"#)]
#[case::null_sub_array(r#"null - [1, 2, 3]"#)]
#[case::array_sub_null(r#"[1, 2, 3] - null"#)]
#[case::null_sub_object(r#"null - { "foo": "bar" }"#)]
#[case::object_sub_null(r#"{ "foo": "bar" } - null"#)]
#[case::null_mul_null("null * null")]
#[case::null_mul_number(r#"null * 1"#)]
#[case::number_mul_null(r#"1 * null"#)]
#[case::null_mul_string(r#"null * "-foobar""#)]
#[case::string_mul_null(r#""foobar-" * null"#)]
#[case::null_mul_array(r#"null * [1, 2, 3]"#)]
#[case::array_mul_null(r#"[1, 2, 3] * null"#)]
#[case::null_mul_object(r#"null * { "foo": "bar" }"#)]
#[case::object_mul_null(r#"{ "foo": "bar" } * null"#)]
#[case::null_div_null("null / null")]
#[case::null_div_number(r#"null / 1"#)]
#[case::number_div_null(r#"1 / null"#)]
#[case::null_div_string(r#"null / "-foobar""#)]
#[case::string_div_null(r#""foobar-" / null"#)]
#[case::null_div_array(r#"null / [1, 2, 3]"#)]
#[case::array_div_null(r#"[1, 2, 3] / null"#)]
#[case::null_div_object(r#"null / { "foo": "bar" }"#)]
#[case::object_div_null(r#"{ "foo": "bar" } / null"#)]
fn operators_with_null_resulting_in_null(#[case] jslt: &str) -> Result<()> {
let jslt: Jslt = jslt.parse()?;

let output = jslt.transform_value(&Value::Null)?;

assert_eq!(output, Value::Null);

Ok(())
}

#[rstest]
#[case("def my_add(a, b)\n $a + $b \n my_add(1, 2)", "3")]
#[case("def my_add(a, b)\n let foo = $a \n $foo + $b \n my_add(1, 2)", "3")]
Expand Down
7 changes: 4 additions & 3 deletions src/parser/jslt.pest
Original file line number Diff line number Diff line change
Expand Up @@ -2,8 +2,9 @@ Jslt = _{ SOI ~ Expr ~ EOI }

Value = _{ Array | Object | Number | String | Boolean | Null | FunctionCall | Accessor | Scope | Variable }

Expr = _{ OperatorExpr | VariableDef | FunctionDef | IfStatement | Value }
OperatorExpr = { Value ~ (Operator ~ Value)+ }
Expr = _{ OperatorExpr | ValueExpr }
ValueExpr = _{ VariableDef | FunctionDef | IfStatement | Value }
OperatorExpr = { ValueExpr ~ (Operator ~ ValueExpr)+ }

Operator = _{ Add | Sub | Div | Mul | Gte | Gt | Lte | Lt | And | Or | Equal | NotEqual }

Expand All @@ -27,7 +28,7 @@ Let = _{ "let" }
Scope = { "(" ~ Expr ~ ")" }

Accessor = ${
(("." ~ Ident?) | KeyAccessor) ~ Accessor?
(("." ~ (Ident | String)?) | KeyAccessor) ~ Accessor?
}
KeyAccessor = !{ "[" ~ (RangeAccessor | Expr) ~ "]" }
FromRangeAccessor = { Expr ~ ":" ~ Expr? }
Expand Down
10 changes: 10 additions & 0 deletions src/transform/expr.rs
Original file line number Diff line number Diff line change
Expand Up @@ -196,6 +196,11 @@ impl Transform for OperatorExprTransformer {

match self.operator {
OperatorTransformer::Add => match (&left, &right) {
(Value::Null, Value::Number(_))
| (Value::Number(_), Value::Null)
| (Value::Null, Value::Null) => Ok(Value::Null),
(Value::Array(_) | Value::Object(_), Value::Null) => Ok(left),
(Value::Null, Value::Array(_) | Value::Object(_)) => Ok(right),
(Value::Array(left), Value::Array(right)) => Ok(Value::Array(
left.clone().into_iter().chain(right.clone()).collect(),
)),
Expand All @@ -213,6 +218,8 @@ impl Transform for OperatorExprTransformer {
(left.as_f64().expect("Should be f64") + right.as_f64().expect("Should be f64")).into(),
),
(Value::String(left), Value::String(right)) => Ok(Value::String(format!("{left}{right}"))),
(left, Value::String(right)) => Ok(Value::String(format!("{left}{right}"))),
(Value::String(left), right) => Ok(Value::String(format!("{left}{right}"))),
(Value::Object(left), Value::Object(right)) => Ok(Value::Object(
left
.into_iter()
Expand All @@ -225,6 +232,7 @@ impl Transform for OperatorExprTransformer {
))),
},
OperatorTransformer::Sub => match (&left, &right) {
(Value::Null, _) | (_, Value::Null) => Ok(Value::Null),
(Value::Number(left), Value::Number(right)) if left.is_u64() && right.is_u64() => {
Ok(Value::Number(
(left.as_u64().expect("Should be u64") - right.as_u64().expect("Should be u64")).into(),
Expand All @@ -243,6 +251,7 @@ impl Transform for OperatorExprTransformer {
))),
},
OperatorTransformer::Mul => match (&left, &right) {
(Value::Null, _) | (_, Value::Null) => Ok(Value::Null),
(Value::String(left), Value::Number(right)) if right.is_u64() => Ok(Value::String(
std::iter::from_fn(|| Some(left.clone()))
.take(right.as_u64().expect("Should be u64") as usize)
Expand All @@ -266,6 +275,7 @@ impl Transform for OperatorExprTransformer {
))),
},
OperatorTransformer::Div => match (&left, &right) {
(Value::Null, _) | (_, Value::Null) => Ok(Value::Null),
(Value::Number(left), Value::Number(right)) if left.is_u64() && right.is_u64() => {
Ok(Value::Number(
(left.as_u64().expect("Should be u64") / right.as_u64().expect("Should be u64")).into(),
Expand Down
8 changes: 4 additions & 4 deletions src/transform/value/accessor.rs
Original file line number Diff line number Diff line change
Expand Up @@ -99,6 +99,7 @@ impl FromPairs for AccessorTransformer {
for pair in pairs {
match pair.as_rule() {
Rule::Ident => ident = Some(pair.as_str()),
Rule::String => ident = Some(pair.into_inner().as_str()),
Rule::KeyAccessor => keys.push(KeyAccessorTransformer::from_pairs(&mut pair.into_inner())?),
Rule::Accessor => {
nested = Some(Box::new(AccessorTransformer::from_pairs(
Expand Down Expand Up @@ -229,9 +230,6 @@ impl FromPairs for KeyAccessorTransformer {
let inner = pairs.peek().ok_or(JsltError::UnexpectedEnd)?;

match inner.as_rule() {
Rule::Number | Rule::String | Rule::Variable => Ok(KeyAccessorTransformer::Index(
ExprTransformer::from_pairs(pairs)?,
)),
Rule::RangeAccessor => {
let mut inner = pairs.next().expect("Sould be fine").into_inner();

Expand Down Expand Up @@ -269,7 +267,9 @@ impl FromPairs for KeyAccessorTransformer {
_ => Err(JsltError::UnexpectedContent(Rule::RangeAccessor)),
}
}
_ => Err(JsltError::UnexpectedContent(Rule::KeyAccessor)),
_ => Ok(KeyAccessorTransformer::Index(ExprTransformer::from_pairs(
pairs,
)?)),
}
}
}
Expand Down
Loading