Как на диалекте PARSE можно искать или через CHARSET?

Сначала я сообщу о своем намерении: я пытаюсь написать правило разбора для потенциально запутанных 10-значных телефонных номеров. Так что представьте себе случаи как "callmeNOW...555___555____5555!"

Место, с которого я думал начать, - это список действительных кодов городов Википедии. Затем я преобразую их в STRING! использовать в качестве правила разбора, которое я ищу TO,

После этого я решил попробовать прочитать следующие 10 цифр. Но подтверждение концепции, которую я ожидал, не сработало:

>> digit: charset "0123456789"
== make bitset! #{000000000000FFC0}

>> parse "callmeNOW...555___555____5555!" [10 [thru digit] to end]
== false

Подводя меня к более простому тесту, который не смог сделать то, что я хотел:

>> parse "5" [thru digit]
== false

Если я не использую это с THRU, то это делает ожидаемую вещь:

>> parse "5" [digit]
== true

Почему наборы битов поддерживаются при использовании в качестве токенов, но не с TO или же THRU?

PS вот список кодов городов в виде блока Rebol, если кто-то хочет этого...

valid-area-codes: [
    205 251 256 334 659 938 907 250 480 520 602 623 928 327 479 501 870
    209 213 310 323 341 369 408 415 424 442 510 530 559 562 619 626 627
    628 650 657 661 669 707 714 747 760 764 805 818 831 858 909 916 925
    935 949 951 303 719 720 970 203 475 860 959 302 202 239 305 321 352
    386 407 561 689 727 754 772 786 813 850 863 904 941 954 229 404 470
    478 678 706 762 770 912 808 208 217 224 309 312 331 447 464 618 630
    708 730 773 779 815 847 872 219 260 317 574 765 812 319 515 563 641
    712 316 620 785 913 270 364 502 606 859 225 318 337 504 985 207 227
    240 301 410 443 667 339 351 413 508 617 774 781 857 978 231 248 269
    313 517 586 616 679 734 810 906 947 989 218 320 507 612 651 763 952
    228 601 662 769 314 417 557 573 636 660 816 975 406 308 402 531 702
    775 603 201 551 609 732 848 856 862 908 973 505 575 212 315 347 516
    518 585 607 631 646 716 718 845 914 917 929 252 336 704 828 910 919
    980 984 701 216 234 283 330 380 419 440 513 567 614 740 937 405 539
    580 918 458 503 541 971 215 267 272 412 445 484 570 582 610 717 724
    814 835 878 401 803 843 864 605 423 615 731 865 901 931 210 214 254
    281 325 361 409 430 432 469 512 682 713 737 806 817 830 832 903 915
    936 940 956 972 979 385 435 801 802 276 434 540 571 703 757 804 206
    253 360 425 509 564 304 681 262 274 414 534 608 715 920 307
]
Источник

3 ответа

Решение

Реальный ответ заключается в том, что TO и THRU - это не операторы сопоставления с образцом, а операторы поиска.

Наборы символов используются специально для сопоставления с образцом, поэтому они являются битовой маской, поэтому вы не можете искать их, они не существуют в потоке, они фильтруют и сравнивают его по одному байту за раз. Это не означает, что они не могут быть использованы для TO/THRU в будущем, просто почему они до сих пор не предназначены для использования в качестве таковых.

причина, по которой работает ваш пример "правила конвейера" (фактически это список альтернатив с использованием операции OR ("|")), заключается в том, что TO/THRU будет искать каждую альтернативу в заданном порядке, пока один из них не будет найден (поэтому порядок должен изменить скорость, в длинном списке альтернатив).

Следующее правило извлекает все относительно правильно сформированные телефонные номера с учетом некоторой "комнаты для маневра" в форме (R2 и R3):

digit: charset "0123456789"
!digit: complement digit

parse/all text [   
    any [ 
        copy phone [ opt "(" 3 digit    1 3 !digit   3 digit    1 3 !digit    4 digit] (print phone)  
        |  skip 
    ] 
]

обратите внимание, что вышеизложенное - это быстрый и грязный экстрактор номеров для любого североамериканского телефона. Он будет сканировать весь текст, печатая любое найденное число.

Источник

Конечно, пока R3 движется parse наряду с этим, обычный шаблон заключается в создании дополнительного набора битов для пропуска содержимого из требуемого набора.

filler: complement digit: charset "0123456789"
parse/all stream [any [copy n some digit (append out: [] n) | some filler]]
probe out   ; all the digit chunks in the stream
Источник

Не лаконично, но если я не создаю свой набор цифр в виде BITSET! а скорее с правилом трубы, оно работает нормально:

>> digit: ["0" | "1" | "2" | "3" | "4" | "5" | "6" | "7" | "8" | "9"]
== ["0" | "1" | "2" | "3" | "4" | "5" | "6" | "7" | "8" | "9"]

>> parse "callmeNOW...555___555____5555!" [10 [thru digit] to end]
== true
Источник
Другие вопросы по тегам