6 ## mktables -- create the runtime Perl Unicode files (lib/unicore/**/*.pl)
7 ## from the Unicode database files (lib/unicore/*.txt).
17 my $MakeTestScript = 0;
21 my $arg = shift @ARGV;
24 } elsif ($arg eq '-q') {
26 } elsif ($arg eq '-maketest') {
29 die "usage: $0 [-v|-q] [-maketest]";
33 my $LastUnicodeCodepoint = 0x10FFFF; # As of Unicode 3.1.1.
36 # !!!!!!! DO NOT EDIT THIS FILE !!!!!!!
37 # This file is built by $0 from e.g. UnicodeData.txt.
38 # Any changes made here will be lost!
44 ## Given a filename and a reference to an array of lines,
45 ## write the lines to the file only if the contents have not changed.
47 sub WriteIfChanged($\@)
52 my $TextToWrite = join '', @$lines;
55 my $PreviousText = <IN>;
57 if ($PreviousText eq $TextToWrite) {
58 print "$file unchanged.\n" if $Verbose;
62 if (not open OUT, ">$file") {
63 die "$0: can't open $file for output: $!\n";
65 print "$file written.\n" if $Verbose;
67 print OUT $TextToWrite;
72 ## The main datastructure (a "Table") represents a set of code points that
73 ## are part of a particular quality (that are part of \pL, \p{InGreek},
74 ## etc.). They are kept as ranges of code points (starting and ending of
77 ## For example, a range ASCII LETTERS would be represented as:
78 ## [ [ 0x41 => 0x5A, 'UPPER' ],
79 ## [ 0x61 => 0x7A, 'LOWER, ] ]
81 sub RANGE_START() { 0 } ## index into range element
82 sub RANGE_END() { 1 } ## index into range element
83 sub RANGE_NAME() { 2 } ## index into range element
85 ## Conceptually, these should really be folded into the 'Table' objects
93 ## Turn something like
102 $name =~ s/(?<![a-z])(\w)/\u$1/g;
103 $name =~ s/[-_\s]+//g;
105 $CanonicalToOrig{$name} = $orig if not $CanonicalToOrig{$name};
110 ## Associates a property ("Greek", "Lu", "Assigned",...) with a Table.
113 ## New_Prop(In => 'Greek', $Table, Desc => 'Greek Block', Fuzzy => 1);
115 ## Normally, these parameters are set when the Table is created (when the
116 ## Table->New constructor is called), but there are times when it needs to
117 ## be done after-the-fact...)
121 my $Type = shift; ## "Is" or "In";
125 ## remaining args are optional key/val
128 my $Fuzzy = delete $Args{Fuzzy};
129 my $Desc = delete $Args{Desc}; # description
131 $Name = CanonicalName($Name) if $Fuzzy;
133 ## sanity check a few args
134 if (%Args or ($Type ne 'Is' and $Type ne 'In') or not ref $Table) {
135 confess "$0: bad args to New_Prop"
138 if (not $TableInfo{$Type}->{$Name})
140 $TableInfo{$Type}->{$Name} = $Table;
141 $TableDesc{$Type}->{$Name} = $Desc;
143 $FuzzyNames{$Type}->{$Name} = $Name;
150 ## Creates a new Table object.
152 ## Args are key/value pairs:
153 ## In => Name -- Name of "In" property to be associated with
154 ## Is => Name -- Name of "Is" property to be associated with
155 ## Fuzzy => Boolean -- True if name can be accessed "fuzzily"
156 ## Desc => String -- Description of the property
158 ## No args are required.
165 my $Table = bless [], $class;
167 my $Fuzzy = delete $Args{Fuzzy};
168 my $Desc = delete $Args{Desc};
170 for my $Type ('Is', 'In')
172 if (my $Name = delete $Args{$Type}) {
173 New_Prop($Type => $Name, $Table, Desc => $Desc, Fuzzy => $Fuzzy);
177 ## shouldn't have any left over
179 confess "$0: bad args to Table->New"
186 ## Returns true if the Table has no code points
190 my $Table = shift; #self
195 ## Returns true if the Table has code points
199 my $Table = shift; #self
204 ## Returns the maximum code point currently in the table.
208 my $Table = shift; #self
209 confess "oops" if $Table->IsEmpty; ## must have code points to have a max
210 return $Table->[-1]->[RANGE_END];
214 ## Replaces the codepoints in the Table with those in the Table given
215 ## as an arg. (NOTE: this is not a "deep copy").
217 sub Table::Replace($$)
219 my $Table = shift; #self
226 ## Given a new code point, make the last range of the Table extend to
227 ## include the new (and all intervening) code points.
231 my $Table = shift; #self
232 my $codepoint = shift;
234 my $PrevMax = $Table->Max;
236 confess "oops ($codepoint <= $PrevMax)" if $codepoint <= $PrevMax;
238 $Table->[-1]->[RANGE_END] = $codepoint;
242 ## Given a code point range start and end (and optional name), blindly
243 ## append them to the list of ranges for the Table.
245 ## NOTE: Code points must be added in strictly ascending numeric order.
247 sub Table::RawAppendRange
249 my $Table = shift; #self
253 $name = "" if not defined $name; ## warning: $name can be "0"
255 push @$Table, [ $start, # RANGE_START
257 $name ]; # RANGE_NAME
261 ## Given a code point (and optional name), add it to the Table.
263 ## NOTE: Code points must be added in strictly ascending numeric order.
267 my $Table = shift; #self
268 my $codepoint = shift;
270 $name = "" if not defined $name; ## warning: $name can be "0"
273 ## If we've already got a range working, and this code point is the next
274 ## one in line, and if the name is the same, just extend the current range.
278 $Table->Max == $codepoint - 1
280 $Table->[-1]->[RANGE_NAME] eq $name)
282 $Table->Extend($codepoint);
286 $Table->RawAppendRange($codepoint, $codepoint, $name);
291 ## Given a code point range starting value and ending value (and name),
292 ## Add the range to teh Table.
294 ## NOTE: Code points must be added in strictly ascending numeric order.
296 sub Table::AppendRange
298 my $Table = shift; #self
302 $name = "" if not defined $name; ## warning: $name can be "0"
304 $Table->Append($start, $name);
305 $Table->Extend($end) if $end > $start;
309 ## Return a new Table that represents all code points not in the Table.
313 my $Table = shift; #self
315 my $New = Table->New();
317 for my $range (@$Table)
319 my $start = $range->[RANGE_START];
320 my $end = $range->[RANGE_END];
321 if ($start-1 >= $max+1) {
322 $New->AppendRange($max+1, $start-1, "");
326 if ($max+1 < $LastUnicodeCodepoint) {
327 $New->AppendRange($max+1, $LastUnicodeCodepoint);
333 ## Merges any number of other tables with $self, returning the new table.
334 ## (existing tables are not modified)
337 ## Args may be Tables, or individual code points (as integers).
339 ## Can be called as either a constructor or a method.
343 shift(@_) if not ref $_[0]; ## if called as a constructor, lose the class
346 ## Accumulate all records from all tables
348 for my $Arg (@Tables)
351 ## arg is a table -- get its ranges
352 push @Records, @$Arg;
354 ## arg is a codepoint, make a range
355 push @Records, [ $Arg, $Arg ]
359 ## sort by range start, with longer ranges coming first.
360 my ($first, @Rest) = sort {
361 ($a->[RANGE_START] <=> $b->[RANGE_START])
363 ($b->[RANGE_END] <=> $b->[RANGE_END])
366 my $New = Table->New();
368 ## Ensuring the first range is there makes the subsequent loop easier
369 $New->AppendRange($first->[RANGE_START],
370 $first->[RANGE_END]);
372 ## Fold in records so long as they add new information.
375 my $start = $set->[RANGE_START];
376 my $end = $set->[RANGE_END];
377 if ($start > $New->Max) {
378 $New->AppendRange($start, $end);
379 } elsif ($end > $New->Max) {
388 ## Given a filename, write a representation of the Table to a file.
389 ## May have an optional comment as a 2nd arg.
393 my $Table = shift; #self
394 my $filename = shift;
398 if (defined $comment) {
399 $comment =~ s/\s+\Z//;
400 $comment =~ s/^/# /gm;
401 push @OUT, "#\n$comment\n#\n";
403 push @OUT, "return <<'END';\n";
405 for my $set (@$Table)
407 my $start = $set->[RANGE_START];
408 my $end = $set->[RANGE_END];
409 my $name = $set->[RANGE_NAME];
411 if ($start == $end) {
412 push @OUT, sprintf "%04X\t\t%s\n", $start, $name;
414 push @OUT, sprintf "%04X\t%04X\t%s\n", $start, $end, $name;
420 WriteIfChanged($filename, @OUT);
423 ## This used only for making the test script.
428 return 0 if $code <= 0x0000; ## don't use null
429 return 0 if $code >= $LastUnicodeCodepoint; ## keep in range
430 return 0 if ($code >= 0xD800 and $code <= 0xDFFF); ## no surrogates
431 return 0 if ($code >= 0xFDD0 and $code <= 0xFDEF); ## utf8.c says no good
432 return 0 if (($code & 0xFFFF) == 0xFFFE); ## utf8.c says no good
433 return 0 if (($code & 0xFFFF) == 0xFFFF); ## utf8.c says no good
437 ## Return a code point that's part of the table.
438 ## Returns nothing if the table is empty (or covers only surrogates).
439 ## This used only for making the test script.
442 my $Table = shift; #self
443 for my $set (@$Table) {
444 return $set->[RANGE_END] if IsUsable($set->[RANGE_END]);
449 ## Return a code point that's not part of the table
450 ## Returns nothing if the table covers all code points.
451 ## This used only for making the test script.
452 sub Table::InvalidCode
454 my $Table = shift; #self
456 return 0x1234 if $Table->IsEmpty();
458 for my $set (@$Table)
460 if (IsUsable($set->[RANGE_END] + 1))
462 return $set->[RANGE_END] + 1;
465 if (IsUsable($set->[RANGE_START] - 1))
467 return $set->[RANGE_START] - 1;
473 ###########################################################################
474 ###########################################################################
475 ###########################################################################
480 ## New_Alias(Is => 'All', SameAs => 'Any', Fuzzy => 1);
482 ## The args must be in that order, although the Fuzzy pair may be omitted.
484 ## This creates 'IsAll' as an alias for 'IsAny'
488 my $Type = shift; ## "Is" or "In"
490 my $SameAs = shift; # expecting "SameAs" -- just ignored
493 ## remaining args are optional key/val
496 my $Fuzzy = delete $Args{Fuzzy};
498 ## sanity check a few args
499 if (%Args or ($Type ne 'Is' and $Type ne 'In') or $SameAs ne 'SameAs') {
500 confess "$0: bad args to New_Alias"
503 $Alias = CanonicalName($Alias) if $Fuzzy;
505 if (not $TableInfo{$Type}->{$Name})
507 my $CName = CanonicalName($Name);
508 if ($TableInfo{$Type}->{$CName}) {
509 confess "$0: Use canonical form '$CName' instead of '$Name' for alias.";
511 confess "$0: don't have orignial $Type => $Name to make alias";
514 if ($TableInfo{$Alias}) {
515 confess "$0: already have original $Type => $Alias; can't make alias";
517 $AliasInfo{$Type}->{$Name} = $Alias;
519 $FuzzyNames{$Type}->{$Alias} = $Name;
525 ## All assigned code points
526 my $Assigned = Table->New(Is => 'Assigned',
527 Desc => "All assigned code points",
530 my $Name = Table->New(); ## all characters, individually by name
531 my $General = Table->New(); ## all characters, grouped by category
536 ## Process UnicodeData.txt (Categories, etc.)
540 my $Bidi = Table->New();
541 my $Deco = Table->New();
542 my $Comb = Table->New();
543 my $Number = Table->New();
544 my $Mirrored = Table->New(Is => 'Mirrored',
545 Desc => "Mirrored in bidirectional text",
551 $Deco{Canon} = Table->New(Is => 'Canon',
552 Desc => 'Decomposes to multiple characters',
554 $Deco{Compat} = Table->New(Is => 'Compat',
555 Desc => 'Compatible with a more-basic character',
558 ## Initialize Perl-generated categories
559 ## (Categories from UnicodeData.txt are auto-initialized in gencat)
560 $Cat{Alnum} = Table->New(Is => 'Alnum', Desc => "[[:Alnum:]]", Fuzzy => 0);
561 $Cat{Alpha} = Table->New(Is => 'Alpha', Desc => "[[:Alpha:]]", Fuzzy => 0);
562 $Cat{ASCII} = Table->New(Is => 'ASCII', Desc => "[[:ASCII:]]", Fuzzy => 0);
563 $Cat{Blank} = Table->New(Is => 'Blank', Desc => "[[:Blank:]]", Fuzzy => 0);
564 $Cat{Cntrl} = Table->New(Is => 'Cntrl', Desc => "[[:Cntrl:]]", Fuzzy => 0);
565 $Cat{Digit} = Table->New(Is => 'Digit', Desc => "[[:Digit:]]", Fuzzy => 0);
566 $Cat{Graph} = Table->New(Is => 'Graph', Desc => "[[:Graph:]]", Fuzzy => 0);
567 $Cat{Lower} = Table->New(Is => 'Lower', Desc => "[[:Lower:]]", Fuzzy => 0);
568 $Cat{Print} = Table->New(Is => 'Print', Desc => "[[:Print:]]", Fuzzy => 0);
569 $Cat{Punct} = Table->New(Is => 'Punct', Desc => "[[:Punct:]]", Fuzzy => 0);
570 $Cat{Space} = Table->New(Is => 'Space', Desc => "[[:Space:]]", Fuzzy => 0);
571 $Cat{Title} = Table->New(Is => 'Title', Desc => "[[:Title:]]", Fuzzy => 0);
572 $Cat{Upper} = Table->New(Is => 'Upper', Desc => "[[:Upper:]]", Fuzzy => 0);
573 $Cat{XDigit} = Table->New(Is => 'XDigit', Desc => "[[:XDigit:]]", Fuzzy => 0);
574 $Cat{Word} = Table->New(Is => 'Word', Desc => "[[:Word:]]", Fuzzy => 0);
575 $Cat{SpacePerl} = Table->New(Is => 'SpacePerl', Desc => '\s', Fuzzy => 0);
578 $To{Upper} = Table->New();
579 $To{Lower} = Table->New();
580 $To{Title} = Table->New();
581 $To{Digit} = Table->New();
585 my ($name, ## Name ("LATIN CAPITAL LETTER A")
586 $cat, ## Category ("Lu", "Zp", "Nd", etc.)
587 $code, ## Code point (as an integer)
590 my $MajorCat = substr($cat, 0, 1); ## L, M, Z, S, etc
592 $Assigned->$op($code);
593 $Name->$op($code, $name);
594 $General->$op($code, $cat);
596 ## add to the sub category (e.g. "Lu", "Nd", "Cf", ..)
597 $Cat{$cat} ||= Table->New(Is => $cat,
598 Desc => "General Category '$cat'",
600 $Cat{$cat}->$op($code);
602 ## add to the major category (e.g. "L", "N", "C", ...)
603 $Cat{$MajorCat} ||= Table->New(Is => $MajorCat,
604 Desc => "Major Category '$MajorCat'",
606 $Cat{$MajorCat}->$op($code);
608 ($General{$name} ||= Table->New)->$op($code, $name);
610 # 005F: SPACING UNDERSCORE
611 $Cat{Word}->$op($code) if $cat =~ /^[LMN]/ || $code == 0x005F;
612 $Cat{Alnum}->$op($code) if $cat =~ /^[LMN]/;
613 $Cat{Alpha}->$op($code) if $cat =~ /^[LM]/;
617 $Cat{Space}->$op($code) if $cat =~ /^Z/
618 || $code == 0x0009 # 0009: HORIZONTAL TAB
619 || $code == 0x000A # 000A: LINE FEED
620 || $code == 0x000B # 000B: VERTICAL TAB
621 || $code == 0x000C # 000C: FORM FEED
622 || $code == 0x000D; # 000D: CARRIAGE RETURN
625 $Cat{SpacePerl}->$op($code) if $cat =~ /^Z/
626 || $code == 0x0009 # 0009: HORIZONTAL TAB
627 || $code == 0x000A # 000A: LINE FEED
628 || $code == 0x000C # 000C: FORM FEED
629 || $code == 0x000D # 000D: CARRIAGE RETURN
630 || $code == 0x0085 # 0085: <NEXT LINE>
631 || $code == 0x2028 # 2028: LINE SEPARATOR
632 || $code == 0x2029;# 2029: PARAGRAPH SEP.
634 $Cat{Blank}->$op($code) if $cat =~ /^Z[^lp]$/
635 || $code == 0x0009 # 0009: HORIZONTAL TAB
636 || $code == 0x0020; # 0020: SPACE
638 $Cat{Digit}->$op($code) if $cat eq "Nd";
639 $Cat{Upper}->$op($code) if $cat eq "Lu";
640 $Cat{Lower}->$op($code) if $cat eq "Ll";
641 $Cat{Title}->$op($code) if $cat eq "Lt";
642 $Cat{ASCII}->$op($code) if $code <= 0x007F;
643 $Cat{Cntrl}->$op($code) if $cat =~ /^C/;
644 $Cat{Graph}->$op($code) if $cat =~ /^([LMNPS]|Co)/;
645 $Cat{Print}->$op($code) if $cat =~ /^([LMNPS]|Co|Zs)/;
646 $Cat{Punct}->$op($code) if $cat =~ /^P/;
648 $Cat{XDigit}->$op($code) if ($code >= 0x30 && $code <= 0x39) ## 0..9
649 || ($code >= 0x41 && $code <= 0x46) ## A..F
650 || ($code >= 0x61 && $code <= 0x66); ## a..f
653 ## open ane read file.....
654 if (not open IN, "UnicodeData.txt") {
655 die "$0: UnicodeData.txt: $!\n";
659 ## For building \p{_CombAbove} and \p{_CanonDCIJ}
661 my %_Above_HexCodes; ## Hexcodes for chars with $comb == 230 ("ABOVE")
663 my %CodeToDeco; ## Maps code to decomp. list for chars with first
664 ## decomp. char an "i" or "j" (for \p{_CanonDCIJ})
666 ## This is filled in as we go....
667 my $CombAbove = Table->New(Is => '_CombAbove',
668 Desc => '(for internal casefolding use)',
673 next unless /^[0-9A-Fa-f]+;/;
676 my ($hexcode, ## code point in hex (e.g. "0041")
677 $name, ## character name (e.g. "LATIN CAPITAL LETTER A")
678 $cat, ## category (e.g. "Lu")
679 $comb, ## Canonical combining class (e.t. "230")
680 $bidi, ## directional category (e.g. "L")
681 $deco, ## decomposition mapping
682 $decimal, ## decimal digit value
683 $digit, ## digit value
684 $number, ## numeric value
685 $mirrored, ## mirrored
686 $unicode10, ## name in Unicode 1.0
687 $comment, ## comment field
688 $upper, ## uppercase mapping
689 $lower, ## lowercase mapping
690 $title, ## titlecase mapping
691 ) = split(/\s*;\s*/);
693 my $code = hex($hexcode);
695 if ($comb and $comb == 230) {
696 $CombAbove->Append($code);
697 $_Above_HexCodes{$hexcode} = 1;
700 ## Used in building \p{_CanonDCIJ}
701 if ($deco and $deco =~ m/^006[9A]\b/) {
702 $CodeToDeco{$code} = $deco;
706 ## There are a few pairs of lines like:
707 ## AC00;<Hangul Syllable, First>;Lo;0;L;;;;;N;;;;;
708 ## D7A3;<Hangul Syllable, Last>;Lo;0;L;;;;;N;;;;;
709 ## that define ranges.
711 if ($name =~ /^<(.+), (First|Last)>$/)
714 gencat($name, $cat, $code, $2 eq 'First' ? 'Append' : 'Extend');
715 #New_Prop(In => $name, $General{$name}, Fuzzy => 1);
719 ## normal (single-character) lines
720 gencat($name, $cat, $code, 'Append');
722 # No Append() here since since several codes may map into one.
723 $To{Upper}->RawAppendRange($code, $code, $upper) if $upper;
724 $To{Lower}->RawAppendRange($code, $code, $lower) if $lower;
725 $To{Title}->RawAppendRange($code, $code, $title) if $title;
726 $To{Digit}->Append($code, $decimal) if length $decimal;
728 $Bidi->Append($code, $bidi);
729 $Comb->Append($code, $comb) if $comb;
730 $Number->Append($code, $number) if length $number;
732 $Mirrored->Append($code) if $mirrored eq "Y";
734 $Bidi{$bidi} ||= Table->New(Is => "Bidi$bidi",
735 Desc => "Bi-directional category '$bidi'",
737 $Bidi{$bidi}->Append($code);
741 $Deco->Append($code, $deco);
742 if ($deco =~/^<(\w+)>/)
744 $Deco{Compat}->Append($code);
746 $DC{$1} ||= Table->New(Is => "DC$1",
747 Desc => "Compatible with '$1'",
749 $DC{$1}->Append($code);
753 $Deco{Canon}->Append($code);
761 ## Tidy up a few special cases....
764 $Cat{Cn} = $Assigned->Invert; ## Cn is everything that doesn't exist
767 Desc => "General Category 'Cn' [not functional in Perl]",
770 ## Unassigned is the same as 'Cn'
771 New_Alias(Is => 'Unassigned', SameAs => 'Cn', Fuzzy => 0);
773 $Cat{C}->Replace($Cat{C}->Merge($Cat{Cn})); ## Now merge in Cn into C
776 # L& is Ll, Lu, and Lt.
778 Table->Merge(@Cat{qw[Ll Lu Lt]}),
779 Desc => '[\p{Ll}\p{Lu}\p{Lt}]',
782 ## Any and All are all code points.
783 my $Any = Table->New(Is => 'Any',
784 Desc => sprintf("[\\x{0000}-\\x{%X}]",
785 $LastUnicodeCodepoint),
787 $Any->RawAppendRange(0, $LastUnicodeCodepoint);
789 New_Alias(Is => 'All', SameAs => 'Any', Fuzzy => 0);
792 ## Build special properties for Perl's internal case-folding needs:
793 ## \p{_CaseIgnorable}
796 ## _CombAbove was built above. Others are built here....
799 ## \p{_CaseIgnorable} is [\p{Mn}\0x00AD\x2010]
800 New_Prop(Is => '_CaseIgnorable',
801 Table->Merge($Cat{Mn},
804 Desc => '(for internal casefolding use)',
808 ## \p{_CanonDCIJ} is fairly complex...
809 my $CanonCDIJ = Table->New(Is => '_CanonDCIJ',
810 Desc => '(for internal casefolding use)',
812 ## It contains the ASCII 'i' and 'j'....
813 $CanonCDIJ->Append(0x0069); # ASCII ord("i")
814 $CanonCDIJ->Append(0x006A); # ASCII ord("j")
815 ## ...and any character with a decomposition that starts with either of
816 ## those code points, but only if the decomposition does not have any
817 ## combining character with the "ABOVE" canonical combining class.
818 for my $code (sort { $a <=> $b} keys %CodeToDeco)
820 ## Need to ensure that all decomposition characters do not have
821 ## a %HexCodeToComb in %AboveCombClasses.
823 for my $deco_hexcode (split / /, $CodeToDeco{$code})
825 if (exists $_Above_HexCodes{$deco_hexcode}) {
826 ## one of the decmposition chars has an ABOVE combination
827 ## class, so we're not interested in this one
833 $CanonCDIJ->Append($code);
840 ## Now dump the files.
842 $Name->Write("Name.pl");
843 $Bidi->Write("Bidirectional.pl");
844 $Comb->Write("CombiningClass.pl");
845 $Deco->Write("Decomposition.pl");
846 $Number->Write("Number.pl");
847 $General->Write("Category.pl");
849 for my $to (sort keys %To) {
850 $To{$to}->Write("To/$to.pl");
855 ## Process LineBreak.txt
859 if (not open IN, "LineBreak.txt") {
860 die "$0: LineBreak.txt: $!\n";
863 my $Lbrk = Table->New();
868 next unless /^([0-9A-Fa-f]+)(?:\.\.([0-9A-Fa-f]+))?\s*;\s*(\w+)/;
870 my ($first, $last, $lbrk) = (hex($1), hex($2||""), $3);
872 $Lbrk->Append($first, $lbrk);
874 $Lbrk{$lbrk} ||= Table->New(Is => "Lbrk$lbrk",
875 Desc => "Linebreak category '$lbrk'",
877 $Lbrk{$lbrk}->Append($first);
880 $Lbrk->Extend($last);
881 $Lbrk{$lbrk}->Extend($last);
886 $Lbrk->Write("Lbrk.pl");
890 ## Process ArabicShaping.txt.
892 sub ArabicShaping_txt()
894 if (not open IN, "ArabicShaping.txt") {
895 die "$0: ArabicShaping.txt: $!\n";
898 my $ArabLink = Table->New();
899 my $ArabLinkGroup = Table->New();
903 next unless /^[0-9A-Fa-f]+;/;
906 my ($hexcode, $name, $link, $linkgroup) = split(/\s*;\s*/);
907 my $code = hex($hexcode);
908 $ArabLink->Append($code, $link);
909 $ArabLinkGroup->Append($code, $linkgroup);
913 $ArabLink->Write("ArabLink.pl");
914 $ArabLinkGroup->Write("ArabLnkGrp.pl");
922 if (not open IN, "Jamo.txt") {
923 die "$0: Jamo.txt: $!\n";
925 my $Short = Table->New();
929 next unless /^([0-9A-Fa-f]+)\s*;\s*(\w*)/;
930 my ($code, $short) = (hex($1), $2);
932 $Short->Append($code, $short);
935 $Short->Write("JamoShort.pl");
939 ## Process Scripts.txt.
945 if (not open(IN, "Scripts.txt")) {
946 die "$0: Scripts.txt: $!\n";
949 next unless /^([0-9A-Fa-f]+)(?:\.\.([0-9A-Fa-f]+))?\s*;\s*(.+?)\s*\#/;
951 # Wait until all the scripts have been read since
952 # they are not listed in numeric order.
953 push @ScriptInfo, [ hex($1), hex($2||""), $3 ];
957 # Now append the scripts properties in their code point order.
960 my $Scripts = Table->New();
962 for my $script (sort { $a->[0] <=> $b->[0] } @ScriptInfo)
964 my ($first, $last, $name) = @$script;
965 $Scripts->Append($first, $name);
967 $Script{$name} ||= Table->New(Is => $name,
968 Desc => "Script '$name'",
970 $Script{$name}->Append($first, $name);
973 $Scripts->Extend($last);
974 $Script{$name}->Extend($last);
978 $Scripts->Write("Scripts.pl");
980 ## Common is everything not explicitly assigned to a Script
982 ## ***shouldn't this be intersected with \p{Assigned}? ******
984 New_Prop(Is => 'Common',
986 Desc => 'Pseudo-Script of codepoints not in other Unicode scripts',
991 ## Given a name like "Close Punctuation", return a regex (that when applied
992 ## with /i) matches any valid form of that name (e.g. "ClosePunctuation",
993 ## "Close-Punctuation", etc.)
995 ## Accept any space, dash, or underbar where in the official name there is
996 ## space or a dash (or underbar, but there never is).
1002 $Name =~ s/[- _]/(?:[-_]|\\s+)?/g;
1007 ## Process Blocks.txt.
1011 my $Blocks = Table->New();
1014 if (not open IN, "Blocks.txt") {
1015 die "$0: Blocks.txt: $!\n";
1020 #next if not /Private Use$/;
1021 next if not /^([0-9A-Fa-f]+)\.\.([0-9A-Fa-f]+)\s*;\s*(.+?)\s*$/;
1023 my ($first, $last, $name) = (hex($1), hex($2), $3);
1025 $Blocks->Append($first, $name);
1027 $Blocks{$name} ||= Table->New(In => $name,
1028 Desc => "Block '$name'",
1030 $Blocks{$name}->Append($first, $name);
1032 if ($last and $last != $first) {
1033 $Blocks->Extend($last);
1034 $Blocks{$name}->Extend($last);
1039 $Blocks->Write("Blocks.pl");
1043 ## Read in the PropList.txt. It contains extended properties not
1044 ## listed in the UnicodeData.txt, such as 'Other_Alphabetic':
1045 ## alphabetic but not of the general category L; many modifiers
1046 ## belong to this extended property category: while they are not
1047 ## alphabets, they are alphabetic in nature.
1053 if (not open IN, "PropList.txt") {
1054 die "$0: PropList.txt: $!\n";
1059 next unless /^([0-9A-Fa-f]+)(?:\.\.([0-9A-Fa-f]+))?\s*;\s*(.+?)\s*\#/;
1061 # Wait until all the extended properties have been read since
1062 # they are not listed in numeric order.
1063 push @PropInfo, [ hex($1), hex($2||""), $3 ];
1067 # Now append the extended properties in their code point order.
1068 my $Props = Table->New();
1071 for my $prop (sort { $a->[0] <=> $b->[0] } @PropInfo)
1073 my ($first, $last, $name) = @$prop;
1074 $Props->Append($first, $name);
1076 $Prop{$name} ||= Table->New(Is => $name,
1077 Desc => "Extended property '$name'",
1079 $Prop{$name}->Append($first, $name);
1082 $Props->Extend($last);
1083 $Prop{$name}->Extend($last);
1087 # Alphabetic is L and Other_Alphabetic.
1088 New_Prop(Is => 'Alphabetic',
1089 Table->Merge($Cat{L}, $Prop{Other_Alphabetic}),
1090 Desc => '[\p{L}\p{OtherAlphabetic}]', # use canonical names here
1093 # Lowercase is Ll and Other_Lowercase.
1094 New_Prop(Is => 'Lowercase',
1095 Table->Merge($Cat{Ll}, $Prop{Other_Lowercase}),
1096 Desc => '[\p{Ll}\p{OtherLowercase}]', # use canonical names here
1099 # Uppercase is Lu and Other_Uppercase.
1100 New_Prop(Is => 'Uppercase',
1101 Table->Merge($Cat{Lu}, $Prop{Other_Uppercase}),
1102 Desc => '[\p{Lu}\p{Other_Uppercase}]', # use canonical names here
1105 # Math is Sm and Other_Math.
1106 New_Prop(Is => 'Math',
1107 Table->Merge($Cat{Sm}, $Prop{Other_Math}),
1108 Desc => '[\p{Sm}\p{OtherMath}]', # use canonical names here
1111 # ID_Start is Ll, Lu, Lt, Lm, Lo, and Nl.
1112 New_Prop(Is => 'ID_Start',
1113 Table->Merge(@Cat{qw[Ll Lu Lt Lm Lo Nl]}),
1114 Desc => '[\p{Ll}\p{Lu}\p{Lt}\p{Lm}\p{Lo}\p{Nl}]',
1117 # ID_Continue is ID_Start, Mn, Mc, Nd, and Pc.
1118 New_Prop(Is => 'ID_Continue',
1119 Table->Merge(@Cat{qw[Ll Lu Lt Lm Lo Nl Mn Mc Nd Pc ]}),
1120 Desc => '[\p{ID_Start}\p{Mn}\p{Mc}\p{Nd}\p{Pc}]',
1124 sub Make_GC_Aliases()
1127 ## The mapping from General Category long forms to short forms is
1128 ## currently hardwired here since no simple data file in the UCD
1129 ## seems to do that. Unicode 3.2 will assumedly correct this.
1133 'Uppercase_Letter' => 'Lu',
1134 'Lowercase_Letter' => 'Ll',
1135 'Titlecase_Letter' => 'Lt',
1136 'Modifier_Letter' => 'Lm',
1137 'Other_Letter' => 'Lo',
1140 'Non_Spacing_Mark' => 'Mn',
1141 'Spacing_Mark' => 'Mc',
1142 'Enclosing_Mark' => 'Me',
1145 'Space_Separator' => 'Zs',
1146 'Line_Separator' => 'Zl',
1147 'Paragraph_Separator' => 'Zp',
1150 'Decimal_Number' => 'Nd',
1151 'Letter_Number' => 'Nl',
1152 'Other_Number' => 'No',
1154 'Punctuation' => 'P',
1155 'Connector_Punctuation' => 'Pc',
1156 'Dash_Punctuation' => 'Pd',
1157 'Open_Punctuation' => 'Ps',
1158 'Close_Punctuation' => 'Pe',
1159 'Initial_Punctuation' => 'Pi',
1160 'Final_Punctuation' => 'Pf',
1161 'Other_Punctuation' => 'Po',
1164 'Math_Symbol' => 'Sm',
1165 'Currency_Symbol' => 'Sc',
1166 'Modifier_Symbol' => 'Sk',
1167 'Other_Symbol' => 'So',
1172 'Surrogate' => 'Cs',
1173 'Private Use' => 'Co',
1174 'Unassigned' => 'Cn',
1177 ## make the aliases....
1178 while (my ($Alias, $Name) = each %Is) {
1179 New_Alias(Is => $Alias, SameAs => $Name, Fuzzy => 1);
1185 ## These are used in:
1186 ## MakePropTestScript()
1187 ## WriteAllMappings()
1188 ## for making the test script.
1190 my %FuzzyNameToTest;
1191 my %ExactNameToTest;
1194 ## This used only for making the test script
1199 my $MatchCode = shift;
1200 my $FailCode = shift;
1202 if (defined $MatchCode) {
1203 printf $FH qq/Expect(1, "\\x{%04X}", '\\p{$Prop}' );\n/, $MatchCode;
1204 printf $FH qq/Expect(0, "\\x{%04X}", '\\p{^$Prop}');\n/, $MatchCode;
1205 printf $FH qq/Expect(0, "\\x{%04X}", '\\P{$Prop}' );\n/, $MatchCode;
1206 printf $FH qq/Expect(1, "\\x{%04X}", '\\P{^$Prop}');\n/, $MatchCode;
1208 if (defined $FailCode) {
1209 printf $FH qq/Expect(0, "\\x{%04X}", '\\p{$Prop}' );\n/, $FailCode;
1210 printf $FH qq/Expect(1, "\\x{%04X}", '\\p{^$Prop}');\n/, $FailCode;
1211 printf $FH qq/Expect(1, "\\x{%04X}", '\\P{$Prop}' );\n/, $FailCode;
1212 printf $FH qq/Expect(0, "\\x{%04X}", '\\P{^$Prop}');\n/, $FailCode;
1216 ## This used only for making the test script
1222 print $FH qq/Error('\\p{$prop}');\n/;
1223 print $FH qq/Error('\\P{$prop}');\n/;
1226 ## This used only for making the test script
1242 ## This used only for making the test script
1243 sub RandomlyFuzzifyName($;$)
1246 my $WantError = shift; ## if true, make an error
1249 for my $part (split /[-\s_]+/, $Name)
1252 if ($WantError and rand() < 0.3) {
1253 push @parts, $BadSeps[rand(@BadSeps)];
1256 push @parts, $GoodSeps[rand(@GoodSeps)];
1259 my $switch = int rand(4);
1261 push @parts, uc $part;
1262 } elsif ($switch == 1) {
1263 push @parts, lc $part;
1264 } elsif ($switch == 2) {
1265 push @parts, ucfirst $part;
1270 my $new = join('', @parts);
1273 if (rand() >= 0.5) {
1274 $new .= $BadSeps[rand(@BadSeps)];
1276 $new = $BadSeps[rand(@BadSeps)] . $new;
1282 ## This used only for making the test script
1283 sub MakePropTestScript()
1285 ## this written directly -- it's huge.
1286 if (not open OUT, ">TestProp.pl") {
1287 die "$0: TestProp.pl: $!\n";
1291 while (my ($Name, $Table) = each %ExactNameToTest)
1293 GenTests(*OUT, $Name, $Table->ValidCode, $Table->InvalidCode);
1294 ExpectError(*OUT, uc $Name) if uc $Name ne $Name;
1295 ExpectError(*OUT, lc $Name) if lc $Name ne $Name;
1299 while (my ($Name, $Table) = each %FuzzyNameToTest)
1301 my $Orig = $CanonicalToOrig{$Name};
1305 RandomlyFuzzifyName($Orig) => 1
1308 for my $N (keys %Names) {
1309 GenTests(*OUT, $N, $Table->ValidCode, $Table->InvalidCode);
1312 ExpectError(*OUT, RandomlyFuzzifyName($Orig, 'ERROR'));
1315 print OUT "Finished();\n";
1321 ## These are used only in:
1322 ## RegisterFileForName()
1323 ## WriteAllMappings()
1325 my %Exact; ## will become %utf8::Exact;
1326 my %Canonical; ## will become %utf8::Canonical;
1327 my %CaComment; ## Comment for %Canonical entry of same key
1330 ## Given info about a name and a datafile that it should be associated with,
1331 ## register that assocation in %Exact and %Canonical.
1332 sub RegisterFileForName($$$$)
1336 my $IsFuzzy = shift;
1337 my $filename = shift;
1340 ## Now in details for the mapping. $Type eq 'Is' has the
1341 ## Is removed, as it will be removed in utf8_heavy when this
1342 ## data is being checked. In keeps its "In", but a second
1343 ## sans-In record is written if it doesn't conflict with
1344 ## anything already there.
1348 if ($Type eq 'Is') {
1349 die "oops[$Name]" if $Exact{$Name};
1350 $Exact{$Name} = $filename;
1352 die "oops[$Type$Name]" if $Exact{"$Type$Name"};
1353 $Exact{"$Type$Name"} = $filename;
1354 $Exact{$Name} = $filename if not $Exact{$Name};
1359 my $CName = lc $Name;
1360 if ($Type eq 'Is') {
1361 die "oops[$CName]" if $Canonical{$CName};
1362 $Canonical{$CName} = $filename;
1363 $CaComment{$CName} = $Name if $Name =~ tr/A-Z// >= 2;
1365 die "oops[$Type$CName]" if $Canonical{lc "$Type$CName"};
1366 $Canonical{lc "$Type$CName"} = $filename;
1367 $CaComment{lc "$Type$CName"} = "$Type$Name";
1368 if (not $Canonical{$CName}) {
1369 $Canonical{$CName} = $filename;
1370 $CaComment{$CName} = "$Type$Name";
1377 ## Writes the info accumulated in
1384 sub WriteAllMappings()
1388 my %BaseNames; ## Base names already used (for avoiding 8.3 conflicts)
1390 ## 'Is' *MUST* come first, so its names have precidence over 'In's
1391 for my $Type ('Is', 'In')
1393 my %RawNameToFile; ## a per-$Type cache
1395 for my $Name (sort {length $a <=> length $b} keys %{$TableInfo{$Type}})
1397 ## Note: $Name is already canonical
1398 my $Table = $TableInfo{$Type}->{$Name};
1399 my $IsFuzzy = $FuzzyNames{$Type}->{$Name};
1401 ## Need an 8.3 safe filename (which means "an 8 safe" $filename)
1404 ## 'Is' items lose 'Is' from the basename.
1405 $filename = $Type eq 'Is' ? $Name : "$Type$Name";
1407 $filename =~ s/[^\w_]+/_/g; # "L&" -> "L_"
1408 substr($filename, 8) = '' if length($filename) > 8;
1411 ## Make sure the basename doesn't conflict with something we
1412 ## might have already written. If we have, say,
1419 while (my $num = $BaseNames{lc $filename}++)
1421 $num++; ## so basenames with numbers start with '2', which
1422 ## just looks more natural.
1423 ## Want to append $num, but if it'll make the basename longer
1424 ## than 8 characters, pre-truncate $filename so that the result
1426 my $delta = length($filename) + length($num) - 8;
1428 substr($filename, -$delta) = $num;
1436 ## Construct a nice comment to add to the file, and build data
1437 ## for the "./Properties" file along the way.
1441 my $Desc = $TableDesc{$Type}->{$Name} || "";
1442 ## get list of names this table is reference by
1443 my @Supported = $Name;
1444 while (my ($Orig, $Alias) = each %{ $AliasInfo{$Type} })
1446 if ($Orig eq $Name) {
1447 push @Supported, $Alias;
1451 my $TypeToShow = $Type eq 'Is' ? "" : $Type;
1454 $Comment = "This file supports:\n";
1455 for my $N (@Supported)
1457 my $IsFuzzy = $FuzzyNames{$Type}->{$N};
1458 my $Prop = "\\p{$TypeToShow$Name}";
1459 $OrigProp = $Prop if not $OrigProp; #cache for aliases
1461 $Comment .= "\t$Prop (and fuzzy permutations)\n";
1463 $Comment .= "\t$Prop\n";
1465 my $MyDesc = ($N eq $Name) ? $Desc : "Alias for $OrigProp ($Desc)";
1467 push @MAP, sprintf("%s %-42s %s\n",
1468 $IsFuzzy ? '*' : ' ', $Prop, $MyDesc);
1471 $Comment .= "\nMeaning: $Desc\n";
1476 ## Okay, write the file...
1478 $Table->Write("lib/$filename.pl", $Comment);
1481 $RawNameToFile{$Name} = $filename;
1482 RegisterFileForName($Type => $Name, $IsFuzzy, $filename);
1486 my $CName = CanonicalName($Type . '_'. $Name);
1487 $FuzzyNameToTest{$Name} = $Table if !$FuzzyNameToTest{$Name};
1488 $FuzzyNameToTest{$CName} = $Table if !$FuzzyNameToTest{$CName};
1490 $ExactNameToTest{$Name} = $Table;
1495 ## Register aliase info
1496 for my $Name (sort {length $a <=> length $b} keys %{$AliasInfo{$Type}})
1498 my $Alias = $AliasInfo{$Type}->{$Name};
1499 my $IsFuzzy = $FuzzyNames{$Type}->{$Alias};
1500 my $filename = $RawNameToFile{$Name};
1501 die "oops [$Alias]->[$Name]" if not $filename;
1502 RegisterFileForName($Type => $Alias, $IsFuzzy, $filename);
1504 my $Table = $TableInfo{$Type}->{$Name};
1505 die "oops" if not $Table;
1508 my $CName = CanonicalName($Type .'_'. $Alias);
1509 $FuzzyNameToTest{$Alias} = $Table if !$FuzzyNameToTest{$Alias};
1510 $FuzzyNameToTest{$CName} = $Table if !$FuzzyNameToTest{$CName};
1512 $ExactNameToTest{$Alias} = $Table;
1518 ## Write out the property list
1523 "## This file created by $0\n",
1524 "## List of built-in \\p{...}/\\P{...} properties.\n",
1526 "## '*' means name may be 'fuzzy'\n",
1528 sort { substr($a,2) cmp substr($b, 2) } @MAP,
1530 WriteIfChanged('Properties', @OUT);
1533 use Text::Tabs (); ## using this makes the files about half the size
1540 "## Data in this file used by ../utf8_heavy.pl\n",
1542 "## Mapping from name to filename in ./lib\n",
1543 "%utf8::Exact = (\n",
1546 for my $Name (sort keys %Exact)
1548 my $File = $Exact{$Name};
1549 $Name = $Name =~ m/\W/ ? qq/'$Name'/ : " $Name ";
1550 my $Text = sprintf("%-15s => %s,\n", $Name, qq/'$File'/);
1551 push @OUT, Text::Tabs::unexpand($Text);
1553 push @OUT, ");\n1;\n";
1555 WriteIfChanged('Exact.pl', @OUT);
1558 ## Write Canonical.pl
1563 "## Data in this file used by ../utf8_heavy.pl\n",
1565 "## Mapping from lc(canonical name) to filename in ./lib\n",
1566 "%utf8::Canonical = (\n",
1568 my $Trail = ""; ## used just to keep the spacing pretty
1569 for my $Name (sort keys %Canonical)
1571 my $File = $Canonical{$Name};
1572 if ($CaComment{$Name}) {
1573 push @OUT, "\n" if not $Trail;
1574 push @OUT, " # $CaComment{$Name}\n";
1579 $Name = $Name =~ m/\W/ ? qq/'$Name'/ : " $Name ";
1580 my $Text = sprintf(" %-41s => %s,\n$Trail", $Name, qq/'$File'/);
1581 push @OUT, Text::Tabs::unexpand($Text);
1583 push @OUT, ");\n1\n";
1584 WriteIfChanged('Canonical.pl', @OUT);
1587 MakePropTestScript() if $MakeTestScript;
1591 sub SpecialCasing_txt()
1594 # Read in the special cases.
1599 if (not open IN, "SpecialCasing.txt") {
1600 die "$0: SpecialCasing.txt: $!\n";
1603 next unless /^[0-9A-Fa-f]+;/;
1607 my ($code, $lower, $title, $upper, $condition) = split(/\s*;\s*/);
1609 if ($condition) { # not implemented yet
1610 print "# SKIPPING $_\n" if $Verbose;
1614 # Wait until all the special cases have been read since
1615 # they are not listed in numeric order.
1616 my $ix = hex($code);
1617 push @{$CaseInfo{Lower}}, [ $ix, $code, $lower ];
1618 push @{$CaseInfo{Title}}, [ $ix, $code, $title ];
1619 push @{$CaseInfo{Upper}}, [ $ix, $code, $upper ];
1623 # Now write out the special cases properties in their code point order.
1624 # Prepend them to the To/{Upper,Lower,Title}.pl.
1626 for my $case (qw(Lower Title Upper))
1628 my $NormalCase = do "To/$case.pl" || die "$0: $@\n";
1632 "%utf8::ToSpec$case =\n(\n",
1635 for my $prop (sort { $a->[0] <=> $b->[0] } @{$CaseInfo{$case}}) {
1636 my ($ix, $code, $to) = @$prop;
1638 join "", map { sprintf "\\x{%s}", $_ } split ' ', $to;
1639 push @OUT, sprintf qq['%04X' => "$tostr",\n], $ix;
1643 "return <<'END';\n",
1647 WriteIfChanged("To/$case.pl", @OUT);
1652 # Read in the case foldings.
1654 # We will do full case folding, C + F + I (see CaseFolding.txt).
1656 sub CaseFolding_txt()
1658 if (not open IN, "CaseFolding.txt") {
1659 die "$0: CaseFolding.txt: $!\n";
1662 my $Fold = Table->New();
1666 # Skip status 'S', simple case folding
1667 next unless /^([0-9A-Fa-f]+)\s*;\s*([CFI])\s*;\s*([0-9A-Fa-f]+(?: [0-9A-Fa-f]+)*)\s*;/;
1669 my ($code, $status, $fold) = (hex($1), $2, $3);
1671 if ($status eq 'C') { # Common: one-to-one folding
1672 # No append() since several codes may fold into one.
1673 $Fold->RawAppendRange($code, $code, $fold);
1674 } else { # F: full, or I: dotted uppercase I -> dotless lowercase I
1675 $Fold{$code} = $fold;
1680 $Fold->Write("To/Fold.pl");
1683 # Prepend the special foldings to the common foldings.
1685 my $CommonFold = do "To/Fold.pl" || die "$0: To/Fold.pl: $!\n";
1689 "%utf8::ToSpecFold =\n(\n",
1691 for my $code (sort { $a <=> $b } keys %Fold) {
1693 join "", map { sprintf "\\x{%s}", $_ } split ' ', $Fold{$code};
1694 push @OUT, sprintf qq['%04X' => "$foldstr",\n], $code;
1698 "return <<'END';\n",
1703 WriteIfChanged("To/Fold.pl", @OUT);
1718 ArabicShaping_txt();
1720 SpecialCasing_txt();
1725 ## TRAILING CODE IS USED BY MakePropTestScript()
1738 my $Line = (caller)[2];
1743 $RegObj = qr/$Regex/;
1744 $String =~ $RegObj ? 1 : 0
1747 if (not defined $result) {
1748 print "couldn't compile /$Regex/ on $0 line $Line: $@\n";
1750 } elsif ($result ^ $Expect) {
1751 print "bad result (expected $Expect) on $0 line $Line: $@\n";
1760 if (eval { 'x' =~ qr/$Regex/; 1 }) {
1762 my $Line = (caller)[2];
1763 print "expected error for /$Regex/ on $0 line $Line: $@\n";
1770 print "All $Tests tests passed.\n";
1773 print "$Tests tests, $Fails failed!\n";