Home | History | Annotate | Line # | Download | only in time
checktab.awk revision 1.1.1.2 
      1 # Check tz tables for consistency.
      2 
      3 # @(#)checktab.awk	1.6
      4 
      5 # Contributed by Paul Eggert <eggert (at] twinsun.com>.
      6 
      7 BEGIN {
      8 	FS = "\t"
      9 
     10 	if (!iso_table) iso_table = "iso3166.tab"
     11 	if (!zone_table) zone_table = "zone.tab"
     12 	if (!want_warnings) want_warnings = -1
     13 
     14 	while (getline <iso_table) {
     15 		iso_NR++
     16 		if ($0 ~ /^#/) continue
     17 		if (NF != 2) {
     18 			printf "%s:%d: wrong number of columns\n", \
     19 				iso_table, iso_NR >>"/dev/stderr"
     20 			status = 1
     21 		}
     22 		cc = $1
     23 		name = $2
     24 		if (cc !~ /^[A-Z][A-Z]$/) {
     25 			printf "%s:%d: invalid country code `%s'\n", \
     26 				iso_table, iso_NR, cc >>"/dev/stderr"
     27 			status = 1
     28 		}
     29 		if (cc <= cc0) {
     30 			if (cc == cc0) {
     31 				s = "duplicate";
     32 			} else {
     33 				s = "out of order";
     34 			}
     35 
     36 			printf "%s:%d: country code `%s' is %s\n", \
     37 				iso_table, iso_NR, cc, s \
     38 				>>"/dev/stderr"
     39 			status = 1
     40 		}
     41 		cc0 = cc
     42 		if (name2cc[name]) {
     43 			printf "%s:%d: `%s' and `%s' have the sname name\n", \
     44 				iso_table, iso_NR, name2cc[name], cc \
     45 				>>"/dev/stderr"
     46 			status = 1
     47 		}
     48 		name2cc[name] = cc
     49 		cc2name[cc] = name
     50 		cc2NR[cc] = iso_NR
     51 	}
     52 
     53 	zone_table = "zone.tab"
     54 	cc0 = ""
     55 
     56 	while (getline <zone_table) {
     57 		zone_NR++
     58 		if ($0 ~ /^#/) continue
     59 		if (NF != 3 && NF != 4) {
     60 			printf "%s:%d: wrong number of columns\n", \
     61 				zone_table, zone_NR >>"/dev/stderr"
     62 			status = 1
     63 		}
     64 		cc = $1
     65 		coordinates = $2
     66 		tz = $3
     67 		comments = $4
     68 		if (cc < cc0) {
     69 			printf "%s:%d: country code `%s' is out of order\n", \
     70 				zone_table, zone_NR, cc >>"/dev/stderr"
     71 			status = 1
     72 		}
     73 		cc0 = cc
     74 		if (tz2cc[tz]) {
     75 			printf "%s:%d: %s: duplicate TZ column\n", \
     76 				zone_table, zone_NR, tz >>"/dev/stderr"
     77 			status = 1
     78 		}
     79 		tz2cc[tz] = cc
     80 		tz2comments[tz] = comments
     81 		tz2NR[tz] = zone_NR
     82 		if (cc2name[cc]) {
     83 			cc_used[cc]++
     84 		} else {
     85 			printf "%s:%d: %s: unknown country code\n", \
     86 				zone_table, zone_NR, cc >>"/dev/stderr"
     87 			status = 1
     88 		}
     89 		if (coordinates !~ /^[-+][0-9][0-9][0-5][0-9][-+][01][0-9][0-9][0-5][0-9]$/ \
     90 		    && 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]$/) {
     91 			printf "%s:%d: %s: invalid coordinates\n", \
     92 				zone_table, zone_NR, coordinates >>"/dev/stderr"
     93 			status = 1
     94 		}
     95 	}
     96 
     97 	for (tz in tz2cc) {
     98 		if (cc_used[tz2cc[tz]] == 1) {
     99 			if (tz2comments[tz]) {
    100 				printf "%s:%d: unnecessary comment `%s'\n", \
    101 					zone_table, tz2NR[tz], tz2comments[tz] \
    102 					>>"/dev/stderr"
    103 				status = 1
    104 			}
    105 		} else {
    106 			if (!tz2comments[tz]) {
    107 				printf "%s:%d: missing comment\n", \
    108 					zone_table, tz2NR[tz] >>"/dev/stderr"
    109 				status = 1
    110 			}
    111 		}
    112 	}
    113 
    114 	FS = " "
    115 }
    116 
    117 {
    118 	tz = ""
    119 	if ($1 == "Zone") tz = $2
    120 	if ($1 == "Link") {
    121 		# Ignore Link commands if source and destination basenames
    122 		# are identical, e.g. Europe/Istanbul versus Asia/Istanbul.
    123 		src = $2
    124 		dst = $3
    125 		while ((i = index(src, "/"))) src = substr(src, i+1)
    126 		while ((i = index(dst, "/"))) dst = substr(dst, i+1)
    127 		if (src != dst) tz = $3
    128 	}
    129 	if (tz && tz ~ /\//) {
    130 		if (!tz2cc[tz]) {
    131 			printf "%s: no data for `%s'\n", zone_table, tz \
    132 				>>"/dev/stderr"
    133 			status = 1
    134 		}
    135 		zoneSeen[tz] = 1
    136 	}
    137 }
    138 
    139 END {
    140 	for (tz in tz2cc) {
    141 		if (!zoneSeen[tz]) {
    142 			printf "%s:%d: no Zone table for `%s'\n", \
    143 				zone_table, tz2NR[tz], tz >>"/dev/stderr"
    144 			status = 1
    145 		}
    146 	}
    147 
    148 	if (0 < want_warnings) {
    149 		for (cc in cc2name) {
    150 			if (!cc_used[cc]) {
    151 				printf "%s:%d: warning: " \
    152 					"no Zone entries for %s (%s)\n", \
    153 					iso_table, cc2NR[cc], cc, cc2name[cc]
    154 			}
    155 		}
    156 	}
    157 
    158 	exit status
    159 }
    160