1 # SPDX-License-Identifier: GPL-3.0-or-later
 
   3 # This file is part of Nominatim. (https://nominatim.org)
 
   5 # Copyright (C) 2024 by the Nominatim developer community.
 
   6 # For a full list of authors see the git log.
 
   8 Functions for formatting postcodes according to their country-specific
 
  11 from typing import Any, Mapping, Optional, Set, Match
 
  14 from ..errors import UsageError
 
  15 from . import country_info
 
  18 class CountryPostcodeMatcher:
 
  19     """ Matches and formats a postcode according to a format definition
 
  22     def __init__(self, country_code: str, config: Mapping[str, Any]) -> None:
 
  23         if 'pattern' not in config:
 
  24             raise UsageError("Field 'pattern' required for 'postcode' "
 
  25                              f"for country '{country_code}'")
 
  27         pc_pattern = config['pattern'].replace('d', '[0-9]').replace('l', '[A-Z]')
 
  29         self.norm_pattern = re.compile(f'\\s*(?:{country_code.upper()}[ -]?)?({pc_pattern})\\s*')
 
  30         self.pattern = re.compile(pc_pattern)
 
  32         self.output = config.get('output', r'\g<0>')
 
  34     def match(self, postcode: str) -> Optional[Match[str]]:
 
  35         """ Match the given postcode against the postcode pattern for this
 
  36             matcher. Returns a `re.Match` object if the match was successful
 
  39         # Upper-case, strip spaces and leading country code.
 
  40         normalized = self.norm_pattern.fullmatch(postcode.upper())
 
  43             return self.pattern.fullmatch(normalized.group(1))
 
  47     def normalize(self, match: Match[str]) -> str:
 
  48         """ Return the default format of the postcode for the given match.
 
  49             `match` must be a `re.Match` object previously returned by
 
  52         return match.expand(self.output)
 
  55 class PostcodeFormatter:
 
  56     """ Container for different postcode formats of the world and
 
  59     def __init__(self) -> None:
 
  60         # Objects without a country code can't have a postcode per definition.
 
  61         self.country_without_postcode: Set[Optional[str]] = {None}
 
  62         self.country_matcher = {}
 
  63         self.default_matcher = CountryPostcodeMatcher('', {'pattern': '.*'})
 
  65         for ccode, prop in country_info.iterate('postcode'):
 
  67                 self.country_without_postcode.add(ccode)
 
  68             elif isinstance(prop, dict):
 
  69                 self.country_matcher[ccode] = CountryPostcodeMatcher(ccode, prop)
 
  71                 raise UsageError(f"Invalid entry 'postcode' for country '{ccode}'")
 
  73     def set_default_pattern(self, pattern: str) -> None:
 
  74         """ Set the postcode match pattern to use, when a country does not
 
  75             have a specific pattern.
 
  77         self.default_matcher = CountryPostcodeMatcher('', {'pattern': pattern})
 
  79     def get_matcher(self, country_code: Optional[str]) -> Optional[CountryPostcodeMatcher]:
 
  80         """ Return the CountryPostcodeMatcher for the given country.
 
  81             Returns None if the country doesn't have a postcode and the
 
  82             default matcher if there is no specific matcher configured for
 
  85         if country_code in self.country_without_postcode:
 
  88         assert country_code is not None
 
  90         return self.country_matcher.get(country_code, self.default_matcher)
 
  92     def match(self, country_code: Optional[str], postcode: str) -> Optional[Match[str]]:
 
  93         """ Match the given postcode against the postcode pattern for this
 
  94             matcher. Returns a `re.Match` object if the country has a pattern
 
  95             and the match was successful or None if the match failed.
 
  97         if country_code in self.country_without_postcode:
 
 100         assert country_code is not None
 
 102         return self.country_matcher.get(country_code, self.default_matcher).match(postcode)
 
 104     def normalize(self, country_code: str, match: Match[str]) -> str:
 
 105         """ Return the default format of the postcode for the given match.
 
 106             `match` must be a `re.Match` object previously returned by
 
 109         return self.country_matcher.get(country_code, self.default_matcher).normalize(match)