summaryrefslogtreecommitdiffstats
path: root/checktab.awk
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-05-05 15:48:51 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-05-05 15:48:51 +0000
commit4f01be51e0a45f022198d4286d4375636a29b714 (patch)
treed99dab2786b89a9ca35f59f4c88749649ad859e7 /checktab.awk
parentInitial commit. (diff)
downloadtzdata-upstream.tar.xz
tzdata-upstream.zip
Adding upstream version 2024a.upstream/2024aupstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'checktab.awk')
-rw-r--r--checktab.awk193
1 files changed, 193 insertions, 0 deletions
diff --git a/checktab.awk b/checktab.awk
new file mode 100644
index 0000000..9a26e46
--- /dev/null
+++ b/checktab.awk
@@ -0,0 +1,193 @@
+# Check tz tables for consistency.
+
+# Contributed by Paul Eggert. This file is in the public domain.
+
+BEGIN {
+ FS = "\t"
+
+ if (!iso_table) iso_table = "iso3166.tab"
+ if (!zone_table) zone_table = "zone1970.tab"
+ if (!want_warnings) want_warnings = -1
+
+ while (getline <iso_table) {
+ iso_NR++
+ if ($0 ~ /^#/) continue
+ if (NF != 2) {
+ printf "%s:%d: wrong number of columns\n", \
+ iso_table, iso_NR >>"/dev/stderr"
+ status = 1
+ }
+ cc = $1
+ name = $2
+ if (cc !~ /^[A-Z][A-Z]$/) {
+ printf "%s:%d: invalid country code '%s'\n", \
+ iso_table, iso_NR, cc >>"/dev/stderr"
+ status = 1
+ }
+ if (cc <= cc0) {
+ if (cc == cc0) {
+ s = "duplicate";
+ } else {
+ s = "out of order";
+ }
+
+ printf "%s:%d: country code '%s' is %s\n", \
+ iso_table, iso_NR, cc, s \
+ >>"/dev/stderr"
+ status = 1
+ }
+ cc0 = cc
+ if (name2cc[name]) {
+ printf "%s:%d: '%s' and '%s' have the same name\n", \
+ iso_table, iso_NR, name2cc[name], cc \
+ >>"/dev/stderr"
+ status = 1
+ }
+ name2cc[name] = cc
+ cc2name[cc] = name
+ cc2NR[cc] = iso_NR
+ }
+
+ cc0 = ""
+
+ while (getline <zone_table) {
+ zone_NR++
+ if ($0 ~ /^#/) continue
+ if (NF != 3 && NF != 4) {
+ printf "%s:%d: wrong number of columns\n", \
+ zone_table, zone_NR >>"/dev/stderr"
+ status = 1
+ }
+ ccs = input_ccs[zone_NR] = $1
+ coordinates = $2
+ tz = $3
+ comments = input_comments[zone_NR] = $4
+ split(ccs, cca, /,/)
+ cc = cca[1]
+
+ # Don't complain about a special case for Crimea in zone.tab.
+ # FIXME: zone.tab should be removed, since it is obsolete.
+ # Or at least put just "XX" in its country-code column.
+ if (cc < cc0 \
+ && !(zone_table == "zone.tab" \
+ && tz0 == "Europe/Simferopol")) {
+ printf "%s:%d: country code '%s' is out of order\n", \
+ zone_table, zone_NR, cc >>"/dev/stderr"
+ status = 1
+ }
+ cc0 = cc
+ tz0 = tz
+ tztab[tz] = 1
+ tz2NR[tz] = zone_NR
+ for (i in cca) {
+ cc = cca[i]
+ if (cc2name[cc]) {
+ cc_used[cc]++
+ } else if (! (cc == "XX" && zone_table == "zonenow.tab")) {
+ printf "%s:%d: %s: unknown country code\n", \
+ zone_table, zone_NR, cc >>"/dev/stderr"
+ status = 1
+ }
+ }
+ if (coordinates !~ /^[-+][0-9][0-9][0-5][0-9][-+][01][0-9][0-9][0-5][0-9]$/ \
+ && coordinates !~ /^[-+][0-9][0-9][0-5][0-9][0-5][0-9][-+][01][0-9][0-9][0-5][0-9][0-5][0-9]$/) {
+ printf "%s:%d: %s: invalid coordinates\n", \
+ zone_table, zone_NR, coordinates >>"/dev/stderr"
+ status = 1
+ }
+ }
+
+ for (i = 1; i <= zone_NR; i++) {
+ ccs = input_ccs[i]
+ if (!ccs) continue
+ comments = input_comments[i]
+ split(ccs, cca, /,/)
+ used_max = 0
+ for (j in cca) {
+ cc = cca[j]
+ if (used_max < cc_used[cc]) {
+ used_max = cc_used[cc]
+ used_max_cc = cc
+ }
+ }
+ if (used_max <= 1 && comments && zone_table != "zonenow.tab") {
+ printf "%s:%d: unnecessary comment '%s'\n", \
+ zone_table, i, comments \
+ >>"/dev/stderr"
+ status = 1
+ } else if (1 < used_max && !comments) {
+ printf "%s:%d: missing comment for %s\n", \
+ zone_table, i, used_max_cc \
+ >>"/dev/stderr"
+ status = 1
+ }
+ }
+ FS = " "
+}
+
+$1 ~ /^#/ { next }
+
+{
+ tz = rules = ""
+ if ($1 == "Zone") {
+ tz = $2
+ ruleUsed[$4] = 1
+ if ($5 ~ /%/) rulePercentUsed[$4] = 1
+ } else if ($1 == "Link" && zone_table == "zone.tab") {
+ # Ignore Link commands if source and destination basenames
+ # are identical, e.g. Europe/Istanbul versus Asia/Istanbul.
+ src = $2
+ dst = $3
+ while ((i = index(src, "/"))) src = substr(src, i+1)
+ while ((i = index(dst, "/"))) dst = substr(dst, i+1)
+ if (src != dst) tz = $3
+ } else if ($1 == "Rule") {
+ ruleDefined[$2] = 1
+ if ($10 != "-") ruleLetters[$2] = 1
+ } else {
+ ruleUsed[$2] = 1
+ if ($3 ~ /%/) rulePercentUsed[$2] = 1
+ }
+ if (tz && tz ~ /\// && tz !~ /^Etc\//) {
+ if (!tztab[tz] && FILENAME != "backward" \
+ && zone_table != "zonenow.tab") {
+ printf "%s: no data for '%s'\n", zone_table, tz \
+ >>"/dev/stderr"
+ status = 1
+ }
+ zoneSeen[tz] = 1
+ }
+}
+
+END {
+ for (tz in ruleDefined) {
+ if (!ruleUsed[tz]) {
+ printf "%s: Rule never used\n", tz
+ status = 1
+ }
+ }
+ for (tz in ruleLetters) {
+ if (!rulePercentUsed[tz]) {
+ printf "%s: Rule contains letters never used\n", tz
+ status = 1
+ }
+ }
+ for (tz in tztab) {
+ if (!zoneSeen[tz] && tz !~ /^Etc\//) {
+ printf "%s:%d: no Zone table for '%s'\n", \
+ zone_table, tz2NR[tz], tz >>"/dev/stderr"
+ status = 1
+ }
+ }
+ if (0 < want_warnings) {
+ for (cc in cc2name) {
+ if (!cc_used[cc]) {
+ printf "%s:%d: warning: " \
+ "no Zone entries for %s (%s)\n", \
+ iso_table, cc2NR[cc], cc, cc2name[cc]
+ }
+ }
+ }
+
+ exit status
+}