#include "catch.hpp" #include "parser/parser.hpp" #include #include static std::vector valid_queries = { // true/false predicates "truepredicate", "falsepredicate", " TRUEPREDICATE ", " FALSEPREDICATE ", // characters/strings "\"\" = ''", "'azAZ09/ :()[]{}<>,.^@-+=*&~`' = '\\\" \\' \\\\ \\/ \\b \\f \\n \\r \\t \\0'", "\"azAZ09/\" = \"\\\" \\' \\\\ \\/ \\b \\f \\n \\r \\t \\0\"", "'\\uffFf' = '\\u0020'", "'\\u01111' = 'asdf\\u0111asdf'", // expressions (numbers, bools, keypaths, arguments) "-1 = 12", "0 = 001", "0x0 = -0X398235fcAb", "10. = -.034", "10.0 = 5.034", "true = false", "_ = a", "_a = _.aZ", "a09._br.z = __-__.Z-9", "$0 = $19", "$0=$0", // operators "0=0", "0 = 0", "0!=0", "0 != 0", "0==0", "0 == 0", "0>0", "0 > 0", "0>=0", "0 >= 0", "0<0", "0 < 0", "0<=0", "0 <= 0", "0 contains 0", "0 BeGiNsWiTh 0", "0 ENDSWITH 0", "contains contains 'contains'", "beginswith beginswith 'beginswith'", "endswith endswith 'endswith'", "NOT NOT != 'NOT'", "AND == 'AND' AND OR == 'OR'", // FIXME - bug // "truepredicate == 'falsepredicate' && truepredicate", // atoms/groups "(0=0)", "( 0=0 )", "((0=0))", "!0=0", "! 0=0", "!(0=0)", "! (0=0)", "NOT0=0", // keypath NOT0 "not 0=0", "NOT(0=0)", "not (0=0)", "NOT (!0=0)", // compound "a==a && a==a", "a==a || a==a", "a==a&&a==a||a=a", "a==a and a==a", "a==a OR a==a", "and=='AND'&&'or'=='||'", "and == or && ORE > GRAND", "a=1AND NOTb=2", }; static std::vector invalid_queries = { "predicate", "'\\a' = ''", // invalid escape // invalid unicode "'\\u0' = ''", // invalid strings "\"' = ''", "\" = ''", "' = ''", // expressions "03a = 1", "1..0 = 1", "1.0. = 1", "1-0 = 1", "0x = 1", "truey = false", "- = a", "a..b = a", "a$a = a", "{} = $0", "$-1 = $0", "$a = $0", "$ = $", // operators "0===>0", "0 <> 0", "0 contains1", "endswith 0", // atoms/groups "0=0)", "(0=0", "(0=0))", "! =0", "NOTNOT(0=0)", "(!!0=0)", "0=0 !", // compound "a==a & a==a", "a==a | a==a", "a==a &| a==a", "a==a && OR a==a", "a==aORa==a", //"a=1ANDNOT b=2", "truepredicate &&", "truepredicate & truepredicate", }; TEST_CASE("valid queries") { for (auto& query : valid_queries) { INFO("query: " << query); CHECK_NOTHROW(realm::parser::parse(query)); } } TEST_CASE("invalid queries") { for (auto& query : invalid_queries) { INFO("query: " << query); CHECK_THROWS(realm::parser::parse(query)); } }