Changes between Initial Version and Version 1 of Rules/UkrainePhoneNumbers

Timestamp:

2022-05-22T19:07:10+02:00 (4 years ago)

Author:

andygol

Comment:

Rules to check phone numbers in Ukraine

Rules/UkrainePhoneNumbers

@@ +1 @@
+{{{
+#!rule
+meta
+{
+    title: "Ukrainian phone numbers";
+    version: "0.[[revision]]_[[date]]";
+    description: "Verify Ukrainian phone numbers formating and validity. Rules for checking phone number formats of Ukraine. The phone must conform to the format +380 aa xxx xxxxx; +380 aaa xx xxxxx; +380 аааа хх ххх, where +380 is the code of Ukraine, аа / ааа / аааа is the code of the operator or area, 'ххх хххх' / 'хх хххх' / 'хх ххх' - number format for seven-, six- and five-digit numbers that can be used in the local network without using the network code. Toll-free phones '0 800 ххх ххх' must be specified without a country code, the `phone: UA` key is used to record them.";
+    author: "andygol";
+    link: "https://josm.openstreetmap.de/wiki/Rules/UkrainePhoneNumbers";
+    min-josm-version: "11424";
+    baselanguage: "en"; 
+}
+meta[lang=uk] {
+    title: "Правила перевірки форматів телефоних номерів в Україні";
+    description: "Правила перевірки форматів номерів телефонів України. Телефон має відповідати формату +380 аа ххх хххх; +380 ааа хх хххх; +380 аааа хх ххх. де +380 - код України, аа/ааа/аааа - код оператора чи території, ххх хххх/хх хххх/хх ххх - формат номерів для семи-, шести- та п'ятизначних номерів, що можуть використовуватись в місцевій мережі без використання коду мережі. Телефони 0 800 ххх ххх мають вказуватись без коду країни, для їх запису використовується ключ `phone:UA`";
+}
+
+*[number_of_tags() > 1][/^(contact:)?(phone|fax)(?!:UA)$/!~/^((?=\+\b380[0-9 ]{12}\b)(?=.*(\+\b380 (?:\d{2} \d{3} \d{4}|\d{3} \d{2} \d{4}|\d{4} \d{2} \d{3})\b))((\+\b380 (?:\d{2} \d{3} \d{4}|\d{3} \d{2} \d{4}|\d{4} \d{2} \d{3})\b));?)*$/][inside("UA")] {
+    throwWarning: tr("\"phone\" tag");
+    group: tr("Incorrect phone number");
+    suggestAlternative: tr("format +380⎵44⎵123⎵4567;+380⎵352⎵12⎵3456;+380⎵5345⎵12⎵345");
+    assertMatch: "node phone=+380 44 366 7002";
+    assertNoMatch: "node phone=+38 044 366 7002";
+}
+
+*[number_of_tags() > 1][/^phone$/=~/^((0 800 \d{3} \d{3});?)*$/][inside("UA")] {
+    throwError: tr("\"phone\" tag");
+    group: tr("Use \"phone:UA\" key for toll free phones instead");
+    fixChangeKey: "phone=>phone:UA";
+    assertMatch: "node phone=0 800 500 609";
+    assertMatch: "way phone=0 800 500 609";
+    assertNoMatch: "node phone:UA=0 800 500 609";
+    assertNoMatch: "way phone:UA=0 800 500 609";
+}
+}}}