Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

A name-based invariant about Lowercase #738

Merged
merged 6 commits into from
Mar 13, 2024
Merged

A name-based invariant about Lowercase #738

Changes from all commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
f04a3ad
An invariant about Lowercase
eggrobin Mar 13, 2024
22b578c
Test the modifier letters too
eggrobin Mar 13, 2024
438ecd0
Use the decompositions
eggrobin Mar 13, 2024
1e1d40e
bad parser
eggrobin Mar 13, 2024
259c90f
that is just wrong.
eggrobin Mar 13, 2024
2846cee
Tippfehler
eggrobin Mar 13, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 10 additions & 0 deletions unicodetools/src/main/resources/org/unicode/text/UCD/UnicodeInvariantTest.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -586,12 +586,22 @@ Let $nonAlphabeticAvagrahas = [\N{TIBETAN MARK PALUTA}] # A punctuation mark.
[\p{InSC=Avagraha} - $nonAlphabeticAvagrahas] ⊆ \p{Alphabetic}

# Name-based checks.
Let $nonLowercaseSmallLetters = [ \p{name=/^LIMBU SMALL LETTER/} \N{TURNED GREEK SMALL LETTER IOTA} \p{name=/^(SQUARED|PARENTHESIZED|TAG) LATIN SMALL LETTER/} ]
Let $nonLowercaseSmallModifierLetters = [ \p{gc=Lm} & \p{name=/^ARABIC SMALL/} ]
[ \p{name=/\bSMALL LETTER\b/}-\p{gc=Mn}-\p{gc=Lt} - $nonLowercaseSmallLetters ] ⊆ \p{Lowercase}
[ [\p{gc=Lm} & \p{name=/SMALL/}] - $nonLowercaseSmallModifierLetters ] ⊆ \p{Lowercase}

# Combining letters are often alphabetic (medievalist abbreviations).
# The others are diacritic (cantillation marks, phonetics).
# See 177-C52.
\p{name=/COMBINING .* LETTER/} ⊆ [\p{Alphabetic}\p{Diacritic}]

## Consistency of Lowercase with decompositions.
# Note that the same is not true of Uppercase.
# A non-lowercase character has non-lowercase characters in its decomposition,
# or its decomposition is <square> (㋍ etc.).
In [\P{Lowercase} - \p{dt=square}], \p{Lowercase} * toNFKD ≠ toNFKD

## Joining_Type and Joining_Group
# Where defined, the Joining_Group refines the Joining_Type.
OnPairsOf \P{Joining_Group=No_Joining_Group}, EqualityOf Joining_Group ⇒ EqualityOf Joining_Type
Expand Down
Loading