+++ /dev/null
-# Check tz tables for consistency.
-
-# Contributed by Paul Eggert.
-
-BEGIN {
- FS = "\t"
-
- if (!iso_table) iso_table = "iso3166.tab"
- if (!zone_table) zone_table = "zone.tab"
- if (!want_warnings) want_warnings = -1
-
- # A special (and we hope temporary) case.
- tztab["America/Montreal"] = 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 sname name\n", \
- iso_table, iso_NR, name2cc[name], cc \
- >>"/dev/stderr"
- status = 1
- }
- name2cc[name] = cc
- cc2name[cc] = name
- cc2NR[cc] = iso_NR
- }
-
- zone_table = "zone.tab"
- 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
- }
- cc = $1
- coordinates = $2
- tz = $3
- comments = $4
- if (cc < cc0) {
- printf "%s:%d: country code `%s' is out of order\n", \
- zone_table, zone_NR, cc >>"/dev/stderr"
- status = 1
- }
- cc0 = cc
- cctz = cc tz
- cctztab[cctz] = 1
- tztab[tz] = 1
- tz2comments[cctz] = comments
- tz2NR[tz] = zone_NR
- if (cc2name[cc]) {
- cc_used[cc]++
- } else {
- 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 (cctz in cctztab) {
- cc = substr (cctz, 1, 2)
- tz = substr (cctz, 3)
- if (cc_used[cc] == 1) {
- if (tz2comments[cctz]) {
- printf "%s:%d: unnecessary comment `%s'\n", \
- zone_table, tz2NR[tz], \
- tz2comments[cctz] \
- >>"/dev/stderr"
- status = 1
- }
- } else {
- if (!tz2comments[cctz]) {
- printf "%s:%d: missing comment\n", \
- zone_table, tz2NR[tz] >>"/dev/stderr"
- status = 1
- }
- }
- }
-
- FS = " "
-}
-
-$1 ~ /^#/ { next }
-
-{
- tz = rules = ""
- if ($1 == "Zone") {
- tz = $2
- ruleUsed[$4] = 1
- } else if ($1 == "Link") {
- # 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
- } else {
- ruleUsed[$2] = 1
- }
- if (tz && tz ~ /\//) {
- if (!tztab[tz]) {
- 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 tz2cc) {
- if (!zoneSeen[tz]) {
- 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
-}