Skip to content

Commit

Permalink
Merge pull request #718 from kbevers/vandstandsbræt
Browse files Browse the repository at this point in the history
Inkludér vandstandsbrætter i identvalidering
  • Loading branch information
kbevers authored Sep 22, 2023
2 parents 184518f + 3a7df84 commit 619af08
Show file tree
Hide file tree
Showing 2 changed files with 17 additions and 0 deletions.
11 changes: 11 additions & 0 deletions fire/ident.py
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,9 @@
KØBSTADSNUMMERMØNSTER = re.compile("^[Kk][ ]*-[0-9]*-[0-9]*$")
"Generaliseret mønster for købstadsnumre"

VANDSTANDSBRÆTMØNSTER = re.compile(r"^([Kk][ ]*|[0-9]*)-[0-9]*-V\.[0-9]*$")
"Generaliseret mønster for vandstandsbræt ident"

GNSSID = re.compile("^[a-zA-Z0-9][a-zA-Z0-9][a-zA-Z0-9][a-zA-Z0-9]$")
"Generaliseret mønster for GNSS-ID'er"

Expand All @@ -38,6 +41,13 @@ def kan_være_købstadsnummer(s: str) -> bool:
"""
return KØBSTADSNUMMERMØNSTER.match(s.strip())

def kan_være_vandstandsbræt(s: str) -> bool:
"""
Returnerer sand, hvis `s` matcher vandstandsbrætsnummermønsteret.
Procedure minder om dén for landnumre.
"""
return VANDSTANDSBRÆTMØNSTER.match(s.strip())

def kan_være_gnssid(s: str) -> bool:
"""
Expand Down Expand Up @@ -65,6 +75,7 @@ def kan_være_ident(s: str) -> bool:
return (
kan_være_landsnummer(s)
or kan_være_købstadsnummer(s)
or kan_være_vandstandsbræt(s)
or kan_være_gnssid(s)
or kan_være_gi_nummer(s)
)
Expand Down
6 changes: 6 additions & 0 deletions test/ident/test_ident_validering.py
Original file line number Diff line number Diff line change
Expand Up @@ -88,6 +88,12 @@ def test_kan_være_ident():
"K -01-06663",
"K -01-06742",
"K -01-09003",
# Vandstandsbræt
"140-03-V.1",
"52-03-V.11",
"K-67-V.9",
"K-75-V.12",
"K-01-V.13",
# GNSS
"SKA1",
"SKAE",
Expand Down

0 comments on commit 619af08

Please sign in to comment.