summaryrefslogtreecommitdiffstats
path: root/third_party/rust/weedle2/src/literal.rs
diff options
context:
space:
mode:
Diffstat (limited to 'third_party/rust/weedle2/src/literal.rs')
-rw-r--r--third_party/rust/weedle2/src/literal.rs269
1 files changed, 269 insertions, 0 deletions
diff --git a/third_party/rust/weedle2/src/literal.rs b/third_party/rust/weedle2/src/literal.rs
new file mode 100644
index 0000000000..295afe583d
--- /dev/null
+++ b/third_party/rust/weedle2/src/literal.rs
@@ -0,0 +1,269 @@
+ast_types! {
+ /// Represents an integer value
+ #[derive(Copy)]
+ enum IntegerLit<'a> {
+ /// Parses `-?[1-9][0-9]*`
+ #[derive(Copy)]
+ Dec(struct DecLit<'a>(
+ &'a str = crate::whitespace::ws(nom::combinator::recognize(nom::sequence::tuple((
+ nom::combinator::opt(nom::character::complete::char('-')),
+ nom::character::complete::one_of("123456789"),
+ nom::bytes::complete::take_while(nom::AsChar::is_dec_digit)
+ )))),
+ )),
+ /// Parses `-?0[Xx][0-9A-Fa-f]+)`
+ #[derive(Copy)]
+ Hex(struct HexLit<'a>(
+ &'a str = crate::whitespace::ws(nom::combinator::recognize(nom::sequence::tuple((
+ nom::combinator::opt(nom::character::complete::char('-')),
+ nom::character::complete::char('0'),
+ nom::character::complete::one_of("xX"),
+ nom::bytes::complete::take_while(nom::AsChar::is_hex_digit)
+ )))),
+ )),
+ /// Parses `-?0[0-7]*`
+ #[derive(Copy)]
+ Oct(struct OctLit<'a>(
+ &'a str = crate::whitespace::ws(nom::combinator::recognize(nom::sequence::tuple((
+ nom::combinator::opt(nom::character::complete::char('-')),
+ nom::character::complete::char('0'),
+ nom::bytes::complete::take_while(nom::AsChar::is_oct_digit)
+ )))),
+ )),
+ }
+
+ /// Represents a string value
+ ///
+ /// Follow `/"[^"]*"/`
+ #[derive(Copy)]
+ struct StringLit<'a>(
+ &'a str = crate::whitespace::ws(nom::sequence::delimited(
+ nom::character::complete::char('"'),
+ nom::bytes::complete::take_while(|c| c != '"'),
+ nom::character::complete::char('"'),
+ )),
+ )
+
+ /// Represents a default literal value. Ex: `34|34.23|"value"|[ ]|true|false|null`
+ #[derive(Copy)]
+ enum DefaultValue<'a> {
+ Boolean(BooleanLit),
+ /// Represents `[ ]`
+ #[derive(Copy, Default)]
+ EmptyArray(struct EmptyArrayLit {
+ open_bracket: term!(OpenBracket),
+ close_bracket: term!(CloseBracket),
+ }),
+ /// Represents `{ }`
+ #[derive(Copy, Default)]
+ EmptyDictionary(struct EmptyDictionaryLit {
+ open_brace: term!(OpenBrace),
+ close_brace: term!(CloseBrace),
+ }),
+ Float(FloatLit<'a>),
+ Integer(IntegerLit<'a>),
+ Null(term!(null)),
+ String(StringLit<'a>),
+ }
+
+ /// Represents `true`, `false`, `34.23`, `null`, `56`, ...
+ #[derive(Copy)]
+ enum ConstValue<'a> {
+ Boolean(BooleanLit),
+ Float(FloatLit<'a>),
+ Integer(IntegerLit<'a>),
+ Null(term!(null)),
+ }
+
+ /// Represents either `true` or `false`
+ #[derive(Copy)]
+ struct BooleanLit(
+ bool = nom::branch::alt((
+ nom::combinator::value(true, weedle!(term!(true))),
+ nom::combinator::value(false, weedle!(term!(false))),
+ )),
+ )
+
+ /// Represents a floating point value, `NaN`, `Infinity`, '+Infinity`
+ #[derive(Copy)]
+ enum FloatLit<'a> {
+ /// Parses `/-?(([0-9]+\.[0-9]*|[0-9]*\.[0-9]+)([Ee][+-]?[0-9]+)?|[0-9]+[Ee][+-]?[0-9]+)/`
+ #[derive(Copy)]
+ Value(struct FloatValueLit<'a>(
+ &'a str = crate::whitespace::ws(nom::combinator::recognize(nom::sequence::tuple((
+ nom::combinator::opt(nom::character::complete::char('-')),
+ nom::branch::alt((
+ nom::combinator::value((), nom::sequence::tuple((
+ // (?:[0-9]+\.[0-9]*|[0-9]*\.[0-9]+)
+ nom::branch::alt((
+ nom::sequence::tuple((
+ nom::bytes::complete::take_while1(nom::AsChar::is_dec_digit),
+ nom::character::complete::char('.'),
+ nom::bytes::complete::take_while(nom::AsChar::is_dec_digit),
+ )),
+ nom::sequence::tuple((
+ nom::bytes::complete::take_while(nom::AsChar::is_dec_digit),
+ nom::character::complete::char('.'),
+ nom::bytes::complete::take_while1(nom::AsChar::is_dec_digit),
+ )),
+ )),
+ // (?:[Ee][+-]?[0-9]+)?
+ nom::combinator::opt(nom::sequence::tuple((
+ nom::character::complete::one_of("eE"),
+ nom::combinator::opt(nom::character::complete::one_of("+-")),
+ nom::bytes::complete::take_while1(nom::AsChar::is_dec_digit),
+ ))),
+ ))),
+ // [0-9]+[Ee][+-]?[0-9]+
+ nom::combinator::value((), nom::sequence::tuple((
+ nom::bytes::complete::take_while1(nom::AsChar::is_dec_digit),
+ nom::character::complete::one_of("eE"),
+ nom::combinator::opt(nom::character::complete::one_of("+-")),
+ nom::bytes::complete::take_while1(nom::AsChar::is_dec_digit),
+ ))),
+ )),
+ )))),
+ )),
+ NegInfinity(term!(-Infinity)),
+ Infinity(term!(Infinity)),
+ NaN(term!(NaN)),
+ }
+}
+
+#[cfg(test)]
+mod test {
+ use super::*;
+ use crate::term::*;
+ use crate::Parse;
+
+ test!(should_parse_integer { "45" =>
+ "";
+ IntegerLit => IntegerLit::Dec(DecLit("45"))
+ });
+
+ test!(should_parse_integer_surrounding_with_spaces { " 123123 " =>
+ "";
+ IntegerLit => IntegerLit::Dec(DecLit("123123"))
+ });
+
+ test!(should_parse_integer_preceding_others { "3453 string" =>
+ "string";
+ IntegerLit => IntegerLit::Dec(DecLit("3453"))
+ });
+
+ test!(should_parse_neg_integer { "-435" =>
+ "";
+ IntegerLit => IntegerLit::Dec(DecLit("-435"))
+ });
+
+ test!(should_parse_hex_number { "0X08" =>
+ "";
+ IntegerLit => IntegerLit::Hex(HexLit("0X08"))
+ });
+
+ test!(should_parse_hex_large_number { "0xA" =>
+ "";
+ IntegerLit => IntegerLit::Hex(HexLit("0xA"))
+ });
+
+ test!(should_parse_zero { "0" =>
+ "";
+ IntegerLit => IntegerLit::Oct(OctLit("0"))
+ });
+
+ test!(should_parse_oct_number { "-07561" =>
+ "";
+ IntegerLit => IntegerLit::Oct(OctLit("-07561"))
+ });
+
+ test!(should_parse_float { "45.434" =>
+ "";
+ FloatLit => FloatLit::Value(FloatValueLit("45.434"))
+ });
+
+ test!(should_parse_float_surrounding_with_spaces { " 2345.2345 " =>
+ "";
+ FloatLit => FloatLit::Value(FloatValueLit("2345.2345"))
+ });
+
+ test!(should_parse_float_preceding_others { "3453.32334 string" =>
+ "string";
+ FloatLit => FloatLit::Value(FloatValueLit("3453.32334"))
+ });
+
+ test!(should_parse_neg_float { "-435.3435" =>
+ "";
+ FloatLit => FloatLit::Value(FloatValueLit("-435.3435"))
+ });
+
+ test!(should_parse_float_exp { "3e23" =>
+ "";
+ FloatLit => FloatLit::Value(FloatValueLit("3e23"))
+ });
+
+ test!(should_parse_float_exp_with_decimal { "5.3434e23" =>
+ "";
+ FloatLit => FloatLit::Value(FloatValueLit("5.3434e23"))
+ });
+
+ test!(should_parse_neg_infinity { "-Infinity" =>
+ "";
+ FloatLit => FloatLit::NegInfinity(term!(-Infinity))
+ });
+
+ test!(should_parse_infinity { "Infinity" =>
+ "";
+ FloatLit => FloatLit::Infinity(term!(Infinity))
+ });
+
+ test!(should_parse_string { r#""this is a string""# =>
+ "";
+ StringLit => StringLit("this is a string")
+ });
+
+ test!(should_parse_string_surround_with_spaces { r#" "this is a string" "# =>
+ "";
+ StringLit => StringLit("this is a string")
+ });
+
+ test!(should_parse_string_followed_by_string { r#" "this is first" "this is second" "# =>
+ r#""this is second" "#;
+ StringLit => StringLit("this is first")
+ });
+
+ test!(should_parse_string_with_spaces { r#" " this is a string " "# =>
+ "";
+ StringLit => StringLit(" this is a string ")
+ });
+
+ test!(should_parse_string_with_comment { r#" "// this is still a string"
+ "# =>
+ "";
+ StringLit => StringLit("// this is still a string")
+ });
+
+ test!(should_parse_string_with_multiline_comment { r#" "/*" "*/" "# =>
+ r#""*/" "#;
+ StringLit => StringLit("/*")
+ });
+
+ test!(should_parse_null { "null" =>
+ "";
+ Null => Null
+ });
+
+ test!(should_parse_empty_array { "[]" =>
+ "";
+ EmptyArrayLit => Default::default()
+ });
+
+ test!(should_parse_bool_true { "true" =>
+ "";
+ BooleanLit => BooleanLit(true)
+ });
+
+ test!(should_parse_bool_false { "false" =>
+ "";
+ BooleanLit => BooleanLit(false)
+ });
+}
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-03 07:13:33 +0000