This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
mktables: Improve message
[perl5.git] / lib / unicore / mktables
1 #!/usr/bin/perl -w
2
3 # !!!!!!!!!!!!!!       IF YOU MODIFY THIS FILE       !!!!!!!!!!!!!!!!!!!!!!!!!
4 # Any files created or read by this program should be listed in 'mktables.lst'
5 # Use -makelist to regenerate it.
6
7 # Needs 'no overloading' to run faster on miniperl.  Code commented out at the
8 # subroutine objaddr can be used instead to work as far back (untested) as
9 # 5.8: needs pack "U".  But almost all occurrences of objaddr have been
10 # removed in favor of using 'no overloading'.  You also would have to go
11 # through and replace occurrences like:
12 #       my $addr = do { no overloading; pack 'J', $self; }
13 # with
14 #       my $addr = main::objaddr $self;
15 # (or reverse commit 9b01bafde4b022706c3d6f947a0963f821b2e50b
16 # that instituted the change to main::objaddr, and subsequent commits that
17 # changed 0+$self to pack 'J', $self.)
18
19 require 5.010_001;
20 use strict;
21 use warnings;
22 use Carp;
23 use File::Find;
24 use File::Path;
25 use File::Spec;
26 use Text::Tabs;
27
28 sub DEBUG () { 0 }  # Set to 0 for production; 1 for development
29
30 ##########################################################################
31 #
32 # mktables -- create the runtime Perl Unicode files (lib/unicore/.../*.pl),
33 # from the Unicode database files (lib/unicore/.../*.txt),  It also generates
34 # a pod file and a .t file
35 #
36 # The structure of this file is:
37 #   First these introductory comments; then
38 #   code needed for everywhere, such as debugging stuff; then
39 #   code to handle input parameters; then
40 #   data structures likely to be of external interest (some of which depend on
41 #       the input parameters, so follows them; then
42 #   more data structures and subroutine and package (class) definitions; then
43 #   the small actual loop to process the input files and finish up; then
44 #   a __DATA__ section, for the .t tests
45 #
46 # This program works on all releases of Unicode through at least 5.2.  The
47 # outputs have been scrutinized most intently for release 5.1.  The others
48 # have been checked for somewhat more than just sanity.  It can handle all
49 # existing Unicode character properties in those releases.
50 #
51 # This program is mostly about Unicode character (or code point) properties.
52 # A property describes some attribute or quality of a code point, like if it
53 # is lowercase or not, its name, what version of Unicode it was first defined
54 # in, or what its uppercase equivalent is.  Unicode deals with these disparate
55 # possibilities by making all properties into mappings from each code point
56 # into some corresponding value.  In the case of it being lowercase or not,
57 # the mapping is either to 'Y' or 'N' (or various synonyms thereof).  Each
58 # property maps each Unicode code point to a single value, called a "property
59 # value".  (Hence each Unicode property is a true mathematical function with
60 # exactly one value per code point.)
61 #
62 # When using a property in a regular expression, what is desired isn't the
63 # mapping of the code point to its property's value, but the reverse (or the
64 # mathematical "inverse relation"): starting with the property value, "Does a
65 # code point map to it?"  These are written in a "compound" form:
66 # \p{property=value}, e.g., \p{category=punctuation}.  This program generates
67 # files containing the lists of code points that map to each such regular
68 # expression property value, one file per list
69 #
70 # There is also a single form shortcut that Perl adds for many of the commonly
71 # used properties.  This happens for all binary properties, plus script,
72 # general_category, and block properties.
73 #
74 # Thus the outputs of this program are files.  There are map files, mostly in
75 # the 'To' directory; and there are list files for use in regular expression
76 # matching, all in subdirectories of the 'lib' directory, with each
77 # subdirectory being named for the property that the lists in it are for.
78 # Bookkeeping, test, and documentation files are also generated.
79
80 my $matches_directory = 'lib';   # Where match (\p{}) files go.
81 my $map_directory = 'To';        # Where map files go.
82
83 # DATA STRUCTURES
84 #
85 # The major data structures of this program are Property, of course, but also
86 # Table.  There are two kinds of tables, very similar to each other.
87 # "Match_Table" is the data structure giving the list of code points that have
88 # a particular property value, mentioned above.  There is also a "Map_Table"
89 # data structure which gives the property's mapping from code point to value.
90 # There are two structures because the match tables need to be combined in
91 # various ways, such as constructing unions, intersections, complements, etc.,
92 # and the map ones don't.  And there would be problems, perhaps subtle, if
93 # a map table were inadvertently operated on in some of those ways.
94 # The use of separate classes with operations defined on one but not the other
95 # prevents accidentally confusing the two.
96 #
97 # At the heart of each table's data structure is a "Range_List", which is just
98 # an ordered list of "Ranges", plus ancillary information, and methods to
99 # operate on them.  A Range is a compact way to store property information.
100 # Each range has a starting code point, an ending code point, and a value that
101 # is meant to apply to all the code points between the two end points,
102 # inclusive.  For a map table, this value is the property value for those
103 # code points.  Two such ranges could be written like this:
104 #   0x41 .. 0x5A, 'Upper',
105 #   0x61 .. 0x7A, 'Lower'
106 #
107 # Each range also has a type used as a convenience to classify the values.
108 # Most ranges in this program will be Type 0, or normal, but there are some
109 # ranges that have a non-zero type.  These are used only in map tables, and
110 # are for mappings that don't fit into the normal scheme of things.  Mappings
111 # that require a hash entry to communicate with utf8.c are one example;
112 # another example is mappings for charnames.pm to use which indicate a name
113 # that is algorithmically determinable from its code point (and vice-versa).
114 # These are used to significantly compact these tables, instead of listing
115 # each one of the tens of thousands individually.
116 #
117 # In a match table, the value of a range is irrelevant (and hence the type as
118 # well, which will always be 0), and arbitrarily set to the null string.
119 # Using the example above, there would be two match tables for those two
120 # entries, one named Upper would contain the 0x41..0x5A range, and the other
121 # named Lower would contain 0x61..0x7A.
122 #
123 # Actually, there are two types of range lists, "Range_Map" is the one
124 # associated with map tables, and "Range_List" with match tables.
125 # Again, this is so that methods can be defined on one and not the other so as
126 # to prevent operating on them in incorrect ways.
127 #
128 # Eventually, most tables are written out to files to be read by utf8_heavy.pl
129 # in the perl core.  All tables could in theory be written, but some are
130 # suppressed because there is no current practical use for them.  It is easy
131 # to change which get written by changing various lists that are near the top
132 # of the actual code in this file.  The table data structures contain enough
133 # ancillary information to allow them to be treated as separate entities for
134 # writing, such as the path to each one's file.  There is a heading in each
135 # map table that gives the format of its entries, and what the map is for all
136 # the code points missing from it.  (This allows tables to be more compact.)
137 #
138 # The Property data structure contains one or more tables.  All properties
139 # contain a map table (except the $perl property which is a
140 # pseudo-property containing only match tables), and any properties that
141 # are usable in regular expression matches also contain various matching
142 # tables, one for each value the property can have.  A binary property can
143 # have two values, True and False (or Y and N, which are preferred by Unicode
144 # terminology).  Thus each of these properties will have a map table that
145 # takes every code point and maps it to Y or N (but having ranges cuts the
146 # number of entries in that table way down), and two match tables, one
147 # which has a list of all the code points that map to Y, and one for all the
148 # code points that map to N.  (For each of these, a third table is also
149 # generated for the pseudo Perl property.  It contains the identical code
150 # points as the Y table, but can be written, not in the compound form, but in
151 # a "single" form like \p{IsUppercase}.)  Many properties are binary, but some
152 # properties have several possible values, some have many, and properties like
153 # Name have a different value for every named code point.  Those will not,
154 # unless the controlling lists are changed, have their match tables written
155 # out.  But all the ones which can be used in regular expression \p{} and \P{}
156 # constructs will.  Generally a property will have either its map table or its
157 # match tables written but not both.  Again, what gets written is controlled
158 # by lists which can easily be changed.
159 #
160 # For information about the Unicode properties, see Unicode's UAX44 document:
161
162 my $unicode_reference_url = 'http://www.unicode.org/reports/tr44/';
163
164 # As stated earlier, this program will work on any release of Unicode so far.
165 # Most obvious problems in earlier data have NOT been corrected except when
166 # necessary to make Perl or this program work reasonably.  For example, no
167 # folding information was given in early releases, so this program uses the
168 # substitute of lower case, just so that a regular expression with the /i
169 # option will do something that actually gives the right results in many
170 # cases.  There are also a couple other corrections for version 1.1.5,
171 # commented at the point they are made.  As an example of corrections that
172 # weren't made (but could be) is this statement from DerivedAge.txt: "The
173 # supplementary private use code points and the non-character code points were
174 # assigned in version 2.0, but not specifically listed in the UCD until
175 # versions 3.0 and 3.1 respectively."  (To be precise it was 3.0.1 not 3.0.0)
176 # More information on Unicode version glitches is further down in these
177 # introductory comments.
178 #
179 # This program works on all properties as of 5.2, though the files for some
180 # are suppressed from apparent lack of demand for them.  You can change which
181 # are output by changing lists in this program.
182 #
183 # The old version of mktables emphasized the term "Fuzzy" to mean Unocde's
184 # loose matchings rules (from Unicode TR18):
185 #
186 #    The recommended names for UCD properties and property values are in
187 #    PropertyAliases.txt [Prop] and PropertyValueAliases.txt
188 #    [PropValue]. There are both abbreviated names and longer, more
189 #    descriptive names. It is strongly recommended that both names be
190 #    recognized, and that loose matching of property names be used,
191 #    whereby the case distinctions, whitespace, hyphens, and underbar
192 #    are ignored.
193 # The program still allows Fuzzy to override its determination of if loose
194 # matching should be used, but it isn't currently used, as it is no longer
195 # needed; the calculations it makes are good enough.
196 #
197 # SUMMARY OF HOW IT WORKS:
198 #
199 #   Process arguments
200 #
201 #   A list is constructed containing each input file that is to be processed
202 #
203 #   Each file on the list is processed in a loop, using the associated handler
204 #   code for each:
205 #        The PropertyAliases.txt and PropValueAliases.txt files are processed
206 #            first.  These files name the properties and property values.
207 #            Objects are created of all the property and property value names
208 #            that the rest of the input should expect, including all synonyms.
209 #        The other input files give mappings from properties to property
210 #           values.  That is, they list code points and say what the mapping
211 #           is under the given property.  Some files give the mappings for
212 #           just one property; and some for many.  This program goes through
213 #           each file and populates the properties from them.  Some properties
214 #           are listed in more than one file, and Unicode has set up a
215 #           precedence as to which has priority if there is a conflict.  Thus
216 #           the order of processing matters, and this program handles the
217 #           conflict possibility by processing the overriding input files
218 #           last, so that if necessary they replace earlier values.
219 #        After this is all done, the program creates the property mappings not
220 #            furnished by Unicode, but derivable from what it does give.
221 #        The tables of code points that match each property value in each
222 #            property that is accessible by regular expressions are created.
223 #        The Perl-defined properties are created and populated.  Many of these
224 #            require data determined from the earlier steps
225 #        Any Perl-defined synonyms are created, and name clashes between Perl
226 #            and Unicode are reconciled and warned about.
227 #        All the properties are written to files
228 #        Any other files are written, and final warnings issued.
229 #
230 # For clarity, a number of operators have been overloaded to work on tables:
231 #   ~ means invert (take all characters not in the set).  The more
232 #       conventional '!' is not used because of the possibility of confusing
233 #       it with the actual boolean operation.
234 #   + means union
235 #   - means subtraction
236 #   & means intersection
237 # The precedence of these is the order listed.  Parentheses should be
238 # copiously used.  These are not a general scheme.  The operations aren't
239 # defined for a number of things, deliberately, to avoid getting into trouble.
240 # Operations are done on references and affect the underlying structures, so
241 # that the copy constructors for them have been overloaded to not return a new
242 # clone, but the input object itself.
243 #
244 # The bool operator is deliberately not overloaded to avoid confusion with
245 # "should it mean if the object merely exists, or also is non-empty?".
246 #
247 # WHY CERTAIN DESIGN DECISIONS WERE MADE
248 #
249 # This program needs to be able to run under miniperl.  Therefore, it uses a
250 # minimum of other modules, and hence implements some things itself that could
251 # be gotten from CPAN
252 #
253 # This program uses inputs published by the Unicode Consortium.  These can
254 # change incompatibly between releases without the Perl maintainers realizing
255 # it.  Therefore this program is now designed to try to flag these.  It looks
256 # at the directories where the inputs are, and flags any unrecognized files.
257 # It keeps track of all the properties in the files it handles, and flags any
258 # that it doesn't know how to handle.  It also flags any input lines that
259 # don't match the expected syntax, among other checks.
260 #
261 # It is also designed so if a new input file matches one of the known
262 # templates, one hopefully just needs to add it to a list to have it
263 # processed.
264 #
265 # As mentioned earlier, some properties are given in more than one file.  In
266 # particular, the files in the extracted directory are supposedly just
267 # reformattings of the others.  But they contain information not easily
268 # derivable from the other files, including results for Unihan, which this
269 # program doesn't ordinarily look at, and for unassigned code points.  They
270 # also have historically had errors or been incomplete.  In an attempt to
271 # create the best possible data, this program thus processes them first to
272 # glean information missing from the other files; then processes those other
273 # files to override any errors in the extracted ones.  Much of the design was
274 # driven by this need to store things and then possibly override them.
275 #
276 # It tries to keep fatal errors to a minimum, to generate something usable for
277 # testing purposes.  It always looks for files that could be inputs, and will
278 # warn about any that it doesn't know how to handle (the -q option suppresses
279 # the warning).
280 #
281 # Why have files written out for binary 'N' matches?
282 #   For binary properties, if you know the mapping for either Y or N; the
283 #   other is trivial to construct, so could be done at Perl run-time by just
284 #   complementing the result, instead of having a file for it.  That is, if
285 #   someone types in \p{foo: N}, Perl could translate that to \P{foo: Y} and
286 #   not need a file.   The problem is communicating to Perl that a given
287 #   property is binary.  Perl can't figure it out from looking at the N (or
288 #   No), as some non-binary properties have these as property values.  So
289 #   rather than inventing a way to communicate this info back to the core,
290 #   which would have required changes there as well, it was simpler just to
291 #   add the extra tables.
292 #
293 # Why is there more than one type of range?
294 #   This simplified things.  There are some very specialized code points that
295 #   have to be handled specially for output, such as Hangul syllable names.
296 #   By creating a range type (done late in the development process), it
297 #   allowed this to be stored with the range, and overridden by other input.
298 #   Originally these were stored in another data structure, and it became a
299 #   mess trying to decide if a second file that was for the same property was
300 #   overriding the earlier one or not.
301 #
302 # Why are there two kinds of tables, match and map?
303 #   (And there is a base class shared by the two as well.)  As stated above,
304 #   they actually are for different things.  Development proceeded much more
305 #   smoothly when I (khw) realized the distinction.  Map tables are used to
306 #   give the property value for every code point (actually every code point
307 #   that doesn't map to a default value).  Match tables are used for regular
308 #   expression matches, and are essentially the inverse mapping.  Separating
309 #   the two allows more specialized methods, and error checks so that one
310 #   can't just take the intersection of two map tables, for example, as that
311 #   is nonsensical.
312 #
313 # There are no match tables generated for matches of the null string.  These
314 # would look like qr/\p{JSN=}/ currently without modifying the regex code.
315 # Perhaps something like them could be added if necessary.  The JSN does have
316 # a real code point U+110B that maps to the null string, but it is a
317 # contributory property, and therefore not output by default.  And it's easily
318 # handled so far by making the null string the default where it is a
319 # possibility.
320 #
321 # DEBUGGING
322 #
323 # This program is written so it will run under miniperl.  Occasionally changes
324 # will cause an error where the backtrace doesn't work well under miniperl.
325 # To diagnose the problem, you can instead run it under regular perl, if you
326 # have one compiled.
327 #
328 # There is a good trace facility.  To enable it, first sub DEBUG must be set
329 # to return true.  Then a line like
330 #
331 # local $to_trace = 1 if main::DEBUG;
332 #
333 # can be added to enable tracing in its lexical scope or until you insert
334 # another line:
335 #
336 # local $to_trace = 0 if main::DEBUG;
337 #
338 # then use a line like "trace $a, @b, %c, ...;
339 #
340 # Some of the more complex subroutines already have trace statements in them.
341 # Permanent trace statements should be like:
342 #
343 # trace ... if main::DEBUG && $to_trace;
344 #
345 # If there is just one or a few files that you're debugging, you can easily
346 # cause most everything else to be skipped.  Change the line
347 #
348 # my $debug_skip = 0;
349 #
350 # to 1, and every file whose object is in @input_file_objects and doesn't have
351 # a, 'non_skip => 1,' in its constructor will be skipped.
352 #
353 # FUTURE ISSUES
354 #
355 # The program would break if Unicode were to change its names so that
356 # interior white space, underscores, or dashes differences were significant
357 # within property and property value names.
358 #
359 # It might be easier to use the xml versions of the UCD if this program ever
360 # would need heavy revision, and the ability to handle old versions was not
361 # required.
362 #
363 # There is the potential for name collisions, in that Perl has chosen names
364 # that Unicode could decide it also likes.  There have been such collisions in
365 # the past, with mostly Perl deciding to adopt the Unicode definition of the
366 # name.  However in the 5.2 Unicode beta testing, there were a number of such
367 # collisions, which were withdrawn before the final release, because of Perl's
368 # and other's protests.  These all involved new properties which began with
369 # 'Is'.  Based on the protests, Unicode is unlikely to try that again.  Also,
370 # many of the Perl-defined synonyms, like Any, Word, etc, are listed in a
371 # Unicode document, so they are unlikely to be used by Unicode for another
372 # purpose.  However, they might try something beginning with 'In', or use any
373 # of the other Perl-defined properties.  This program will warn you of name
374 # collisions, and refuse to generate tables with them, but manual intervention
375 # will be required in this event.  One scheme that could be implemented, if
376 # necessary, would be to have this program generate another file, or add a
377 # field to mktables.lst that gives the date of first definition of a property.
378 # Each new release of Unicode would use that file as a basis for the next
379 # iteration.  And the Perl synonym addition code could sort based on the age
380 # of the property, so older properties get priority, and newer ones that clash
381 # would be refused; hence existing code would not be impacted, and some other
382 # synonym would have to be used for the new property.  This is ugly, and
383 # manual intervention would certainly be easier to do in the short run; lets
384 # hope it never comes to this.
385 #
386 # A NOTE ON UNIHAN
387 #
388 # This program can generate tables from the Unihan database.  But it doesn't
389 # by default, letting the CPAN module Unicode::Unihan handle them.  Prior to
390 # version 5.2, this database was in a single file, Unihan.txt.  In 5.2 the
391 # database was split into 8 different files, all beginning with the letters
392 # 'Unihan'.  This program will read those file(s) if present, but it needs to
393 # know which of the many properties in the file(s) should have tables created
394 # for them.  It will create tables for any properties listed in
395 # PropertyAliases.txt and PropValueAliases.txt, plus any listed in the
396 # @cjk_properties array and the @cjk_property_values array.  Thus, if a
397 # property you want is not in those files of the release you are building
398 # against, you must add it to those two arrays.  Starting in 4.0, the
399 # Unicode_Radical_Stroke was listed in those files, so if the Unihan database
400 # is present in the directory, a table will be generated for that property.
401 # In 5.2, several more properties were added.  For your convenience, the two
402 # arrays are initialized with all the 5.2 listed properties that are also in
403 # earlier releases.  But these are commented out.  You can just uncomment the
404 # ones you want, or use them as a template for adding entries for other
405 # properties.
406 #
407 # You may need to adjust the entries to suit your purposes.  setup_unihan(),
408 # and filter_unihan_line() are the functions where this is done.  This program
409 # already does some adjusting to make the lines look more like the rest of the
410 # Unicode DB;  You can see what that is in filter_unihan_line()
411 #
412 # There is a bug in the 3.2 data file in which some values for the
413 # kPrimaryNumeric property have commas and an unexpected comment.  A filter
414 # could be added for these; or for a particular installation, the Unihan.txt
415 # file could be edited to fix them.
416 #
417 # HOW TO ADD A FILE TO BE PROCESSED
418 #
419 # A new file from Unicode needs to have an object constructed for it in
420 # @input_file_objects, probably at the end or at the end of the extracted
421 # ones.  The program should warn you if its name will clash with others on
422 # restrictive file systems, like DOS.  If so, figure out a better name, and
423 # add lines to the README.perl file giving that.  If the file is a character
424 # property, it should be in the format that Unicode has by default
425 # standardized for such files for the more recently introduced ones.
426 # If so, the Input_file constructor for @input_file_objects can just be the
427 # file name and release it first appeared in.  If not, then it should be
428 # possible to construct an each_line_handler() to massage the line into the
429 # standardized form.
430 #
431 # For non-character properties, more code will be needed.  You can look at
432 # the existing entries for clues.
433 #
434 # UNICODE VERSIONS NOTES
435 #
436 # The Unicode UCD has had a number of errors in it over the versions.  And
437 # these remain, by policy, in the standard for that version.  Therefore it is
438 # risky to correct them, because code may be expecting the error.  So this
439 # program doesn't generally make changes, unless the error breaks the Perl
440 # core.  As an example, some versions of 2.1.x Jamo.txt have the wrong value
441 # for U+1105, which causes real problems for the algorithms for Jamo
442 # calculations, so it is changed here.
443 #
444 # But it isn't so clear cut as to what to do about concepts that are
445 # introduced in a later release; should they extend back to earlier releases
446 # where the concept just didn't exist?  It was easier to do this than to not,
447 # so that's what was done.  For example, the default value for code points not
448 # in the files for various properties was probably undefined until changed by
449 # some version.  No_Block for blocks is such an example.  This program will
450 # assign No_Block even in Unicode versions that didn't have it.  This has the
451 # benefit that code being written doesn't have to special case earlier
452 # versions; and the detriment that it doesn't match the Standard precisely for
453 # the affected versions.
454 #
455 # Here are some observations about some of the issues in early versions:
456 #
457 # The number of code points in \p{alpha} halve in 2.1.9.  It turns out that
458 # the reason is that the CJK block starting at 4E00 was removed from PropList,
459 # and was not put back in until 3.1.0
460 #
461 # Unicode introduced the synonym Space for White_Space in 4.1.  Perl has
462 # always had a \p{Space}.  In release 3.2 only, they are not synonymous.  The
463 # reason is that 3.2 introduced U+205F=medium math space, which was not
464 # classed as white space, but Perl figured out that it should have been. 4.0
465 # reclassified it correctly.
466 #
467 # Another change between 3.2 and 4.0 is the CCC property value ATBL.  In 3.2
468 # this was erroneously a synonym for 202.  In 4.0, ATB became 202, and ATBL
469 # was left with no code points, as all the ones that mapped to 202 stayed
470 # mapped to 202.  Thus if your program used the numeric name for the class,
471 # it would not have been affected, but if it used the mnemonic, it would have
472 # been.
473 #
474 # \p{Script=Hrkt} (Katakana_Or_Hiragana) came in 4.0.1.  Before that code
475 # points which eventually came to have this script property value, instead
476 # mapped to "Unknown".  But in the next release all these code points were
477 # moved to \p{sc=common} instead.
478 #
479 # The default for missing code points for BidiClass is complicated.  Starting
480 # in 3.1.1, the derived file DBidiClass.txt handles this, but this program
481 # tries to do the best it can for earlier releases.  It is done in
482 # process_PropertyAliases()
483 #
484 ##############################################################################
485
486 my $UNDEF = ':UNDEF:';  # String to print out for undefined values in tracing
487                         # and errors
488 my $MAX_LINE_WIDTH = 78;
489
490 # Debugging aid to skip most files so as to not be distracted by them when
491 # concentrating on the ones being debugged.  Add
492 # non_skip => 1,
493 # to the constructor for those files you want processed when you set this.
494 # Files with a first version number of 0 are special: they are always
495 # processed regardless of the state of this flag.
496 my $debug_skip = 0;
497
498 # Set to 1 to enable tracing.
499 our $to_trace = 0;
500
501 { # Closure for trace: debugging aid
502     my $print_caller = 1;        # ? Include calling subroutine name
503     my $main_with_colon = 'main::';
504     my $main_colon_length = length($main_with_colon);
505
506     sub trace {
507         return unless $to_trace;        # Do nothing if global flag not set
508
509         my @input = @_;
510
511         local $DB::trace = 0;
512         $DB::trace = 0;          # Quiet 'used only once' message
513
514         my $line_number;
515
516         # Loop looking up the stack to get the first non-trace caller
517         my $caller_line;
518         my $caller_name;
519         my $i = 0;
520         do {
521             $line_number = $caller_line;
522             (my $pkg, my $file, $caller_line, my $caller) = caller $i++;
523             $caller = $main_with_colon unless defined $caller;
524
525             $caller_name = $caller;
526
527             # get rid of pkg
528             $caller_name =~ s/.*:://;
529             if (substr($caller_name, 0, $main_colon_length)
530                 eq $main_with_colon)
531             {
532                 $caller_name = substr($caller_name, $main_colon_length);
533             }
534
535         } until ($caller_name ne 'trace');
536
537         # If the stack was empty, we were called from the top level
538         $caller_name = 'main' if ($caller_name eq ""
539                                     || $caller_name eq 'trace');
540
541         my $output = "";
542         foreach my $string (@input) {
543             #print STDERR __LINE__, ": ", join ", ", @input, "\n";
544             if (ref $string eq 'ARRAY' || ref $string eq 'HASH') {
545                 $output .= simple_dumper($string);
546             }
547             else {
548                 $string = "$string" if ref $string;
549                 $string = $UNDEF unless defined $string;
550                 chomp $string;
551                 $string = '""' if $string eq "";
552                 $output .= " " if $output ne ""
553                                 && $string ne ""
554                                 && substr($output, -1, 1) ne " "
555                                 && substr($string, 0, 1) ne " ";
556                 $output .= $string;
557             }
558         }
559
560         print STDERR sprintf "%4d: ", $line_number if defined $line_number;
561         print STDERR "$caller_name: " if $print_caller;
562         print STDERR $output, "\n";
563         return;
564     }
565 }
566
567 # This is for a rarely used development feature that allows you to compare two
568 # versions of the Unicode standard without having to deal with changes caused
569 # by the code points introduced in the later verson.  Change the 0 to a SINGLE
570 # dotted Unicode release number (e.g. 2.1).  Only code points introduced in
571 # that release and earlier will be used; later ones are thrown away.  You use
572 # the version number of the earliest one you want to compare; then run this
573 # program on directory structures containing each release, and compare the
574 # outputs.  These outputs will therefore include only the code points common
575 # to both releases, and you can see the changes caused just by the underlying
576 # release semantic changes.  For versions earlier than 3.2, you must copy a
577 # version of DAge.txt into the directory.
578 my $string_compare_versions = DEBUG && 0; #  e.g., v2.1;
579 my $compare_versions = DEBUG
580                        && $string_compare_versions
581                        && pack "C*", split /\./, $string_compare_versions;
582
583 sub uniques {
584     # Returns non-duplicated input values.  From "Perl Best Practices:
585     # Encapsulated Cleverness".  p. 455 in first edition.
586
587     my %seen;
588     # Arguably this breaks encapsulation, if the goal is to permit multiple
589     # distinct objects to stringify to the same value, and be interchangeable.
590     # However, for this program, no two objects stringify identically, and all
591     # lists passed to this function are either objects or strings. So this
592     # doesn't affect correctness, but it does give a couple of percent speedup.
593     no overloading;
594     return grep { ! $seen{$_}++ } @_;
595 }
596
597 $0 = File::Spec->canonpath($0);
598
599 my $make_test_script = 0;      # ? Should we output a test script
600 my $write_unchanged_files = 0; # ? Should we update the output files even if
601                                #    we don't think they have changed
602 my $use_directory = "";        # ? Should we chdir somewhere.
603 my $pod_directory;             # input directory to store the pod file.
604 my $pod_file = 'perluniprops';
605 my $t_path;                     # Path to the .t test file
606 my $file_list = 'mktables.lst'; # File to store input and output file names.
607                                # This is used to speed up the build, by not
608                                # executing the main body of the program if
609                                # nothing on the list has changed since the
610                                # previous build
611 my $make_list = 1;             # ? Should we write $file_list.  Set to always
612                                # make a list so that when the pumpking is
613                                # preparing a release, s/he won't have to do
614                                # special things
615 my $glob_list = 0;             # ? Should we try to include unknown .txt files
616                                # in the input.
617 my $output_range_counts = 1;   # ? Should we include the number of code points
618                                # in ranges in the output
619 my $output_names = 0;          # ? Should character names be in the output
620 my @viacode;                   # Contains the 1 million character names, if
621                                # $output_names is true
622
623 # Verbosity levels; 0 is quiet
624 my $NORMAL_VERBOSITY = 1;
625 my $PROGRESS = 2;
626 my $VERBOSE = 3;
627
628 my $verbosity = $NORMAL_VERBOSITY;
629
630 # Process arguments
631 while (@ARGV) {
632     my $arg = shift @ARGV;
633     if ($arg eq '-v') {
634         $verbosity = $VERBOSE;
635     }
636     elsif ($arg eq '-p') {
637         $verbosity = $PROGRESS;
638         $| = 1;     # Flush buffers as we go.
639     }
640     elsif ($arg eq '-q') {
641         $verbosity = 0;
642     }
643     elsif ($arg eq '-w') {
644         $write_unchanged_files = 1; # update the files even if havent changed
645     }
646     elsif ($arg eq '-check') {
647         my $this = shift @ARGV;
648         my $ok = shift @ARGV;
649         if ($this ne $ok) {
650             print "Skipping as check params are not the same.\n";
651             exit(0);
652         }
653     }
654     elsif ($arg eq '-P' && defined ($pod_directory = shift)) {
655         -d $pod_directory or croak "Directory '$pod_directory' doesn't exist";
656     }
657     elsif ($arg eq '-maketest' || ($arg eq '-T' && defined ($t_path = shift)))
658     {
659         $make_test_script = 1;
660     }
661     elsif ($arg eq '-makelist') {
662         $make_list = 1;
663     }
664     elsif ($arg eq '-C' && defined ($use_directory = shift)) {
665         -d $use_directory or croak "Unknown directory '$use_directory'";
666     }
667     elsif ($arg eq '-L') {
668
669         # Existence not tested until have chdir'd
670         $file_list = shift;
671     }
672     elsif ($arg eq '-globlist') {
673         $glob_list = 1;
674     }
675     elsif ($arg eq '-c') {
676         $output_range_counts = ! $output_range_counts
677     }
678     elsif ($arg eq '-output_names') {
679         $output_names = 1;
680     }
681     else {
682         my $with_c = 'with';
683         $with_c .= 'out' if $output_range_counts;   # Complements the state
684         croak <<END;
685 usage: $0 [-c|-p|-q|-v|-w] [-C dir] [-L filelist] [ -P pod_dir ]
686           [ -T test_file_path ] [-globlist] [-makelist] [-maketest]
687           [-check A B ]
688   -c          : Output comments $with_c number of code points in ranges
689   -q          : Quiet Mode: Only output serious warnings.
690   -p          : Set verbosity level to normal plus show progress.
691   -v          : Set Verbosity level high:  Show progress and non-serious
692                 warnings
693   -w          : Write files regardless
694   -C dir      : Change to this directory before proceeding. All relative paths
695                 except those specified by the -P and -T options will be done
696                 with respect to this directory.
697   -P dir      : Output $pod_file file to directory 'dir'.
698   -T path     : Create a test script as 'path'; overrides -maketest
699   -L filelist : Use alternate 'filelist' instead of standard one
700   -globlist   : Take as input all non-Test *.txt files in current and sub
701                 directories
702   -maketest   : Make test script 'TestProp.pl' in current (or -C directory),
703                 overrides -T
704   -makelist   : Rewrite the file list $file_list based on current setup
705   -output_names : Output each character's name in the table files; useful for
706                 doing what-ifs, looking at diffs; is slow, memory intensive,
707                 resulting tables are usable but very large.
708   -check A B  : Executes $0 only if A and B are the same
709 END
710     }
711 }
712
713 # Stores the most-recently changed file.  If none have changed, can skip the
714 # build
715 my $youngest = -M $0;   # Do this before the chdir!
716
717 # Change directories now, because need to read 'version' early.
718 if ($use_directory) {
719     if ($pod_directory && ! File::Spec->file_name_is_absolute($pod_directory)) {
720         $pod_directory = File::Spec->rel2abs($pod_directory);
721     }
722     if ($t_path && ! File::Spec->file_name_is_absolute($t_path)) {
723         $t_path = File::Spec->rel2abs($t_path);
724     }
725     chdir $use_directory or croak "Failed to chdir to '$use_directory':$!";
726     if ($pod_directory && File::Spec->file_name_is_absolute($pod_directory)) {
727         $pod_directory = File::Spec->abs2rel($pod_directory);
728     }
729     if ($t_path && File::Spec->file_name_is_absolute($t_path)) {
730         $t_path = File::Spec->abs2rel($t_path);
731     }
732 }
733
734 # Get Unicode version into regular and v-string.  This is done now because
735 # various tables below get populated based on it.  These tables are populated
736 # here to be near the top of the file, and so easily seeable by those needing
737 # to modify things.
738 open my $VERSION, "<", "version"
739                     or croak "$0: can't open required file 'version': $!\n";
740 my $string_version = <$VERSION>;
741 close $VERSION;
742 chomp $string_version;
743 my $v_version = pack "C*", split /\./, $string_version;        # v string
744
745 # The following are the complete names of properties with property values that
746 # are known to not match any code points in some versions of Unicode, but that
747 # may change in the future so they should be matchable, hence an empty file is
748 # generated for them.
749 my @tables_that_may_be_empty = (
750                                 'Joining_Type=Left_Joining',
751                                 );
752 push @tables_that_may_be_empty, 'Script=Common' if $v_version le v4.0.1;
753 push @tables_that_may_be_empty, 'Title' if $v_version lt v2.0.0;
754 push @tables_that_may_be_empty, 'Script=Katakana_Or_Hiragana'
755                                                     if $v_version ge v4.1.0;
756
757 # The lists below are hashes, so the key is the item in the list, and the
758 # value is the reason why it is in the list.  This makes generation of
759 # documentation easier.
760
761 my %why_suppressed;  # No file generated for these.
762
763 # Files aren't generated for empty extraneous properties.  This is arguable.
764 # Extraneous properties generally come about because a property is no longer
765 # used in a newer version of Unicode.  If we generated a file without code
766 # points, programs that used to work on that property will still execute
767 # without errors.  It just won't ever match (or will always match, with \P{}).
768 # This means that the logic is now likely wrong.  I (khw) think its better to
769 # find this out by getting an error message.  Just move them to the table
770 # above to change this behavior
771 my %why_suppress_if_empty_warn_if_not = (
772
773    # It is the only property that has ever officially been removed from the
774    # Standard.  The database never contained any code points for it.
775    'Special_Case_Condition' => 'Obsolete',
776
777    # Apparently never official, but there were code points in some versions of
778    # old-style PropList.txt
779    'Non_Break' => 'Obsolete',
780 );
781
782 # These would normally go in the warn table just above, but they were changed
783 # a long time before this program was written, so warnings about them are
784 # moot.
785 if ($v_version gt v3.2.0) {
786     push @tables_that_may_be_empty,
787                                 'Canonical_Combining_Class=Attached_Below_Left'
788 }
789
790 # These are listed in the Property aliases file in 5.2, but Unihan is ignored
791 # unless explicitly added.
792 if ($v_version ge v5.2.0) {
793     my $unihan = 'Unihan; remove from list if using Unihan';
794     foreach my $table (qw (
795                            kAccountingNumeric
796                            kOtherNumeric
797                            kPrimaryNumeric
798                            kCompatibilityVariant
799                            kIICore
800                            kIRG_GSource
801                            kIRG_HSource
802                            kIRG_JSource
803                            kIRG_KPSource
804                            kIRG_MSource
805                            kIRG_KSource
806                            kIRG_TSource
807                            kIRG_USource
808                            kIRG_VSource
809                            kRSUnicode
810                         ))
811     {
812         $why_suppress_if_empty_warn_if_not{$table} = $unihan;
813     }
814 }
815
816 # Properties that this program ignores.
817 my @unimplemented_properties = (
818 'Unicode_Radical_Stroke'    # Remove if changing to handle this one.
819 );
820
821 # There are several types of obsolete properties defined by Unicode.  These
822 # must be hand-edited for every new Unicode release.
823 my %why_deprecated;  # Generates a deprecated warning message if used.
824 my %why_stabilized;  # Documentation only
825 my %why_obsolete;    # Documentation only
826
827 {   # Closure
828     my $simple = 'Perl uses the more complete version of this property';
829     my $unihan = 'Unihan properties are by default not enabled in the Perl core.  Instead use CPAN: Unicode::Unihan';
830
831     my $other_properties = 'other properties';
832     my $contributory = "Used by Unicode internally for generating $other_properties and not intended to be used stand-alone";
833     my $why_no_expand  = "Easily computed, and yet doesn't cover the common encoding forms (UTF-16/8)",
834
835     %why_deprecated = (
836         'Grapheme_Link' => 'Deprecated by Unicode.  Use ccc=vr (Canonical_Combining_Class=Virama) instead',
837         'Jamo_Short_Name' => $contributory,
838         'Line_Break=Surrogate' => 'Deprecated by Unicode because surrogates should never appear in well-formed text, and therefore shouldn\'t be the basis for line breaking',
839         'Other_Alphabetic' => $contributory,
840         'Other_Default_Ignorable_Code_Point' => $contributory,
841         'Other_Grapheme_Extend' => $contributory,
842         'Other_ID_Continue' => $contributory,
843         'Other_ID_Start' => $contributory,
844         'Other_Lowercase' => $contributory,
845         'Other_Math' => $contributory,
846         'Other_Uppercase' => $contributory,
847     );
848
849     %why_suppressed = (
850         # There is a lib/unicore/Decomposition.pl (used by normalize.pm) which
851         # contains the same information, but without the algorithmically
852         # determinable Hangul syllables'.  This file is not published, so it's
853         # existence is not noted in the comment.
854         'Decomposition_Mapping' => 'Accessible via Unicode::Normalize',
855
856         'ISO_Comment' => 'Apparently no demand for it, but can access it through Unicode::UCD::charinfo.  Obsoleted, and code points for it removed in Unicode 5.2',
857         'Unicode_1_Name' => "$simple, and no apparent demand for it, but can access it through Unicode::UCD::charinfo.  If there is no later name for a code point, then this one is used instead in charnames",
858
859         'Simple_Case_Folding' => "$simple.  Can access this through Unicode::UCD::casefold",
860         'Simple_Lowercase_Mapping' => "$simple.  Can access this through Unicode::UCD::charinfo",
861         'Simple_Titlecase_Mapping' => "$simple.  Can access this through Unicode::UCD::charinfo",
862         'Simple_Uppercase_Mapping' => "$simple.  Can access this through Unicode::UCD::charinfo",
863
864         'Name' => "Accessible via 'use charnames;'",
865         'Name_Alias' => "Accessible via 'use charnames;'",
866
867         # These are sort of jumping the gun; deprecation is proposed for
868         # Unicode version 6.0, but they have never been exposed by Perl, and
869         # likely are soon to be deprecated, so best not to expose them.
870         FC_NFKC_Closure => 'Use NFKC_Casefold instead',
871         Expands_On_NFC => $why_no_expand,
872         Expands_On_NFD => $why_no_expand,
873         Expands_On_NFKC => $why_no_expand,
874         Expands_On_NFKD => $why_no_expand,
875     );
876
877     # The following are suppressed because they were made contributory or
878     # deprecated by Unicode before Perl ever thought about supporting them.
879     foreach my $property ('Jamo_Short_Name', 'Grapheme_Link') {
880         $why_suppressed{$property} = $why_deprecated{$property};
881     }
882
883     # Customize the message for all the 'Other_' properties
884     foreach my $property (keys %why_deprecated) {
885         next if (my $main_property = $property) !~ s/^Other_//;
886         $why_deprecated{$property} =~ s/$other_properties/the $main_property property (which should be used instead)/;
887     }
888 }
889
890 if ($v_version ge 4.0.0) {
891     $why_stabilized{'Hyphen'} = 'Use the Line_Break property instead; see www.unicode.org/reports/tr14';
892 }
893 if ($v_version ge 5.2.0) {
894     $why_obsolete{'ISO_Comment'} = 'Code points for it have been removed';
895 }
896
897 # Probably obsolete forever
898 if ($v_version ge v4.1.0) {
899     $why_suppressed{'Script=Katakana_Or_Hiragana'} = 'Obsolete.  All code points previously matched by this have been moved to "Script=Common"';
900 }
901
902 # This program can create files for enumerated-like properties, such as
903 # 'Numeric_Type'.  This file would be the same format as for a string
904 # property, with a mapping from code point to its value, so you could look up,
905 # for example, the script a code point is in.  But no one so far wants this
906 # mapping, or they have found another way to get it since this is a new
907 # feature.  So no file is generated except if it is in this list.
908 my @output_mapped_properties = split "\n", <<END;
909 END
910
911 # If you are using the Unihan database, you need to add the properties that
912 # you want to extract from it to this table.  For your convenience, the
913 # properties in the 5.2 PropertyAliases.txt file are listed, commented out
914 my @cjk_properties = split "\n", <<'END';
915 #cjkAccountingNumeric; kAccountingNumeric
916 #cjkOtherNumeric; kOtherNumeric
917 #cjkPrimaryNumeric; kPrimaryNumeric
918 #cjkCompatibilityVariant; kCompatibilityVariant
919 #cjkIICore ; kIICore
920 #cjkIRG_GSource; kIRG_GSource
921 #cjkIRG_HSource; kIRG_HSource
922 #cjkIRG_JSource; kIRG_JSource
923 #cjkIRG_KPSource; kIRG_KPSource
924 #cjkIRG_KSource; kIRG_KSource
925 #cjkIRG_TSource; kIRG_TSource
926 #cjkIRG_USource; kIRG_USource
927 #cjkIRG_VSource; kIRG_VSource
928 #cjkRSUnicode; kRSUnicode                ; Unicode_Radical_Stroke; URS
929 END
930
931 # Similarly for the property values.  For your convenience, the lines in the
932 # 5.2 PropertyAliases.txt file are listed.  Just remove the first BUT NOT both
933 # '#' marks
934 my @cjk_property_values = split "\n", <<'END';
935 ## @missing: 0000..10FFFF; cjkAccountingNumeric; NaN
936 ## @missing: 0000..10FFFF; cjkCompatibilityVariant; <code point>
937 ## @missing: 0000..10FFFF; cjkIICore; <none>
938 ## @missing: 0000..10FFFF; cjkIRG_GSource; <none>
939 ## @missing: 0000..10FFFF; cjkIRG_HSource; <none>
940 ## @missing: 0000..10FFFF; cjkIRG_JSource; <none>
941 ## @missing: 0000..10FFFF; cjkIRG_KPSource; <none>
942 ## @missing: 0000..10FFFF; cjkIRG_KSource; <none>
943 ## @missing: 0000..10FFFF; cjkIRG_TSource; <none>
944 ## @missing: 0000..10FFFF; cjkIRG_USource; <none>
945 ## @missing: 0000..10FFFF; cjkIRG_VSource; <none>
946 ## @missing: 0000..10FFFF; cjkOtherNumeric; NaN
947 ## @missing: 0000..10FFFF; cjkPrimaryNumeric; NaN
948 ## @missing: 0000..10FFFF; cjkRSUnicode; <none>
949 END
950
951 # The input files don't list every code point.  Those not listed are to be
952 # defaulted to some value.  Below are hard-coded what those values are for
953 # non-binary properties as of 5.1.  Starting in 5.0, there are
954 # machine-parsable comment lines in the files the give the defaults; so this
955 # list shouldn't have to be extended.  The claim is that all missing entries
956 # for binary properties will default to 'N'.  Unicode tried to change that in
957 # 5.2, but the beta period produced enough protest that they backed off.
958 #
959 # The defaults for the fields that appear in UnicodeData.txt in this hash must
960 # be in the form that it expects.  The others may be synonyms.
961 my $CODE_POINT = '<code point>';
962 my %default_mapping = (
963     Age => "Unassigned",
964     # Bidi_Class => Complicated; set in code
965     Bidi_Mirroring_Glyph => "",
966     Block => 'No_Block',
967     Canonical_Combining_Class => 0,
968     Case_Folding => $CODE_POINT,
969     Decomposition_Mapping => $CODE_POINT,
970     Decomposition_Type => 'None',
971     East_Asian_Width => "Neutral",
972     FC_NFKC_Closure => $CODE_POINT,
973     General_Category => 'Cn',
974     Grapheme_Cluster_Break => 'Other',
975     Hangul_Syllable_Type => 'NA',
976     ISO_Comment => "",
977     Jamo_Short_Name => "",
978     Joining_Group => "No_Joining_Group",
979     # Joining_Type => Complicated; set in code
980     kIICore => 'N',   #                       Is converted to binary
981     #Line_Break => Complicated; set in code
982     Lowercase_Mapping => $CODE_POINT,
983     Name => "",
984     Name_Alias => "",
985     NFC_QC => 'Yes',
986     NFD_QC => 'Yes',
987     NFKC_QC => 'Yes',
988     NFKD_QC => 'Yes',
989     Numeric_Type => 'None',
990     Numeric_Value => 'NaN',
991     Script => ($v_version le 4.1.0) ? 'Common' : 'Unknown',
992     Sentence_Break => 'Other',
993     Simple_Case_Folding => $CODE_POINT,
994     Simple_Lowercase_Mapping => $CODE_POINT,
995     Simple_Titlecase_Mapping => $CODE_POINT,
996     Simple_Uppercase_Mapping => $CODE_POINT,
997     Titlecase_Mapping => $CODE_POINT,
998     Unicode_1_Name => "",
999     Unicode_Radical_Stroke => "",
1000     Uppercase_Mapping => $CODE_POINT,
1001     Word_Break => 'Other',
1002 );
1003
1004 # Below are files that Unicode furnishes, but this program ignores, and why
1005 my %ignored_files = (
1006     'CJKRadicals.txt' => 'Unihan data',
1007     'Index.txt' => 'An index, not actual data',
1008     'NamedSqProv.txt' => 'Not officially part of the Unicode standard; Append it to NamedSequences.txt if you want to process the contents.',
1009     'NamesList.txt' => 'Just adds commentary',
1010     'NormalizationCorrections.txt' => 'Data is already in other files.',
1011     'Props.txt' => 'Adds nothing to PropList.txt; only in very early releases',
1012     'ReadMe.txt' => 'Just comments',
1013     'README.TXT' => 'Just comments',
1014     'StandardizedVariants.txt' => 'Only for glyph changes, not a Unicode character property.  Does not fit into current scheme where one code point is mapped',
1015 );
1016
1017 ### End of externally interesting definitions, except for @input_file_objects
1018
1019 my $HEADER=<<"EOF";
1020 # !!!!!!!   DO NOT EDIT THIS FILE   !!!!!!!
1021 # This file is machine-generated by $0 from the Unicode
1022 # database, Version $string_version.  Any changes made here will be lost!
1023 EOF
1024
1025 my $INTERNAL_ONLY=<<"EOF";
1026
1027 # !!!!!!!   INTERNAL PERL USE ONLY   !!!!!!!
1028 # This file is for internal use by the Perl program only.  The format and even
1029 # the name or existence of this file are subject to change without notice.
1030 # Don't use it directly.
1031 EOF
1032
1033 my $DEVELOPMENT_ONLY=<<"EOF";
1034 # !!!!!!!   DEVELOPMENT USE ONLY   !!!!!!!
1035 # This file contains information artificially constrained to code points
1036 # present in Unicode release $string_compare_versions.
1037 # IT CANNOT BE RELIED ON.  It is for use during development only and should
1038 # not be used for production.
1039
1040 EOF
1041
1042 my $LAST_UNICODE_CODEPOINT_STRING = "10FFFF";
1043 my $LAST_UNICODE_CODEPOINT = hex $LAST_UNICODE_CODEPOINT_STRING;
1044 my $MAX_UNICODE_CODEPOINTS = $LAST_UNICODE_CODEPOINT + 1;
1045
1046 # Matches legal code point.  4-6 hex numbers, If there are 6, the first
1047 # two must be 10; if there are 5, the first must not be a 0.  Written this way
1048 # to decrease backtracking
1049 my $code_point_re =
1050         qr/ \b (?: 10[0-9A-F]{4} | [1-9A-F][0-9A-F]{4} | [0-9A-F]{4} ) \b/x;
1051
1052 # This matches the beginning of the line in the Unicode db files that give the
1053 # defaults for code points not listed (i.e., missing) in the file.  The code
1054 # depends on this ending with a semi-colon, so it can assume it is a valid
1055 # field when the line is split() by semi-colons
1056 my $missing_defaults_prefix =
1057             qr/^#\s+\@missing:\s+0000\.\.$LAST_UNICODE_CODEPOINT_STRING\s*;/;
1058
1059 # Property types.  Unicode has more types, but these are sufficient for our
1060 # purposes.
1061 my $UNKNOWN = -1;   # initialized to illegal value
1062 my $NON_STRING = 1; # Either binary or enum
1063 my $BINARY = 2;
1064 my $ENUM = 3;       # Include catalog
1065 my $STRING = 4;     # Anything else: string or misc
1066
1067 # Some input files have lines that give default values for code points not
1068 # contained in the file.  Sometimes these should be ignored.
1069 my $NO_DEFAULTS = 0;        # Must evaluate to false
1070 my $NOT_IGNORED = 1;
1071 my $IGNORED = 2;
1072
1073 # Range types.  Each range has a type.  Most ranges are type 0, for normal,
1074 # and will appear in the main body of the tables in the output files, but
1075 # there are other types of ranges as well, listed below, that are specially
1076 # handled.   There are pseudo-types as well that will never be stored as a
1077 # type, but will affect the calculation of the type.
1078
1079 # 0 is for normal, non-specials
1080 my $MULTI_CP = 1;           # Sequence of more than code point
1081 my $HANGUL_SYLLABLE = 2;
1082 my $CP_IN_NAME = 3;         # The NAME contains the code point appended to it.
1083 my $NULL = 4;               # The map is to the null string; utf8.c can't
1084                             # handle these, nor is there an accepted syntax
1085                             # for them in \p{} constructs
1086 my $COMPUTE_NO_MULTI_CP = 5; # Pseudo-type; means that ranges that would
1087                              # otherwise be $MULTI_CP type are instead type 0
1088
1089 # process_generic_property_file() can accept certain overrides in its input.
1090 # Each of these must begin AND end with $CMD_DELIM.
1091 my $CMD_DELIM = "\a";
1092 my $REPLACE_CMD = 'replace';    # Override the Replace
1093 my $MAP_TYPE_CMD = 'map_type';  # Override the Type
1094
1095 my $NO = 0;
1096 my $YES = 1;
1097
1098 # Values for the Replace argument to add_range.
1099 # $NO                      # Don't replace; add only the code points not
1100                            # already present.
1101 my $IF_NOT_EQUIVALENT = 1; # Replace only under certain conditions; details in
1102                            # the comments at the subroutine definition.
1103 my $UNCONDITIONALLY = 2;   # Replace without conditions.
1104 my $MULTIPLE = 4;          # Don't replace, but add a duplicate record if
1105                            # already there
1106
1107 # Flags to give property statuses.  The phrases are to remind maintainers that
1108 # if the flag is changed, the indefinite article referring to it in the
1109 # documentation may need to be as well.
1110 my $NORMAL = "";
1111 my $SUPPRESSED = 'z';   # The character should never actually be seen, since
1112                         # it is suppressed
1113 my $PLACEHOLDER = 'P';  # Implies no pod entry generated
1114 my $DEPRECATED = 'D';
1115 my $a_bold_deprecated = "a 'B<$DEPRECATED>'";
1116 my $A_bold_deprecated = "A 'B<$DEPRECATED>'";
1117 my $DISCOURAGED = 'X';
1118 my $a_bold_discouraged = "an 'B<$DISCOURAGED>'";
1119 my $A_bold_discouraged = "An 'B<$DISCOURAGED>'";
1120 my $STRICTER = 'T';
1121 my $a_bold_stricter = "a 'B<$STRICTER>'";
1122 my $A_bold_stricter = "A 'B<$STRICTER>'";
1123 my $STABILIZED = 'S';
1124 my $a_bold_stabilized = "an 'B<$STABILIZED>'";
1125 my $A_bold_stabilized = "An 'B<$STABILIZED>'";
1126 my $OBSOLETE = 'O';
1127 my $a_bold_obsolete = "an 'B<$OBSOLETE>'";
1128 my $A_bold_obsolete = "An 'B<$OBSOLETE>'";
1129
1130 my %status_past_participles = (
1131     $DISCOURAGED => 'discouraged',
1132     $SUPPRESSED => 'should never be generated',
1133     $STABILIZED => 'stabilized',
1134     $OBSOLETE => 'obsolete',
1135     $DEPRECATED => 'deprecated',
1136 );
1137
1138 # The format of the values of the map tables:
1139 my $BINARY_FORMAT = 'b';
1140 my $DECIMAL_FORMAT = 'd';
1141 my $FLOAT_FORMAT = 'f';
1142 my $INTEGER_FORMAT = 'i';
1143 my $HEX_FORMAT = 'x';
1144 my $RATIONAL_FORMAT = 'r';
1145 my $STRING_FORMAT = 's';
1146
1147 my %map_table_formats = (
1148     $BINARY_FORMAT => 'binary',
1149     $DECIMAL_FORMAT => 'single decimal digit',
1150     $FLOAT_FORMAT => 'floating point number',
1151     $INTEGER_FORMAT => 'integer',
1152     $HEX_FORMAT => 'positive hex whole number; a code point',
1153     $RATIONAL_FORMAT => 'rational: an integer or a fraction',
1154     $STRING_FORMAT => 'arbitrary string',
1155 );
1156
1157 # Unicode didn't put such derived files in a separate directory at first.
1158 my $EXTRACTED_DIR = (-d 'extracted') ? 'extracted' : "";
1159 my $EXTRACTED = ($EXTRACTED_DIR) ? "$EXTRACTED_DIR/" : "";
1160 my $AUXILIARY = 'auxiliary';
1161
1162 # Hashes that will eventually go into Heavy.pl for the use of utf8_heavy.pl
1163 my %loose_to_file_of;       # loosely maps table names to their respective
1164                             # files
1165 my %stricter_to_file_of;    # same; but for stricter mapping.
1166 my %nv_floating_to_rational; # maps numeric values floating point numbers to
1167                              # their rational equivalent
1168 my %loose_property_name_of; # Loosely maps property names to standard form
1169
1170 # These constants names and values were taken from the Unicode standard,
1171 # version 5.1, section 3.12.  They are used in conjunction with Hangul
1172 # syllables.  The '_string' versions are so generated tables can retain the
1173 # hex format, which is the more familiar value
1174 my $SBase_string = "0xAC00";
1175 my $SBase = CORE::hex $SBase_string;
1176 my $LBase_string = "0x1100";
1177 my $LBase = CORE::hex $LBase_string;
1178 my $VBase_string = "0x1161";
1179 my $VBase = CORE::hex $VBase_string;
1180 my $TBase_string = "0x11A7";
1181 my $TBase = CORE::hex $TBase_string;
1182 my $SCount = 11172;
1183 my $LCount = 19;
1184 my $VCount = 21;
1185 my $TCount = 28;
1186 my $NCount = $VCount * $TCount;
1187
1188 # For Hangul syllables;  These store the numbers from Jamo.txt in conjunction
1189 # with the above published constants.
1190 my %Jamo;
1191 my %Jamo_L;     # Leading consonants
1192 my %Jamo_V;     # Vowels
1193 my %Jamo_T;     # Trailing consonants
1194
1195 my @backslash_X_tests;     # List of tests read in for testing \X
1196 my @unhandled_properties;  # Will contain a list of properties found in
1197                            # the input that we didn't process.
1198 my @match_properties;      # Properties that have match tables, to be
1199                            # listed in the pod
1200 my @map_properties;        # Properties that get map files written
1201 my @named_sequences;       # NamedSequences.txt contents.
1202 my %potential_files;       # Generated list of all .txt files in the directory
1203                            # structure so we can warn if something is being
1204                            # ignored.
1205 my @files_actually_output; # List of files we generated.
1206 my @more_Names;            # Some code point names are compound; this is used
1207                            # to store the extra components of them.
1208 my $MIN_FRACTION_LENGTH = 3; # How many digits of a floating point number at
1209                            # the minimum before we consider it equivalent to a
1210                            # candidate rational
1211 my $MAX_FLOATING_SLOP = 10 ** - $MIN_FRACTION_LENGTH; # And in floating terms
1212
1213 # These store references to certain commonly used property objects
1214 my $gc;
1215 my $perl;
1216 my $block;
1217
1218 # Are there conflicting names because of beginning with 'In_', or 'Is_'
1219 my $has_In_conflicts = 0;
1220 my $has_Is_conflicts = 0;
1221
1222 sub internal_file_to_platform ($) {
1223     # Convert our file paths which have '/' separators to those of the
1224     # platform.
1225
1226     my $file = shift;
1227     return undef unless defined $file;
1228
1229     return File::Spec->join(split '/', $file);
1230 }
1231
1232 sub file_exists ($) {   # platform independent '-e'.  This program internally
1233                         # uses slash as a path separator.
1234     my $file = shift;
1235     return 0 if ! defined $file;
1236     return -e internal_file_to_platform($file);
1237 }
1238
1239 sub objaddr($) {
1240     # Returns the address of the blessed input object.
1241     # It doesn't check for blessedness because that would do a string eval
1242     # every call, and the program is structured so that this is never called
1243     # for a non-blessed object.
1244
1245     no overloading; # If overloaded, numifying below won't work.
1246
1247     # Numifying a ref gives its address.
1248     return pack 'J', $_[0];
1249 }
1250
1251 # Commented code below should work on Perl 5.8.
1252 ## This 'require' doesn't necessarily work in miniperl, and even if it does,
1253 ## the native perl version of it (which is what would operate under miniperl)
1254 ## is extremely slow, as it does a string eval every call.
1255 #my $has_fast_scalar_util = $\18 !~ /miniperl/
1256 #                            && defined eval "require Scalar::Util";
1257 #
1258 #sub objaddr($) {
1259 #    # Returns the address of the blessed input object.  Uses the XS version if
1260 #    # available.  It doesn't check for blessedness because that would do a
1261 #    # string eval every call, and the program is structured so that this is
1262 #    # never called for a non-blessed object.
1263 #
1264 #    return Scalar::Util::refaddr($_[0]) if $has_fast_scalar_util;
1265 #
1266 #    # Check at least that is a ref.
1267 #    my $pkg = ref($_[0]) or return undef;
1268 #
1269 #    # Change to a fake package to defeat any overloaded stringify
1270 #    bless $_[0], 'main::Fake';
1271 #
1272 #    # Numifying a ref gives its address.
1273 #    my $addr = pack 'J', $_[0];
1274 #
1275 #    # Return to original class
1276 #    bless $_[0], $pkg;
1277 #    return $addr;
1278 #}
1279
1280 sub max ($$) {
1281     my $a = shift;
1282     my $b = shift;
1283     return $a if $a >= $b;
1284     return $b;
1285 }
1286
1287 sub min ($$) {
1288     my $a = shift;
1289     my $b = shift;
1290     return $a if $a <= $b;
1291     return $b;
1292 }
1293
1294 sub clarify_number ($) {
1295     # This returns the input number with underscores inserted every 3 digits
1296     # in large (5 digits or more) numbers.  Input must be entirely digits, not
1297     # checked.
1298
1299     my $number = shift;
1300     my $pos = length($number) - 3;
1301     return $number if $pos <= 1;
1302     while ($pos > 0) {
1303         substr($number, $pos, 0) = '_';
1304         $pos -= 3;
1305     }
1306     return $number;
1307 }
1308
1309
1310 package Carp;
1311
1312 # These routines give a uniform treatment of messages in this program.  They
1313 # are placed in the Carp package to cause the stack trace to not include them,
1314 # although an alternative would be to use another package and set @CARP_NOT
1315 # for it.
1316
1317 our $Verbose = 1 if main::DEBUG;  # Useful info when debugging
1318
1319 # This is a work-around suggested by Nicholas Clark to fix a problem with Carp
1320 # and overload trying to load Scalar:Util under miniperl.  See
1321 # http://www.xray.mpe.mpg.de/mailing-lists/perl5-porters/2009-11/msg01057.html
1322 undef $overload::VERSION;
1323
1324 sub my_carp {
1325     my $message = shift || "";
1326     my $nofold = shift || 0;
1327
1328     if ($message) {
1329         $message = main::join_lines($message);
1330         $message =~ s/^$0: *//;     # Remove initial program name
1331         $message =~ s/[.;,]+$//;    # Remove certain ending punctuation
1332         $message = "\n$0: $message;";
1333
1334         # Fold the message with program name, semi-colon end punctuation
1335         # (which looks good with the message that carp appends to it), and a
1336         # hanging indent for continuation lines.
1337         $message = main::simple_fold($message, "", 4) unless $nofold;
1338         $message =~ s/\n$//;        # Remove the trailing nl so what carp
1339                                     # appends is to the same line
1340     }
1341
1342     return $message if defined wantarray;   # If a caller just wants the msg
1343
1344     carp $message;
1345     return;
1346 }
1347
1348 sub my_carp_bug {
1349     # This is called when it is clear that the problem is caused by a bug in
1350     # this program.
1351
1352     my $message = shift;
1353     $message =~ s/^$0: *//;
1354     $message = my_carp("Bug in $0.  Please report it by running perlbug or if that is unavailable, by sending email to perbug\@perl.org:\n$message");
1355     carp $message;
1356     return;
1357 }
1358
1359 sub carp_too_few_args {
1360     if (@_ != 2) {
1361         my_carp_bug("Wrong number of arguments: to 'carp_too_few_arguments'.  No action taken.");
1362         return;
1363     }
1364
1365     my $args_ref = shift;
1366     my $count = shift;
1367
1368     my_carp_bug("Need at least $count arguments to "
1369         . (caller 1)[3]
1370         . ".  Instead got: '"
1371         . join ', ', @$args_ref
1372         . "'.  No action taken.");
1373     return;
1374 }
1375
1376 sub carp_extra_args {
1377     my $args_ref = shift;
1378     my_carp_bug("Too many arguments to 'carp_extra_args': (" . join(', ', @_) . ");  Extras ignored.") if @_;
1379
1380     unless (ref $args_ref) {
1381         my_carp_bug("Argument to 'carp_extra_args' ($args_ref) must be a ref.  Not checking arguments.");
1382         return;
1383     }
1384     my ($package, $file, $line) = caller;
1385     my $subroutine = (caller 1)[3];
1386
1387     my $list;
1388     if (ref $args_ref eq 'HASH') {
1389         foreach my $key (keys %$args_ref) {
1390             $args_ref->{$key} = $UNDEF unless defined $args_ref->{$key};
1391         }
1392         $list = join ', ', each %{$args_ref};
1393     }
1394     elsif (ref $args_ref eq 'ARRAY') {
1395         foreach my $arg (@$args_ref) {
1396             $arg = $UNDEF unless defined $arg;
1397         }
1398         $list = join ', ', @$args_ref;
1399     }
1400     else {
1401         my_carp_bug("Can't cope with ref "
1402                 . ref($args_ref)
1403                 . " . argument to 'carp_extra_args'.  Not checking arguments.");
1404         return;
1405     }
1406
1407     my_carp_bug("Unrecognized parameters in options: '$list' to $subroutine.  Skipped.");
1408     return;
1409 }
1410
1411 package main;
1412
1413 { # Closure
1414
1415     # This program uses the inside-out method for objects, as recommended in
1416     # "Perl Best Practices".  This closure aids in generating those.  There
1417     # are two routines.  setup_package() is called once per package to set
1418     # things up, and then set_access() is called for each hash representing a
1419     # field in the object.  These routines arrange for the object to be
1420     # properly destroyed when no longer used, and for standard accessor
1421     # functions to be generated.  If you need more complex accessors, just
1422     # write your own and leave those accesses out of the call to set_access().
1423     # More details below.
1424
1425     my %constructor_fields; # fields that are to be used in constructors; see
1426                             # below
1427
1428     # The values of this hash will be the package names as keys to other
1429     # hashes containing the name of each field in the package as keys, and
1430     # references to their respective hashes as values.
1431     my %package_fields;
1432
1433     sub setup_package {
1434         # Sets up the package, creating standard DESTROY and dump methods
1435         # (unless already defined).  The dump method is used in debugging by
1436         # simple_dumper().
1437         # The optional parameters are:
1438         #   a)  a reference to a hash, that gets populated by later
1439         #       set_access() calls with one of the accesses being
1440         #       'constructor'.  The caller can then refer to this, but it is
1441         #       not otherwise used by these two routines.
1442         #   b)  a reference to a callback routine to call during destruction
1443         #       of the object, before any fields are actually destroyed
1444
1445         my %args = @_;
1446         my $constructor_ref = delete $args{'Constructor_Fields'};
1447         my $destroy_callback = delete $args{'Destroy_Callback'};
1448         Carp::carp_extra_args(\@_) if main::DEBUG && %args;
1449
1450         my %fields;
1451         my $package = (caller)[0];
1452
1453         $package_fields{$package} = \%fields;
1454         $constructor_fields{$package} = $constructor_ref;
1455
1456         unless ($package->can('DESTROY')) {
1457             my $destroy_name = "${package}::DESTROY";
1458             no strict "refs";
1459
1460             # Use typeglob to give the anonymous subroutine the name we want
1461             *$destroy_name = sub {
1462                 my $self = shift;
1463                 my $addr = do { no overloading; pack 'J', $self; };
1464
1465                 $self->$destroy_callback if $destroy_callback;
1466                 foreach my $field (keys %{$package_fields{$package}}) {
1467                     #print STDERR __LINE__, ": Destroying ", ref $self, " ", sprintf("%04X", $addr), ": ", $field, "\n";
1468                     delete $package_fields{$package}{$field}{$addr};
1469                 }
1470                 return;
1471             }
1472         }
1473
1474         unless ($package->can('dump')) {
1475             my $dump_name = "${package}::dump";
1476             no strict "refs";
1477             *$dump_name = sub {
1478                 my $self = shift;
1479                 return dump_inside_out($self, $package_fields{$package}, @_);
1480             }
1481         }
1482         return;
1483     }
1484
1485     sub set_access {
1486         # Arrange for the input field to be garbage collected when no longer
1487         # needed.  Also, creates standard accessor functions for the field
1488         # based on the optional parameters-- none if none of these parameters:
1489         #   'addable'    creates an 'add_NAME()' accessor function.
1490         #   'readable' or 'readable_array'   creates a 'NAME()' accessor
1491         #                function.
1492         #   'settable'   creates a 'set_NAME()' accessor function.
1493         #   'constructor' doesn't create an accessor function, but adds the
1494         #                field to the hash that was previously passed to
1495         #                setup_package();
1496         # Any of the accesses can be abbreviated down, so that 'a', 'ad',
1497         # 'add' etc. all mean 'addable'.
1498         # The read accessor function will work on both array and scalar
1499         # values.  If another accessor in the parameter list is 'a', the read
1500         # access assumes an array.  You can also force it to be array access
1501         # by specifying 'readable_array' instead of 'readable'
1502         #
1503         # A sort-of 'protected' access can be set-up by preceding the addable,
1504         # readable or settable with some initial portion of 'protected_' (but,
1505         # the underscore is required), like 'p_a', 'pro_set', etc.  The
1506         # "protection" is only by convention.  All that happens is that the
1507         # accessor functions' names begin with an underscore.  So instead of
1508         # calling set_foo, the call is _set_foo.  (Real protection could be
1509         # accomplished by having a new subroutine, end_package, called at the
1510         # end of each package, and then storing the __LINE__ ranges and
1511         # checking them on every accessor.  But that is way overkill.)
1512
1513         # We create anonymous subroutines as the accessors and then use
1514         # typeglobs to assign them to the proper package and name
1515
1516         my $name = shift;   # Name of the field
1517         my $field = shift;  # Reference to the inside-out hash containing the
1518                             # field
1519
1520         my $package = (caller)[0];
1521
1522         if (! exists $package_fields{$package}) {
1523             croak "$0: Must call 'setup_package' before 'set_access'";
1524         }
1525
1526         # Stash the field so DESTROY can get it.
1527         $package_fields{$package}{$name} = $field;
1528
1529         # Remaining arguments are the accessors.  For each...
1530         foreach my $access (@_) {
1531             my $access = lc $access;
1532
1533             my $protected = "";
1534
1535             # Match the input as far as it goes.
1536             if ($access =~ /^(p[^_]*)_/) {
1537                 $protected = $1;
1538                 if (substr('protected_', 0, length $protected)
1539                     eq $protected)
1540                 {
1541
1542                     # Add 1 for the underscore not included in $protected
1543                     $access = substr($access, length($protected) + 1);
1544                     $protected = '_';
1545                 }
1546                 else {
1547                     $protected = "";
1548                 }
1549             }
1550
1551             if (substr('addable', 0, length $access) eq $access) {
1552                 my $subname = "${package}::${protected}add_$name";
1553                 no strict "refs";
1554
1555                 # add_ accessor.  Don't add if already there, which we
1556                 # determine using 'eq' for scalars and '==' otherwise.
1557                 *$subname = sub {
1558                     use strict "refs";
1559                     return Carp::carp_too_few_args(\@_, 2) if main::DEBUG && @_ < 2;
1560                     my $self = shift;
1561                     my $value = shift;
1562                     my $addr = do { no overloading; pack 'J', $self; };
1563                     Carp::carp_extra_args(\@_) if main::DEBUG && @_;
1564                     if (ref $value) {
1565                         return if grep { $value == $_ } @{$field->{$addr}};
1566                     }
1567                     else {
1568                         return if grep { $value eq $_ } @{$field->{$addr}};
1569                     }
1570                     push @{$field->{$addr}}, $value;
1571                     return;
1572                 }
1573             }
1574             elsif (substr('constructor', 0, length $access) eq $access) {
1575                 if ($protected) {
1576                     Carp::my_carp_bug("Can't set-up 'protected' constructors")
1577                 }
1578                 else {
1579                     $constructor_fields{$package}{$name} = $field;
1580                 }
1581             }
1582             elsif (substr('readable_array', 0, length $access) eq $access) {
1583
1584                 # Here has read access.  If one of the other parameters for
1585                 # access is array, or this one specifies array (by being more
1586                 # than just 'readable_'), then create a subroutine that
1587                 # assumes the data is an array.  Otherwise just a scalar
1588                 my $subname = "${package}::${protected}$name";
1589                 if (grep { /^a/i } @_
1590                     or length($access) > length('readable_'))
1591                 {
1592                     no strict "refs";
1593                     *$subname = sub {
1594                         use strict "refs";
1595                         Carp::carp_extra_args(\@_) if main::DEBUG && @_ > 1;
1596                         my $addr = do { no overloading; pack 'J', $_[0]; };
1597                         if (ref $field->{$addr} ne 'ARRAY') {
1598                             my $type = ref $field->{$addr};
1599                             $type = 'scalar' unless $type;
1600                             Carp::my_carp_bug("Trying to read $name as an array when it is a $type.  Big problems.");
1601                             return;
1602                         }
1603                         return scalar @{$field->{$addr}} unless wantarray;
1604
1605                         # Make a copy; had problems with caller modifying the
1606                         # original otherwise
1607                         my @return = @{$field->{$addr}};
1608                         return @return;
1609                     }
1610                 }
1611                 else {
1612
1613                     # Here not an array value, a simpler function.
1614                     no strict "refs";
1615                     *$subname = sub {
1616                         use strict "refs";
1617                         Carp::carp_extra_args(\@_) if main::DEBUG && @_ > 1;
1618                         no overloading;
1619                         return $field->{pack 'J', $_[0]};
1620                     }
1621                 }
1622             }
1623             elsif (substr('settable', 0, length $access) eq $access) {
1624                 my $subname = "${package}::${protected}set_$name";
1625                 no strict "refs";
1626                 *$subname = sub {
1627                     use strict "refs";
1628                     if (main::DEBUG) {
1629                         return Carp::carp_too_few_args(\@_, 2) if @_ < 2;
1630                         Carp::carp_extra_args(\@_) if @_ > 2;
1631                     }
1632                     # $self is $_[0]; $value is $_[1]
1633                     no overloading;
1634                     $field->{pack 'J', $_[0]} = $_[1];
1635                     return;
1636                 }
1637             }
1638             else {
1639                 Carp::my_carp_bug("Unknown accessor type $access.  No accessor set.");
1640             }
1641         }
1642         return;
1643     }
1644 }
1645
1646 package Input_file;
1647
1648 # All input files use this object, which stores various attributes about them,
1649 # and provides for convenient, uniform handling.  The run method wraps the
1650 # processing.  It handles all the bookkeeping of opening, reading, and closing
1651 # the file, returning only significant input lines.
1652 #
1653 # Each object gets a handler which processes the body of the file, and is
1654 # called by run().  Most should use the generic, default handler, which has
1655 # code scrubbed to handle things you might not expect.  A handler should
1656 # basically be a while(next_line()) {...} loop.
1657 #
1658 # You can also set up handlers to
1659 #   1) call before the first line is read for pre processing
1660 #   2) call to adjust each line of the input before the main handler gets them
1661 #   3) call upon EOF before the main handler exits its loop
1662 #   4) call at the end for post processing
1663 #
1664 # $_ is used to store the input line, and is to be filtered by the
1665 # each_line_handler()s.  So, if the format of the line is not in the desired
1666 # format for the main handler, these are used to do that adjusting.  They can
1667 # be stacked (by enclosing them in an [ anonymous array ] in the constructor,
1668 # so the $_ output of one is used as the input to the next.  None of the other
1669 # handlers are stackable, but could easily be changed to be so.
1670 #
1671 # Most of the handlers can call insert_lines() or insert_adjusted_lines()
1672 # which insert the parameters as lines to be processed before the next input
1673 # file line is read.  This allows the EOF handler to flush buffers, for
1674 # example.  The difference between the two routines is that the lines inserted
1675 # by insert_lines() are subjected to the each_line_handler()s.  (So if you
1676 # called it from such a handler, you would get infinite recursion.)  Lines
1677 # inserted by insert_adjusted_lines() go directly to the main handler without
1678 # any adjustments.  If the  post-processing handler calls any of these, there
1679 # will be no effect.  Some error checking for these conditions could be added,
1680 # but it hasn't been done.
1681 #
1682 # carp_bad_line() should be called to warn of bad input lines, which clears $_
1683 # to prevent further processing of the line.  This routine will output the
1684 # message as a warning once, and then keep a count of the lines that have the
1685 # same message, and output that count at the end of the file's processing.
1686 # This keeps the number of messages down to a manageable amount.
1687 #
1688 # get_missings() should be called to retrieve any @missing input lines.
1689 # Messages will be raised if this isn't done if the options aren't to ignore
1690 # missings.
1691
1692 sub trace { return main::trace(@_); }
1693
1694 { # Closure
1695     # Keep track of fields that are to be put into the constructor.
1696     my %constructor_fields;
1697
1698     main::setup_package(Constructor_Fields => \%constructor_fields);
1699
1700     my %file; # Input file name, required
1701     main::set_access('file', \%file, qw{ c r });
1702
1703     my %first_released; # Unicode version file was first released in, required
1704     main::set_access('first_released', \%first_released, qw{ c r });
1705
1706     my %handler;    # Subroutine to process the input file, defaults to
1707                     # 'process_generic_property_file'
1708     main::set_access('handler', \%handler, qw{ c });
1709
1710     my %property;
1711     # name of property this file is for.  defaults to none, meaning not
1712     # applicable, or is otherwise determinable, for example, from each line.
1713     main::set_access('property', \%property, qw{ c });
1714
1715     my %optional;
1716     # If this is true, the file is optional.  If not present, no warning is
1717     # output.  If it is present, the string given by this parameter is
1718     # evaluated, and if false the file is not processed.
1719     main::set_access('optional', \%optional, 'c', 'r');
1720
1721     my %non_skip;
1722     # This is used for debugging, to skip processing of all but a few input
1723     # files.  Add 'non_skip => 1' to the constructor for those files you want
1724     # processed when you set the $debug_skip global.
1725     main::set_access('non_skip', \%non_skip, 'c');
1726
1727     my %skip;
1728     # This is used to skip processing of this input file semi-permanently.
1729     # It is used for files that we aren't planning to process anytime soon,
1730     # but want to allow to be in the directory and not raise a message that we
1731     # are not handling.  Mostly for test files.  This is in contrast to the
1732     # non_skip element, which is supposed to be used very temporarily for
1733     # debugging.  Sets 'optional' to 1
1734     main::set_access('skip', \%skip, 'c');
1735
1736     my %each_line_handler;
1737     # list of subroutines to look at and filter each non-comment line in the
1738     # file.  defaults to none.  The subroutines are called in order, each is
1739     # to adjust $_ for the next one, and the final one adjusts it for
1740     # 'handler'
1741     main::set_access('each_line_handler', \%each_line_handler, 'c');
1742
1743     my %has_missings_defaults;
1744     # ? Are there lines in the file giving default values for code points
1745     # missing from it?.  Defaults to NO_DEFAULTS.  Otherwise NOT_IGNORED is
1746     # the norm, but IGNORED means it has such lines, but the handler doesn't
1747     # use them.  Having these three states allows us to catch changes to the
1748     # UCD that this program should track
1749     main::set_access('has_missings_defaults',
1750                                         \%has_missings_defaults, qw{ c r });
1751
1752     my %pre_handler;
1753     # Subroutine to call before doing anything else in the file.  If undef, no
1754     # such handler is called.
1755     main::set_access('pre_handler', \%pre_handler, qw{ c });
1756
1757     my %eof_handler;
1758     # Subroutine to call upon getting an EOF on the input file, but before
1759     # that is returned to the main handler.  This is to allow buffers to be
1760     # flushed.  The handler is expected to call insert_lines() or
1761     # insert_adjusted() with the buffered material
1762     main::set_access('eof_handler', \%eof_handler, qw{ c r });
1763
1764     my %post_handler;
1765     # Subroutine to call after all the lines of the file are read in and
1766     # processed.  If undef, no such handler is called.
1767     main::set_access('post_handler', \%post_handler, qw{ c });
1768
1769     my %progress_message;
1770     # Message to print to display progress in lieu of the standard one
1771     main::set_access('progress_message', \%progress_message, qw{ c });
1772
1773     my %handle;
1774     # cache open file handle, internal.  Is undef if file hasn't been
1775     # processed at all, empty if has;
1776     main::set_access('handle', \%handle);
1777
1778     my %added_lines;
1779     # cache of lines added virtually to the file, internal
1780     main::set_access('added_lines', \%added_lines);
1781
1782     my %errors;
1783     # cache of errors found, internal
1784     main::set_access('errors', \%errors);
1785
1786     my %missings;
1787     # storage of '@missing' defaults lines
1788     main::set_access('missings', \%missings);
1789
1790     sub new {
1791         my $class = shift;
1792
1793         my $self = bless \do{ my $anonymous_scalar }, $class;
1794         my $addr = do { no overloading; pack 'J', $self; };
1795
1796         # Set defaults
1797         $handler{$addr} = \&main::process_generic_property_file;
1798         $non_skip{$addr} = 0;
1799         $skip{$addr} = 0;
1800         $has_missings_defaults{$addr} = $NO_DEFAULTS;
1801         $handle{$addr} = undef;
1802         $added_lines{$addr} = [ ];
1803         $each_line_handler{$addr} = [ ];
1804         $errors{$addr} = { };
1805         $missings{$addr} = [ ];
1806
1807         # Two positional parameters.
1808         return Carp::carp_too_few_args(\@_, 2) if main::DEBUG && @_ < 2;
1809         $file{$addr} = main::internal_file_to_platform(shift);
1810         $first_released{$addr} = shift;
1811
1812         # The rest of the arguments are key => value pairs
1813         # %constructor_fields has been set up earlier to list all possible
1814         # ones.  Either set or push, depending on how the default has been set
1815         # up just above.
1816         my %args = @_;
1817         foreach my $key (keys %args) {
1818             my $argument = $args{$key};
1819
1820             # Note that the fields are the lower case of the constructor keys
1821             my $hash = $constructor_fields{lc $key};
1822             if (! defined $hash) {
1823                 Carp::my_carp_bug("Unrecognized parameters '$key => $argument' to new() for $self.  Skipped");
1824                 next;
1825             }
1826             if (ref $hash->{$addr} eq 'ARRAY') {
1827                 if (ref $argument eq 'ARRAY') {
1828                     foreach my $argument (@{$argument}) {
1829                         next if ! defined $argument;
1830                         push @{$hash->{$addr}}, $argument;
1831                     }
1832                 }
1833                 else {
1834                     push @{$hash->{$addr}}, $argument if defined $argument;
1835                 }
1836             }
1837             else {
1838                 $hash->{$addr} = $argument;
1839             }
1840             delete $args{$key};
1841         };
1842
1843         # If the file has a property for it, it means that the property is not
1844         # listed in the file's entries.  So add a handler to the list of line
1845         # handlers to insert the property name into the lines, to provide a
1846         # uniform interface to the final processing subroutine.
1847         # the final code doesn't have to worry about that.
1848         if ($property{$addr}) {
1849             push @{$each_line_handler{$addr}}, \&_insert_property_into_line;
1850         }
1851
1852         if ($non_skip{$addr} && ! $debug_skip && $verbosity) {
1853             print "Warning: " . __PACKAGE__ . " constructor for $file{$addr} has useless 'non_skip' in it\n";
1854         }
1855
1856         $optional{$addr} = 1 if $skip{$addr};
1857
1858         return $self;
1859     }
1860
1861
1862     use overload
1863         fallback => 0,
1864         qw("") => "_operator_stringify",
1865         "." => \&main::_operator_dot,
1866     ;
1867
1868     sub _operator_stringify {
1869         my $self = shift;
1870
1871         return __PACKAGE__ . " object for " . $self->file;
1872     }
1873
1874     # flag to make sure extracted files are processed early
1875     my $seen_non_extracted_non_age = 0;
1876
1877     sub run {
1878         # Process the input object $self.  This opens and closes the file and
1879         # calls all the handlers for it.  Currently,  this can only be called
1880         # once per file, as it destroy's the EOF handler
1881
1882         my $self = shift;
1883         Carp::carp_extra_args(\@_) if main::DEBUG && @_;
1884
1885         my $addr = do { no overloading; pack 'J', $self; };
1886
1887         my $file = $file{$addr};
1888
1889         # Don't process if not expecting this file (because released later
1890         # than this Unicode version), and isn't there.  This means if someone
1891         # copies it into an earlier version's directory, we will go ahead and
1892         # process it.
1893         return if $first_released{$addr} gt $v_version && ! -e $file;
1894
1895         # If in debugging mode and this file doesn't have the non-skip
1896         # flag set, and isn't one of the critical files, skip it.
1897         if ($debug_skip
1898             && $first_released{$addr} ne v0
1899             && ! $non_skip{$addr})
1900         {
1901             print "Skipping $file in debugging\n" if $verbosity;
1902             return;
1903         }
1904
1905         # File could be optional
1906         if ($optional{$addr}) {
1907             return unless -e $file;
1908             my $result = eval $optional{$addr};
1909             if (! defined $result) {
1910                 Carp::my_carp_bug("Got '$@' when tried to eval $optional{$addr}.  $file Skipped.");
1911                 return;
1912             }
1913             if (! $result) {
1914                 if ($verbosity) {
1915                     print STDERR "Skipping processing input file '$file' because '$optional{$addr}' is not true\n";
1916                 }
1917                 return;
1918             }
1919         }
1920
1921         if (! defined $file || ! -e $file) {
1922
1923             # If the file doesn't exist, see if have internal data for it
1924             # (based on first_released being 0).
1925             if ($first_released{$addr} eq v0) {
1926                 $handle{$addr} = 'pretend_is_open';
1927             }
1928             else {
1929                 if (! $optional{$addr}  # File could be optional
1930                     && $v_version ge $first_released{$addr})
1931                 {
1932                     print STDERR "Skipping processing input file '$file' because not found\n" if $v_version ge $first_released{$addr};
1933                 }
1934                 return;
1935             }
1936         }
1937         else {
1938
1939             # Here, the file exists.  Some platforms may change the case of
1940             # its name
1941             if ($seen_non_extracted_non_age) {
1942                 if ($file =~ /$EXTRACTED/i) {
1943                     Carp::my_carp_bug(join_lines(<<END
1944 $file should be processed just after the 'Prop...Alias' files, and before
1945 anything not in the $EXTRACTED_DIR directory.  Proceeding, but the results may
1946 have subtle problems
1947 END
1948                     ));
1949                 }
1950             }
1951             elsif ($EXTRACTED_DIR
1952                     && $first_released{$addr} ne v0
1953                     && $file !~ /$EXTRACTED/i
1954                     && lc($file) ne 'dage.txt')
1955             {
1956                 # We don't set this (by the 'if' above) if we have no
1957                 # extracted directory, so if running on an early version,
1958                 # this test won't work.  Not worth worrying about.
1959                 $seen_non_extracted_non_age = 1;
1960             }
1961
1962             # And mark the file as having being processed, and warn if it
1963             # isn't a file we are expecting.  As we process the files,
1964             # they are deleted from the hash, so any that remain at the
1965             # end of the program are files that we didn't process.
1966             my $fkey = File::Spec->rel2abs($file);
1967             my $expecting = delete $potential_files{$fkey};
1968             $expecting = delete $potential_files{lc($fkey)} unless defined $expecting;
1969             Carp::my_carp("Was not expecting '$file'.") if
1970                     ! $expecting
1971                     && ! defined $handle{$addr};
1972
1973             # Having deleted from expected files, we can quit if not to do
1974             # anything.  Don't print progress unless really want verbosity
1975             if ($skip{$addr}) {
1976                 print "Skipping $file.\n" if $verbosity >= $VERBOSE;
1977                 return;
1978             }
1979
1980             # Open the file, converting the slashes used in this program
1981             # into the proper form for the OS
1982             my $file_handle;
1983             if (not open $file_handle, "<", $file) {
1984                 Carp::my_carp("Can't open $file.  Skipping: $!");
1985                 return 0;
1986             }
1987             $handle{$addr} = $file_handle; # Cache the open file handle
1988         }
1989
1990         if ($verbosity >= $PROGRESS) {
1991             if ($progress_message{$addr}) {
1992                 print "$progress_message{$addr}\n";
1993             }
1994             else {
1995                 # If using a virtual file, say so.
1996                 print "Processing ", (-e $file)
1997                                        ? $file
1998                                        : "substitute $file",
1999                                      "\n";
2000             }
2001         }
2002
2003
2004         # Call any special handler for before the file.
2005         &{$pre_handler{$addr}}($self) if $pre_handler{$addr};
2006
2007         # Then the main handler
2008         &{$handler{$addr}}($self);
2009
2010         # Then any special post-file handler.
2011         &{$post_handler{$addr}}($self) if $post_handler{$addr};
2012
2013         # If any errors have been accumulated, output the counts (as the first
2014         # error message in each class was output when it was encountered).
2015         if ($errors{$addr}) {
2016             my $total = 0;
2017             my $types = 0;
2018             foreach my $error (keys %{$errors{$addr}}) {
2019                 $total += $errors{$addr}->{$error};
2020                 delete $errors{$addr}->{$error};
2021                 $types++;
2022             }
2023             if ($total > 1) {
2024                 my $message
2025                         = "A total of $total lines had errors in $file.  ";
2026
2027                 $message .= ($types == 1)
2028                             ? '(Only the first one was displayed.)'
2029                             : '(Only the first of each type was displayed.)';
2030                 Carp::my_carp($message);
2031             }
2032         }
2033
2034         if (@{$missings{$addr}}) {
2035             Carp::my_carp_bug("Handler for $file didn't look at all the \@missing lines.  Generated tables likely are wrong");
2036         }
2037
2038         # If a real file handle, close it.
2039         close $handle{$addr} or Carp::my_carp("Can't close $file: $!") if
2040                                                         ref $handle{$addr};
2041         $handle{$addr} = "";   # Uses empty to indicate that has already seen
2042                                # the file, as opposed to undef
2043         return;
2044     }
2045
2046     sub next_line {
2047         # Sets $_ to be the next logical input line, if any.  Returns non-zero
2048         # if such a line exists.  'logical' means that any lines that have
2049         # been added via insert_lines() will be returned in $_ before the file
2050         # is read again.
2051
2052         my $self = shift;
2053         Carp::carp_extra_args(\@_) if main::DEBUG && @_;
2054
2055         my $addr = do { no overloading; pack 'J', $self; };
2056
2057         # Here the file is open (or if the handle is not a ref, is an open
2058         # 'virtual' file).  Get the next line; any inserted lines get priority
2059         # over the file itself.
2060         my $adjusted;
2061
2062         LINE:
2063         while (1) { # Loop until find non-comment, non-empty line
2064             #local $to_trace = 1 if main::DEBUG;
2065             my $inserted_ref = shift @{$added_lines{$addr}};
2066             if (defined $inserted_ref) {
2067                 ($adjusted, $_) = @{$inserted_ref};
2068                 trace $adjusted, $_ if main::DEBUG && $to_trace;
2069                 return 1 if $adjusted;
2070             }
2071             else {
2072                 last if ! ref $handle{$addr}; # Don't read unless is real file
2073                 last if ! defined ($_ = readline $handle{$addr});
2074             }
2075             chomp;
2076             trace $_ if main::DEBUG && $to_trace;
2077
2078             # See if this line is the comment line that defines what property
2079             # value that code points that are not listed in the file should
2080             # have.  The format or existence of these lines is not guaranteed
2081             # by Unicode since they are comments, but the documentation says
2082             # that this was added for machine-readability, so probably won't
2083             # change.  This works starting in Unicode Version 5.0.  They look
2084             # like:
2085             #
2086             # @missing: 0000..10FFFF; Not_Reordered
2087             # @missing: 0000..10FFFF; Decomposition_Mapping; <code point>
2088             # @missing: 0000..10FFFF; ; NaN
2089             #
2090             # Save the line for a later get_missings() call.
2091             if (/$missing_defaults_prefix/) {
2092                 if ($has_missings_defaults{$addr} == $NO_DEFAULTS) {
2093                     $self->carp_bad_line("Unexpected \@missing line.  Assuming no missing entries");
2094                 }
2095                 elsif ($has_missings_defaults{$addr} == $NOT_IGNORED) {
2096                     my @defaults = split /\s* ; \s*/x, $_;
2097
2098                     # The first field is the @missing, which ends in a
2099                     # semi-colon, so can safely shift.
2100                     shift @defaults;
2101
2102                     # Some of these lines may have empty field placeholders
2103                     # which get in the way.  An example is:
2104                     # @missing: 0000..10FFFF; ; NaN
2105                     # Remove them.  Process starting from the top so the
2106                     # splice doesn't affect things still to be looked at.
2107                     for (my $i = @defaults - 1; $i >= 0; $i--) {
2108                         next if $defaults[$i] ne "";
2109                         splice @defaults, $i, 1;
2110                     }
2111
2112                     # What's left should be just the property (maybe) and the
2113                     # default.  Having only one element means it doesn't have
2114                     # the property.
2115                     my $default;
2116                     my $property;
2117                     if (@defaults >= 1) {
2118                         if (@defaults == 1) {
2119                             $default = $defaults[0];
2120                         }
2121                         else {
2122                             $property = $defaults[0];
2123                             $default = $defaults[1];
2124                         }
2125                     }
2126
2127                     if (@defaults < 1
2128                         || @defaults > 2
2129                         || ($default =~ /^</
2130                             && $default !~ /^<code *point>$/i
2131                             && $default !~ /^<none>$/i))
2132                     {
2133                         $self->carp_bad_line("Unrecognized \@missing line: $_.  Assuming no missing entries");
2134                     }
2135                     else {
2136
2137                         # If the property is missing from the line, it should
2138                         # be the one for the whole file
2139                         $property = $property{$addr} if ! defined $property;
2140
2141                         # Change <none> to the null string, which is what it
2142                         # really means.  If the default is the code point
2143                         # itself, set it to <code point>, which is what
2144                         # Unicode uses (but sometimes they've forgotten the
2145                         # space)
2146                         if ($default =~ /^<none>$/i) {
2147                             $default = "";
2148                         }
2149                         elsif ($default =~ /^<code *point>$/i) {
2150                             $default = $CODE_POINT;
2151                         }
2152
2153                         # Store them as a sub-arrays with both components.
2154                         push @{$missings{$addr}}, [ $default, $property ];
2155                     }
2156                 }
2157
2158                 # There is nothing for the caller to process on this comment
2159                 # line.
2160                 next;
2161             }
2162
2163             # Remove comments and trailing space, and skip this line if the
2164             # result is empty
2165             s/#.*//;
2166             s/\s+$//;
2167             next if /^$/;
2168
2169             # Call any handlers for this line, and skip further processing of
2170             # the line if the handler sets the line to null.
2171             foreach my $sub_ref (@{$each_line_handler{$addr}}) {
2172                 &{$sub_ref}($self);
2173                 next LINE if /^$/;
2174             }
2175
2176             # Here the line is ok.  return success.
2177             return 1;
2178         } # End of looping through lines.
2179
2180         # If there is an EOF handler, call it (only once) and if it generates
2181         # more lines to process go back in the loop to handle them.
2182         if ($eof_handler{$addr}) {
2183             &{$eof_handler{$addr}}($self);
2184             $eof_handler{$addr} = "";   # Currently only get one shot at it.
2185             goto LINE if $added_lines{$addr};
2186         }
2187
2188         # Return failure -- no more lines.
2189         return 0;
2190
2191     }
2192
2193 #   Not currently used, not fully tested.
2194 #    sub peek {
2195 #        # Non-destructive look-ahead one non-adjusted, non-comment, non-blank
2196 #        # record.  Not callable from an each_line_handler(), nor does it call
2197 #        # an each_line_handler() on the line.
2198 #
2199 #        my $self = shift;
2200 #        my $addr = do { no overloading; pack 'J', $self; };
2201 #
2202 #        foreach my $inserted_ref (@{$added_lines{$addr}}) {
2203 #            my ($adjusted, $line) = @{$inserted_ref};
2204 #            next if $adjusted;
2205 #
2206 #            # Remove comments and trailing space, and return a non-empty
2207 #            # resulting line
2208 #            $line =~ s/#.*//;
2209 #            $line =~ s/\s+$//;
2210 #            return $line if $line ne "";
2211 #        }
2212 #
2213 #        return if ! ref $handle{$addr}; # Don't read unless is real file
2214 #        while (1) { # Loop until find non-comment, non-empty line
2215 #            local $to_trace = 1 if main::DEBUG;
2216 #            trace $_ if main::DEBUG && $to_trace;
2217 #            return if ! defined (my $line = readline $handle{$addr});
2218 #            chomp $line;
2219 #            push @{$added_lines{$addr}}, [ 0, $line ];
2220 #
2221 #            $line =~ s/#.*//;
2222 #            $line =~ s/\s+$//;
2223 #            return $line if $line ne "";
2224 #        }
2225 #
2226 #        return;
2227 #    }
2228
2229
2230     sub insert_lines {
2231         # Lines can be inserted so that it looks like they were in the input
2232         # file at the place it was when this routine is called.  See also
2233         # insert_adjusted_lines().  Lines inserted via this routine go through
2234         # any each_line_handler()
2235
2236         my $self = shift;
2237
2238         # Each inserted line is an array, with the first element being 0 to
2239         # indicate that this line hasn't been adjusted, and needs to be
2240         # processed.
2241         no overloading;
2242         push @{$added_lines{pack 'J', $self}}, map { [ 0, $_ ] } @_;
2243         return;
2244     }
2245
2246     sub insert_adjusted_lines {
2247         # Lines can be inserted so that it looks like they were in the input
2248         # file at the place it was when this routine is called.  See also
2249         # insert_lines().  Lines inserted via this routine are already fully
2250         # adjusted, ready to be processed; each_line_handler()s handlers will
2251         # not be called.  This means this is not a completely general
2252         # facility, as only the last each_line_handler on the stack should
2253         # call this.  It could be made more general, by passing to each of the
2254         # line_handlers their position on the stack, which they would pass on
2255         # to this routine, and that would replace the boolean first element in
2256         # the anonymous array pushed here, so that the next_line routine could
2257         # use that to call only those handlers whose index is after it on the
2258         # stack.  But this is overkill for what is needed now.
2259
2260         my $self = shift;
2261         trace $_[0] if main::DEBUG && $to_trace;
2262
2263         # Each inserted line is an array, with the first element being 1 to
2264         # indicate that this line has been adjusted
2265         no overloading;
2266         push @{$added_lines{pack 'J', $self}}, map { [ 1, $_ ] } @_;
2267         return;
2268     }
2269
2270     sub get_missings {
2271         # Returns the stored up @missings lines' values, and clears the list.
2272         # The values are in an array, consisting of the default in the first
2273         # element, and the property in the 2nd.  However, since these lines
2274         # can be stacked up, the return is an array of all these arrays.
2275
2276         my $self = shift;
2277         Carp::carp_extra_args(\@_) if main::DEBUG && @_;
2278
2279         my $addr = do { no overloading; pack 'J', $self; };
2280
2281         # If not accepting a list return, just return the first one.
2282         return shift @{$missings{$addr}} unless wantarray;
2283
2284         my @return = @{$missings{$addr}};
2285         undef @{$missings{$addr}};
2286         return @return;
2287     }
2288
2289     sub _insert_property_into_line {
2290         # Add a property field to $_, if this file requires it.
2291
2292         my $self = shift;
2293         my $addr = do { no overloading; pack 'J', $self; };
2294         my $property = $property{$addr};
2295         Carp::carp_extra_args(\@_) if main::DEBUG && @_;
2296
2297         $_ =~ s/(;|$)/; $property$1/;
2298         return;
2299     }
2300
2301     sub carp_bad_line {
2302         # Output consistent error messages, using either a generic one, or the
2303         # one given by the optional parameter.  To avoid gazillions of the
2304         # same message in case the syntax of a  file is way off, this routine
2305         # only outputs the first instance of each message, incrementing a
2306         # count so the totals can be output at the end of the file.
2307
2308         my $self = shift;
2309         my $message = shift;
2310         Carp::carp_extra_args(\@_) if main::DEBUG && @_;
2311
2312         my $addr = do { no overloading; pack 'J', $self; };
2313
2314         $message = 'Unexpected line' unless $message;
2315
2316         # No trailing punctuation so as to fit with our addenda.
2317         $message =~ s/[.:;,]$//;
2318
2319         # If haven't seen this exact message before, output it now.  Otherwise
2320         # increment the count of how many times it has occurred
2321         unless ($errors{$addr}->{$message}) {
2322             Carp::my_carp("$message in '$_' in "
2323                             . $file{$addr}
2324                             . " at line $..  Skipping this line;");
2325             $errors{$addr}->{$message} = 1;
2326         }
2327         else {
2328             $errors{$addr}->{$message}++;
2329         }
2330
2331         # Clear the line to prevent any further (meaningful) processing of it.
2332         $_ = "";
2333
2334         return;
2335     }
2336 } # End closure
2337
2338 package Multi_Default;
2339
2340 # Certain properties in early versions of Unicode had more than one possible
2341 # default for code points missing from the files.  In these cases, one
2342 # default applies to everything left over after all the others are applied,
2343 # and for each of the others, there is a description of which class of code
2344 # points applies to it.  This object helps implement this by storing the
2345 # defaults, and for all but that final default, an eval string that generates
2346 # the class that it applies to.
2347
2348
2349 {   # Closure
2350
2351     main::setup_package();
2352
2353     my %class_defaults;
2354     # The defaults structure for the classes
2355     main::set_access('class_defaults', \%class_defaults);
2356
2357     my %other_default;
2358     # The default that applies to everything left over.
2359     main::set_access('other_default', \%other_default, 'r');
2360
2361
2362     sub new {
2363         # The constructor is called with default => eval pairs, terminated by
2364         # the left-over default. e.g.
2365         # Multi_Default->new(
2366         #        'T' => '$gc->table("Mn") + $gc->table("Cf") - 0x200C
2367         #               -  0x200D',
2368         #        'R' => 'some other expression that evaluates to code points',
2369         #        .
2370         #        .
2371         #        .
2372         #        'U'));
2373
2374         my $class = shift;
2375
2376         my $self = bless \do{my $anonymous_scalar}, $class;
2377         my $addr = do { no overloading; pack 'J', $self; };
2378
2379         while (@_ > 1) {
2380             my $default = shift;
2381             my $eval = shift;
2382             $class_defaults{$addr}->{$default} = $eval;
2383         }
2384
2385         $other_default{$addr} = shift;
2386
2387         return $self;
2388     }
2389
2390     sub get_next_defaults {
2391         # Iterates and returns the next class of defaults.
2392         my $self = shift;
2393         Carp::carp_extra_args(\@_) if main::DEBUG && @_;
2394
2395         my $addr = do { no overloading; pack 'J', $self; };
2396
2397         return each %{$class_defaults{$addr}};
2398     }
2399 }
2400
2401 package Alias;
2402
2403 # An alias is one of the names that a table goes by.  This class defines them
2404 # including some attributes.  Everything is currently setup in the
2405 # constructor.
2406
2407
2408 {   # Closure
2409
2410     main::setup_package();
2411
2412     my %name;
2413     main::set_access('name', \%name, 'r');
2414
2415     my %loose_match;
2416     # Determined by the constructor code if this name should match loosely or
2417     # not.  The constructor parameters can override this, but it isn't fully
2418     # implemented, as should have ability to override Unicode one's via
2419     # something like a set_loose_match()
2420     main::set_access('loose_match', \%loose_match, 'r');
2421
2422     my %make_pod_entry;
2423     # Some aliases should not get their own entries because they are covered
2424     # by a wild-card, and some we want to discourage use of.  Binary
2425     main::set_access('make_pod_entry', \%make_pod_entry, 'r');
2426
2427     my %status;
2428     # Aliases have a status, like deprecated, or even suppressed (which means
2429     # they don't appear in documentation).  Enum
2430     main::set_access('status', \%status, 'r');
2431
2432     my %externally_ok;
2433     # Similarly, some aliases should not be considered as usable ones for
2434     # external use, such as file names, or we don't want documentation to
2435     # recommend them.  Boolean
2436     main::set_access('externally_ok', \%externally_ok, 'r');
2437
2438     sub new {
2439         my $class = shift;
2440
2441         my $self = bless \do { my $anonymous_scalar }, $class;
2442         my $addr = do { no overloading; pack 'J', $self; };
2443
2444         $name{$addr} = shift;
2445         $loose_match{$addr} = shift;
2446         $make_pod_entry{$addr} = shift;
2447         $externally_ok{$addr} = shift;
2448         $status{$addr} = shift;
2449
2450         Carp::carp_extra_args(\@_) if main::DEBUG && @_;
2451
2452         # Null names are never ok externally
2453         $externally_ok{$addr} = 0 if $name{$addr} eq "";
2454
2455         return $self;
2456     }
2457 }
2458
2459 package Range;
2460
2461 # A range is the basic unit for storing code points, and is described in the
2462 # comments at the beginning of the program.  Each range has a starting code
2463 # point; an ending code point (not less than the starting one); a value
2464 # that applies to every code point in between the two end-points, inclusive;
2465 # and an enum type that applies to the value.  The type is for the user's
2466 # convenience, and has no meaning here, except that a non-zero type is
2467 # considered to not obey the normal Unicode rules for having standard forms.
2468 #
2469 # The same structure is used for both map and match tables, even though in the
2470 # latter, the value (and hence type) is irrelevant and could be used as a
2471 # comment.  In map tables, the value is what all the code points in the range
2472 # map to.  Type 0 values have the standardized version of the value stored as
2473 # well, so as to not have to recalculate it a lot.
2474
2475 sub trace { return main::trace(@_); }
2476
2477 {   # Closure
2478
2479     main::setup_package();
2480
2481     my %start;
2482     main::set_access('start', \%start, 'r', 's');
2483
2484     my %end;
2485     main::set_access('end', \%end, 'r', 's');
2486
2487     my %value;
2488     main::set_access('value', \%value, 'r');
2489
2490     my %type;
2491     main::set_access('type', \%type, 'r');
2492
2493     my %standard_form;
2494     # The value in internal standard form.  Defined only if the type is 0.
2495     main::set_access('standard_form', \%standard_form);
2496
2497     # Note that if these fields change, the dump() method should as well
2498
2499     sub new {
2500         return Carp::carp_too_few_args(\@_, 3) if main::DEBUG && @_ < 3;
2501         my $class = shift;
2502
2503         my $self = bless \do { my $anonymous_scalar }, $class;
2504         my $addr = do { no overloading; pack 'J', $self; };
2505
2506         $start{$addr} = shift;
2507         $end{$addr} = shift;
2508
2509         my %args = @_;
2510
2511         my $value = delete $args{'Value'};  # Can be 0
2512         $value = "" unless defined $value;
2513         $value{$addr} = $value;
2514
2515         $type{$addr} = delete $args{'Type'} || 0;
2516
2517         Carp::carp_extra_args(\%args) if main::DEBUG && %args;
2518
2519         if (! $type{$addr}) {
2520             $standard_form{$addr} = main::standardize($value);
2521         }
2522
2523         return $self;
2524     }
2525
2526     use overload
2527         fallback => 0,
2528         qw("") => "_operator_stringify",
2529         "." => \&main::_operator_dot,
2530     ;
2531
2532     sub _operator_stringify {
2533         my $self = shift;
2534         my $addr = do { no overloading; pack 'J', $self; };
2535
2536         # Output it like '0041..0065 (value)'
2537         my $return = sprintf("%04X", $start{$addr})
2538                         .  '..'
2539                         . sprintf("%04X", $end{$addr});
2540         my $value = $value{$addr};
2541         my $type = $type{$addr};
2542         $return .= ' (';
2543         $return .= "$value";
2544         $return .= ", Type=$type" if $type != 0;
2545         $return .= ')';
2546
2547         return $return;
2548     }
2549
2550     sub standard_form {
2551         # The standard form is the value itself if the standard form is
2552         # undefined (that is if the value is special)
2553
2554         my $self = shift;
2555         Carp::carp_extra_args(\@_) if main::DEBUG && @_;
2556
2557         my $addr = do { no overloading; pack 'J', $self; };
2558
2559         return $standard_form{$addr} if defined $standard_form{$addr};
2560         return $value{$addr};
2561     }
2562
2563     sub dump {
2564         # Human, not machine readable.  For machine readable, comment out this
2565         # entire routine and let the standard one take effect.
2566         my $self = shift;
2567         my $indent = shift;
2568         Carp::carp_extra_args(\@_) if main::DEBUG && @_;
2569
2570         my $addr = do { no overloading; pack 'J', $self; };
2571
2572         my $return = $indent
2573                     . sprintf("%04X", $start{$addr})
2574                     . '..'
2575                     . sprintf("%04X", $end{$addr})
2576                     . " '$value{$addr}';";
2577         if (! defined $standard_form{$addr}) {
2578             $return .= "(type=$type{$addr})";
2579         }
2580         elsif ($standard_form{$addr} ne $value{$addr}) {
2581             $return .= "(standard '$standard_form{$addr}')";
2582         }
2583         return $return;
2584     }
2585 } # End closure
2586
2587 package _Range_List_Base;
2588
2589 # Base class for range lists.  A range list is simply an ordered list of
2590 # ranges, so that the ranges with the lowest starting numbers are first in it.
2591 #
2592 # When a new range is added that is adjacent to an existing range that has the
2593 # same value and type, it merges with it to form a larger range.
2594 #
2595 # Ranges generally do not overlap, except that there can be multiple entries
2596 # of single code point ranges.  This is because of NameAliases.txt.
2597 #
2598 # In this program, there is a standard value such that if two different
2599 # values, have the same standard value, they are considered equivalent.  This
2600 # value was chosen so that it gives correct results on Unicode data
2601
2602 # There are a number of methods to manipulate range lists, and some operators
2603 # are overloaded to handle them.
2604
2605 sub trace { return main::trace(@_); }
2606
2607 { # Closure
2608
2609     our $addr;
2610
2611     main::setup_package();
2612
2613     my %ranges;
2614     # The list of ranges
2615     main::set_access('ranges', \%ranges, 'readable_array');
2616
2617     my %max;
2618     # The highest code point in the list.  This was originally a method, but
2619     # actual measurements said it was used a lot.
2620     main::set_access('max', \%max, 'r');
2621
2622     my %each_range_iterator;
2623     # Iterator position for each_range()
2624     main::set_access('each_range_iterator', \%each_range_iterator);
2625
2626     my %owner_name_of;
2627     # Name of parent this is attached to, if any.  Solely for better error
2628     # messages.
2629     main::set_access('owner_name_of', \%owner_name_of, 'p_r');
2630
2631     my %_search_ranges_cache;
2632     # A cache of the previous result from _search_ranges(), for better
2633     # performance
2634     main::set_access('_search_ranges_cache', \%_search_ranges_cache);
2635
2636     sub new {
2637         my $class = shift;
2638         my %args = @_;
2639
2640         # Optional initialization data for the range list.
2641         my $initialize = delete $args{'Initialize'};
2642
2643         my $self;
2644
2645         # Use _union() to initialize.  _union() returns an object of this
2646         # class, which means that it will call this constructor recursively.
2647         # But it won't have this $initialize parameter so that it won't
2648         # infinitely loop on this.
2649         return _union($class, $initialize, %args) if defined $initialize;
2650
2651         $self = bless \do { my $anonymous_scalar }, $class;
2652         my $addr = do { no overloading; pack 'J', $self; };
2653
2654         # Optional parent object, only for debug info.
2655         $owner_name_of{$addr} = delete $args{'Owner'};
2656         $owner_name_of{$addr} = "" if ! defined $owner_name_of{$addr};
2657
2658         # Stringify, in case it is an object.
2659         $owner_name_of{$addr} = "$owner_name_of{$addr}";
2660
2661         # This is used only for error messages, and so a colon is added
2662         $owner_name_of{$addr} .= ": " if $owner_name_of{$addr} ne "";
2663
2664         Carp::carp_extra_args(\%args) if main::DEBUG && %args;
2665
2666         # Max is initialized to a negative value that isn't adjacent to 0,
2667         # for simpler tests
2668         $max{$addr} = -2;
2669
2670         $_search_ranges_cache{$addr} = 0;
2671         $ranges{$addr} = [];
2672
2673         return $self;
2674     }
2675
2676     use overload
2677         fallback => 0,
2678         qw("") => "_operator_stringify",
2679         "." => \&main::_operator_dot,
2680     ;
2681
2682     sub _operator_stringify {
2683         my $self = shift;
2684         my $addr = do { no overloading; pack 'J', $self; };
2685
2686         return "Range_List attached to '$owner_name_of{$addr}'"
2687                                                 if $owner_name_of{$addr};
2688         return "anonymous Range_List " . \$self;
2689     }
2690
2691     sub _union {
2692         # Returns the union of the input code points.  It can be called as
2693         # either a constructor or a method.  If called as a method, the result
2694         # will be a new() instance of the calling object, containing the union
2695         # of that object with the other parameter's code points;  if called as
2696         # a constructor, the first parameter gives the class the new object
2697         # should be, and the second parameter gives the code points to go into
2698         # it.
2699         # In either case, there are two parameters looked at by this routine;
2700         # any additional parameters are passed to the new() constructor.
2701         #
2702         # The code points can come in the form of some object that contains
2703         # ranges, and has a conventionally named method to access them; or
2704         # they can be an array of individual code points (as integers); or
2705         # just a single code point.
2706         #
2707         # If they are ranges, this routine doesn't make any effort to preserve
2708         # the range values of one input over the other.  Therefore this base
2709         # class should not allow _union to be called from other than
2710         # initialization code, so as to prevent two tables from being added
2711         # together where the range values matter.  The general form of this
2712         # routine therefore belongs in a derived class, but it was moved here
2713         # to avoid duplication of code.  The failure to overload this in this
2714         # class keeps it safe.
2715         #
2716
2717         my $self;
2718         my @args;   # Arguments to pass to the constructor
2719
2720         my $class = shift;
2721
2722         # If a method call, will start the union with the object itself, and
2723         # the class of the new object will be the same as self.
2724         if (ref $class) {
2725             $self = $class;
2726             $class = ref $self;
2727             push @args, $self;
2728         }
2729
2730         # Add the other required parameter.
2731         push @args, shift;
2732         # Rest of parameters are passed on to the constructor
2733
2734         # Accumulate all records from both lists.
2735         my @records;
2736         for my $arg (@args) {
2737             #local $to_trace = 0 if main::DEBUG;
2738             trace "argument = $arg" if main::DEBUG && $to_trace;
2739             if (! defined $arg) {
2740                 my $message = "";
2741                 if (defined $self) {
2742                     no overloading;
2743                     $message .= $owner_name_of{pack 'J', $self};
2744                 }
2745                 Carp::my_carp_bug($message .= "Undefined argument to _union.  No union done.");
2746                 return;
2747             }
2748             $arg = [ $arg ] if ! ref $arg;
2749             my $type = ref $arg;
2750             if ($type eq 'ARRAY') {
2751                 foreach my $element (@$arg) {
2752                     push @records, Range->new($element, $element);
2753                 }
2754             }
2755             elsif ($arg->isa('Range')) {
2756                 push @records, $arg;
2757             }
2758             elsif ($arg->can('ranges')) {
2759                 push @records, $arg->ranges;
2760             }
2761             else {
2762                 my $message = "";
2763                 if (defined $self) {
2764                     no overloading;
2765                     $message .= $owner_name_of{pack 'J', $self};
2766                 }
2767                 Carp::my_carp_bug($message . "Cannot take the union of a $type.  No union done.");
2768                 return;
2769             }
2770         }
2771
2772         # Sort with the range containing the lowest ordinal first, but if
2773         # two ranges start at the same code point, sort with the bigger range
2774         # of the two first, because it takes fewer cycles.
2775         @records = sort { ($a->start <=> $b->start)
2776                                       or
2777                                     # if b is shorter than a, b->end will be
2778                                     # less than a->end, and we want to select
2779                                     # a, so want to return -1
2780                                     ($b->end <=> $a->end)
2781                                    } @records;
2782
2783         my $new = $class->new(@_);
2784
2785         # Fold in records so long as they add new information.
2786         for my $set (@records) {
2787             my $start = $set->start;
2788             my $end   = $set->end;
2789             my $value   = $set->value;
2790             if ($start > $new->max) {
2791                 $new->_add_delete('+', $start, $end, $value);
2792             }
2793             elsif ($end > $new->max) {
2794                 $new->_add_delete('+', $new->max +1, $end, $value);
2795             }
2796         }
2797
2798         return $new;
2799     }
2800
2801     sub range_count {        # Return the number of ranges in the range list
2802         my $self = shift;
2803         Carp::carp_extra_args(\@_) if main::DEBUG && @_;
2804
2805         no overloading;
2806         return scalar @{$ranges{pack 'J', $self}};
2807     }
2808
2809     sub min {
2810         # Returns the minimum code point currently in the range list, or if
2811         # the range list is empty, 2 beyond the max possible.  This is a
2812         # method because used so rarely, that not worth saving between calls,
2813         # and having to worry about changing it as ranges are added and
2814         # deleted.
2815
2816         my $self = shift;
2817         Carp::carp_extra_args(\@_) if main::DEBUG && @_;
2818
2819         my $addr = do { no overloading; pack 'J', $self; };
2820
2821         # If the range list is empty, return a large value that isn't adjacent
2822         # to any that could be in the range list, for simpler tests
2823         return $LAST_UNICODE_CODEPOINT + 2 unless scalar @{$ranges{$addr}};
2824         return $ranges{$addr}->[0]->start;
2825     }
2826
2827     sub contains {
2828         # Boolean: Is argument in the range list?  If so returns $i such that:
2829         #   range[$i]->end < $codepoint <= range[$i+1]->end
2830         # which is one beyond what you want; this is so that the 0th range
2831         # doesn't return false
2832         my $self = shift;
2833         my $codepoint = shift;
2834         Carp::carp_extra_args(\@_) if main::DEBUG && @_;
2835
2836         my $i = $self->_search_ranges($codepoint);
2837         return 0 unless defined $i;
2838
2839         # The search returns $i, such that
2840         #   range[$i-1]->end < $codepoint <= range[$i]->end
2841         # So is in the table if and only iff it is at least the start position
2842         # of range $i.
2843         no overloading;
2844         return 0 if $ranges{pack 'J', $self}->[$i]->start > $codepoint;
2845         return $i + 1;
2846     }
2847
2848     sub value_of {
2849         # Returns the value associated with the code point, undef if none
2850
2851         my $self = shift;
2852         my $codepoint = shift;
2853         Carp::carp_extra_args(\@_) if main::DEBUG && @_;
2854
2855         my $i = $self->contains($codepoint);
2856         return unless $i;
2857
2858         # contains() returns 1 beyond where we should look
2859         no overloading;
2860         return $ranges{pack 'J', $self}->[$i-1]->value;
2861     }
2862
2863     sub _search_ranges {
2864         # Find the range in the list which contains a code point, or where it
2865         # should go if were to add it.  That is, it returns $i, such that:
2866         #   range[$i-1]->end < $codepoint <= range[$i]->end
2867         # Returns undef if no such $i is possible (e.g. at end of table), or
2868         # if there is an error.
2869
2870         my $self = shift;
2871         my $code_point = shift;
2872         Carp::carp_extra_args(\@_) if main::DEBUG && @_;
2873
2874         my $addr = do { no overloading; pack 'J', $self; };
2875
2876         return if $code_point > $max{$addr};
2877         my $r = $ranges{$addr};                # The current list of ranges
2878         my $range_list_size = scalar @$r;
2879         my $i;
2880
2881         use integer;        # want integer division
2882
2883         # Use the cached result as the starting guess for this one, because,
2884         # an experiment on 5.1 showed that 90% of the time the cache was the
2885         # same as the result on the next call (and 7% it was one less).
2886         $i = $_search_ranges_cache{$addr};
2887         $i = 0 if $i >= $range_list_size;   # Reset if no longer valid (prob.
2888                                             # from an intervening deletion
2889         #local $to_trace = 1 if main::DEBUG;
2890         trace "previous \$i is still valid: $i" if main::DEBUG && $to_trace && $code_point <= $r->[$i]->end && ($i == 0 || $r->[$i-1]->end < $code_point);
2891         return $i if $code_point <= $r->[$i]->end
2892                      && ($i == 0 || $r->[$i-1]->end < $code_point);
2893
2894         # Here the cache doesn't yield the correct $i.  Try adding 1.
2895         if ($i < $range_list_size - 1
2896             && $r->[$i]->end < $code_point &&
2897             $code_point <= $r->[$i+1]->end)
2898         {
2899             $i++;
2900             trace "next \$i is correct: $i" if main::DEBUG && $to_trace;
2901             $_search_ranges_cache{$addr} = $i;
2902             return $i;
2903         }
2904
2905         # Here, adding 1 also didn't work.  We do a binary search to
2906         # find the correct position, starting with current $i
2907         my $lower = 0;
2908         my $upper = $range_list_size - 1;
2909         while (1) {
2910             trace "top of loop i=$i:", sprintf("%04X", $r->[$lower]->start), "[$lower] .. ", sprintf("%04X", $r->[$i]->start), "[$i] .. ", sprintf("%04X", $r->[$upper]->start), "[$upper]" if main::DEBUG && $to_trace;
2911
2912             if ($code_point <= $r->[$i]->end) {
2913
2914                 # Here we have met the upper constraint.  We can quit if we
2915                 # also meet the lower one.
2916                 last if $i == 0 || $r->[$i-1]->end < $code_point;
2917
2918                 $upper = $i;        # Still too high.
2919
2920             }
2921             else {
2922
2923                 # Here, $r[$i]->end < $code_point, so look higher up.
2924                 $lower = $i;
2925             }
2926
2927             # Split search domain in half to try again.
2928             my $temp = ($upper + $lower) / 2;
2929
2930             # No point in continuing unless $i changes for next time
2931             # in the loop.
2932             if ($temp == $i) {
2933
2934                 # We can't reach the highest element because of the averaging.
2935                 # So if one below the upper edge, force it there and try one
2936                 # more time.
2937                 if ($i == $range_list_size - 2) {
2938
2939                     trace "Forcing to upper edge" if main::DEBUG && $to_trace;
2940                     $i = $range_list_size - 1;
2941
2942                     # Change $lower as well so if fails next time through,
2943                     # taking the average will yield the same $i, and we will
2944                     # quit with the error message just below.
2945                     $lower = $i;
2946                     next;
2947                 }
2948                 Carp::my_carp_bug("$owner_name_of{$addr}Can't find where the range ought to go.  No action taken.");
2949                 return;
2950             }
2951             $i = $temp;
2952         } # End of while loop
2953
2954         if (main::DEBUG && $to_trace) {
2955             trace 'i-1=[', $i-1, ']', $r->[$i-1] if $i;
2956             trace "i=  [ $i ]", $r->[$i];
2957             trace 'i+1=[', $i+1, ']', $r->[$i+1] if $i < $range_list_size - 1;
2958         }
2959
2960         # Here we have found the offset.  Cache it as a starting point for the
2961         # next call.
2962         $_search_ranges_cache{$addr} = $i;
2963         return $i;
2964     }
2965
2966     sub _add_delete {
2967         # Add, replace or delete ranges to or from a list.  The $type
2968         # parameter gives which:
2969         #   '+' => insert or replace a range, returning a list of any changed
2970         #          ranges.
2971         #   '-' => delete a range, returning a list of any deleted ranges.
2972         #
2973         # The next three parameters give respectively the start, end, and
2974         # value associated with the range.  'value' should be null unless the
2975         # operation is '+';
2976         #
2977         # The range list is kept sorted so that the range with the lowest
2978         # starting position is first in the list, and generally, adjacent
2979         # ranges with the same values are merged into a single larger one (see
2980         # exceptions below).
2981         #
2982         # There are more parameters; all are key => value pairs:
2983         #   Type    gives the type of the value.  It is only valid for '+'.
2984         #           All ranges have types; if this parameter is omitted, 0 is
2985         #           assumed.  Ranges with type 0 are assumed to obey the
2986         #           Unicode rules for casing, etc; ranges with other types are
2987         #           not.  Otherwise, the type is arbitrary, for the caller's
2988         #           convenience, and looked at only by this routine to keep
2989         #           adjacent ranges of different types from being merged into
2990         #           a single larger range, and when Replace =>
2991         #           $IF_NOT_EQUIVALENT is specified (see just below).
2992         #   Replace  determines what to do if the range list already contains
2993         #            ranges which coincide with all or portions of the input
2994         #            range.  It is only valid for '+':
2995         #       => $NO            means that the new value is not to replace
2996         #                         any existing ones, but any empty gaps of the
2997         #                         range list coinciding with the input range
2998         #                         will be filled in with the new value.
2999         #       => $UNCONDITIONALLY  means to replace the existing values with
3000         #                         this one unconditionally.  However, if the
3001         #                         new and old values are identical, the
3002         #                         replacement is skipped to save cycles
3003         #       => $IF_NOT_EQUIVALENT means to replace the existing values
3004         #                         with this one if they are not equivalent.
3005         #                         Ranges are equivalent if their types are the
3006         #                         same, and they are the same string; or if
3007         #                         both are type 0 ranges, if their Unicode
3008         #                         standard forms are identical.  In this last
3009         #                         case, the routine chooses the more "modern"
3010         #                         one to use.  This is because some of the
3011         #                         older files are formatted with values that
3012         #                         are, for example, ALL CAPs, whereas the
3013         #                         derived files have a more modern style,
3014         #                         which looks better.  By looking for this
3015         #                         style when the pre-existing and replacement
3016         #                         standard forms are the same, we can move to
3017         #                         the modern style
3018         #       => $MULTIPLE      means that if this range duplicates an
3019         #                         existing one, but has a different value,
3020         #                         don't replace the existing one, but insert
3021         #                         this, one so that the same range can occur
3022         #                         multiple times.
3023         #       => anything else  is the same as => $IF_NOT_EQUIVALENT
3024         #
3025         # "same value" means identical for non-type-0 ranges, and it means
3026         # having the same standard forms for type-0 ranges.
3027
3028         return Carp::carp_too_few_args(\@_, 5) if main::DEBUG && @_ < 5;
3029
3030         my $self = shift;
3031         my $operation = shift;   # '+' for add/replace; '-' for delete;
3032         my $start = shift;
3033         my $end   = shift;
3034         my $value = shift;
3035
3036         my %args = @_;
3037
3038         $value = "" if not defined $value;        # warning: $value can be "0"
3039
3040         my $replace = delete $args{'Replace'};
3041         $replace = $IF_NOT_EQUIVALENT unless defined $replace;
3042
3043         my $type = delete $args{'Type'};
3044         $type = 0 unless defined $type;
3045
3046         Carp::carp_extra_args(\%args) if main::DEBUG && %args;
3047
3048         my $addr = do { no overloading; pack 'J', $self; };
3049
3050         if ($operation ne '+' && $operation ne '-') {
3051             Carp::my_carp_bug("$owner_name_of{$addr}First parameter to _add_delete must be '+' or '-'.  No action taken.");
3052             return;
3053         }
3054         unless (defined $start && defined $end) {
3055             Carp::my_carp_bug("$owner_name_of{$addr}Undefined start and/or end to _add_delete.  No action taken.");
3056             return;
3057         }
3058         unless ($end >= $start) {
3059             Carp::my_carp_bug("$owner_name_of{$addr}End of range (" . sprintf("%04X", $end) . ") must not be before start (" . sprintf("%04X", $start) . ").  No action taken.");
3060             return;
3061         }
3062         #local $to_trace = 1 if main::DEBUG;
3063
3064         if ($operation eq '-') {
3065             if ($replace != $IF_NOT_EQUIVALENT) {
3066                 Carp::my_carp_bug("$owner_name_of{$addr}Replace => \$IF_NOT_EQUIVALENT is required when deleting a range from a range list.  Assuming Replace => \$IF_NOT_EQUIVALENT.");
3067                 $replace = $IF_NOT_EQUIVALENT;
3068             }
3069             if ($type) {
3070                 Carp::my_carp_bug("$owner_name_of{$addr}Type => 0 is required when deleting a range from a range list.  Assuming Type => 0.");
3071                 $type = 0;
3072             }
3073             if ($value ne "") {
3074                 Carp::my_carp_bug("$owner_name_of{$addr}Value => \"\" is required when deleting a range from a range list.  Assuming Value => \"\".");
3075                 $value = "";
3076             }
3077         }
3078
3079         my $r = $ranges{$addr};               # The current list of ranges
3080         my $range_list_size = scalar @$r;     # And its size
3081         my $max = $max{$addr};                # The current high code point in
3082                                               # the list of ranges
3083
3084         # Do a special case requiring fewer machine cycles when the new range
3085         # starts after the current highest point.  The Unicode input data is
3086         # structured so this is common.
3087         if ($start > $max) {
3088
3089             trace "$owner_name_of{$addr} $operation", sprintf("%04X", $start) . '..' . sprintf("%04X", $end) . " ($value) type=$type" if main::DEBUG && $to_trace;
3090             return if $operation eq '-'; # Deleting a non-existing range is a
3091                                          # no-op
3092
3093             # If the new range doesn't logically extend the current final one
3094             # in the range list, create a new range at the end of the range
3095             # list.  (max cleverly is initialized to a negative number not
3096             # adjacent to 0 if the range list is empty, so even adding a range
3097             # to an empty range list starting at 0 will have this 'if'
3098             # succeed.)
3099             if ($start > $max + 1        # non-adjacent means can't extend.
3100                 || @{$r}[-1]->value ne $value # values differ, can't extend.
3101                 || @{$r}[-1]->type != $type # types differ, can't extend.
3102             ) {
3103                 push @$r, Range->new($start, $end,
3104                                      Value => $value,
3105                                      Type => $type);
3106             }
3107             else {
3108
3109                 # Here, the new range starts just after the current highest in
3110                 # the range list, and they have the same type and value.
3111                 # Extend the current range to incorporate the new one.
3112                 @{$r}[-1]->set_end($end);
3113             }
3114
3115             # This becomes the new maximum.
3116             $max{$addr} = $end;
3117
3118             return;
3119         }
3120         #local $to_trace = 0 if main::DEBUG;
3121
3122         trace "$owner_name_of{$addr} $operation", sprintf("%04X", $start) . '..' . sprintf("%04X", $end) . " ($value) replace=$replace" if main::DEBUG && $to_trace;
3123
3124         # Here, the input range isn't after the whole rest of the range list.
3125         # Most likely 'splice' will be needed.  The rest of the routine finds
3126         # the needed splice parameters, and if necessary, does the splice.
3127         # First, find the offset parameter needed by the splice function for
3128         # the input range.  Note that the input range may span multiple
3129         # existing ones, but we'll worry about that later.  For now, just find
3130         # the beginning.  If the input range is to be inserted starting in a
3131         # position not currently in the range list, it must (obviously) come
3132         # just after the range below it, and just before the range above it.
3133         # Slightly less obviously, it will occupy the position currently
3134         # occupied by the range that is to come after it.  More formally, we
3135         # are looking for the position, $i, in the array of ranges, such that:
3136         #
3137         # r[$i-1]->start <= r[$i-1]->end < $start < r[$i]->start <= r[$i]->end
3138         #
3139         # (The ordered relationships within existing ranges are also shown in
3140         # the equation above).  However, if the start of the input range is
3141         # within an existing range, the splice offset should point to that
3142         # existing range's position in the list; that is $i satisfies a
3143         # somewhat different equation, namely:
3144         #
3145         #r[$i-1]->start <= r[$i-1]->end < r[$i]->start <= $start <= r[$i]->end
3146         #
3147         # More briefly, $start can come before or after r[$i]->start, and at
3148         # this point, we don't know which it will be.  However, these
3149         # two equations share these constraints:
3150         #
3151         #   r[$i-1]->end < $start <= r[$i]->end
3152         #
3153         # And that is good enough to find $i.
3154
3155         my $i = $self->_search_ranges($start);
3156         if (! defined $i) {
3157             Carp::my_carp_bug("Searching $self for range beginning with $start unexpectedly returned undefined.  Operation '$operation' not performed");
3158             return;
3159         }
3160
3161         # The search function returns $i such that:
3162         #
3163         # r[$i-1]->end < $start <= r[$i]->end
3164         #
3165         # That means that $i points to the first range in the range list
3166         # that could possibly be affected by this operation.  We still don't
3167         # know if the start of the input range is within r[$i], or if it
3168         # points to empty space between r[$i-1] and r[$i].
3169         trace "[$i] is the beginning splice point.  Existing range there is ", $r->[$i] if main::DEBUG && $to_trace;
3170
3171         # Special case the insertion of data that is not to replace any
3172         # existing data.
3173         if ($replace == $NO) {  # If $NO, has to be operation '+'
3174             #local $to_trace = 1 if main::DEBUG;
3175             trace "Doesn't replace" if main::DEBUG && $to_trace;
3176
3177             # Here, the new range is to take effect only on those code points
3178             # that aren't already in an existing range.  This can be done by
3179             # looking through the existing range list and finding the gaps in
3180             # the ranges that this new range affects, and then calling this
3181             # function recursively on each of those gaps, leaving untouched
3182             # anything already in the list.  Gather up a list of the changed
3183             # gaps first so that changes to the internal state as new ranges
3184             # are added won't be a problem.
3185             my @gap_list;
3186
3187             # First, if the starting point of the input range is outside an
3188             # existing one, there is a gap from there to the beginning of the
3189             # existing range -- add a span to fill the part that this new
3190             # range occupies
3191             if ($start < $r->[$i]->start) {
3192                 push @gap_list, Range->new($start,
3193                                            main::min($end,
3194                                                      $r->[$i]->start - 1),
3195                                            Type => $type);
3196                 trace "gap before $r->[$i] [$i], will add", $gap_list[-1] if main::DEBUG && $to_trace;
3197             }
3198
3199             # Then look through the range list for other gaps until we reach
3200             # the highest range affected by the input one.
3201             my $j;
3202             for ($j = $i+1; $j < $range_list_size; $j++) {
3203                 trace "j=[$j]", $r->[$j] if main::DEBUG && $to_trace;
3204                 last if $end < $r->[$j]->start;
3205
3206                 # If there is a gap between when this range starts and the
3207                 # previous one ends, add a span to fill it.  Note that just
3208                 # because there are two ranges doesn't mean there is a
3209                 # non-zero gap between them.  It could be that they have
3210                 # different values or types
3211                 if ($r->[$j-1]->end + 1 != $r->[$j]->start) {
3212                     push @gap_list,
3213                         Range->new($r->[$j-1]->end + 1,
3214                                    $r->[$j]->start - 1,
3215                                    Type => $type);
3216                     trace "gap between $r->[$j-1] and $r->[$j] [$j], will add: $gap_list[-1]" if main::DEBUG && $to_trace;
3217                 }
3218             }
3219
3220             # Here, we have either found an existing range in the range list,
3221             # beyond the area affected by the input one, or we fell off the
3222             # end of the loop because the input range affects the whole rest
3223             # of the range list.  In either case, $j is 1 higher than the
3224             # highest affected range.  If $j == $i, it means that there are no
3225             # affected ranges, that the entire insertion is in the gap between
3226             # r[$i-1], and r[$i], which we already have taken care of before
3227             # the loop.
3228             # On the other hand, if there are affected ranges, it might be
3229             # that there is a gap that needs filling after the final such
3230             # range to the end of the input range
3231             if ($r->[$j-1]->end < $end) {
3232                     push @gap_list, Range->new(main::max($start,
3233                                                          $r->[$j-1]->end + 1),
3234                                                $end,
3235                                                Type => $type);
3236                     trace "gap after $r->[$j-1], will add $gap_list[-1]" if main::DEBUG && $to_trace;
3237             }
3238
3239             # Call recursively to fill in all the gaps.
3240             foreach my $gap (@gap_list) {
3241                 $self->_add_delete($operation,
3242                                    $gap->start,
3243                                    $gap->end,
3244                                    $value,
3245                                    Type => $type);
3246             }
3247
3248             return;
3249         }
3250
3251         # Here, we have taken care of the case where $replace is $NO, which
3252         # means that whatever action we now take is done unconditionally.  It
3253         # still could be that this call will result in a no-op, if duplicates
3254         # aren't allowed, and we are inserting a range that merely duplicates
3255         # data already in the range list; or also if deleting a non-existent
3256         # range.
3257         # $i still points to the first potential affected range.  Now find the
3258         # highest range affected, which will determine the length parameter to
3259         # splice.  (The input range can span multiple existing ones.)  While
3260         # we are looking through the range list, see also if this is an
3261         # insertion that will change the values of at least one of the
3262         # affected ranges.  We don't need to do this check unless this is an
3263         # insertion of non-multiples, and also since this is a boolean, we
3264         # don't need to do it if have already determined that it will make a
3265         # change; just unconditionally change them.  $cdm is created to be 1
3266         # if either of these is true. (The 'c' in the name comes from below)
3267         my $cdm = ($operation eq '-' || $replace == $MULTIPLE);
3268         my $j;        # This will point to the highest affected range
3269
3270         # For non-zero types, the standard form is the value itself;
3271         my $standard_form = ($type) ? $value : main::standardize($value);
3272
3273         for ($j = $i; $j < $range_list_size; $j++) {
3274             trace "Looking for highest affected range; the one at $j is ", $r->[$j] if main::DEBUG && $to_trace;
3275
3276             # If find a range that it doesn't overlap into, we can stop
3277             # searching
3278             last if $end < $r->[$j]->start;
3279
3280             # Here, overlaps the range at $j.  If the value's don't match,
3281             # and this is supposedly an insertion, it becomes a change
3282             # instead.  This is what the 'c' stands for in $cdm.
3283             if (! $cdm) {
3284                 if ($r->[$j]->standard_form ne $standard_form) {
3285                     $cdm = 1;
3286                 }
3287                 else {
3288
3289                     # Here, the two values are essentially the same.  If the
3290                     # two are actually identical, replacing wouldn't change
3291                     # anything so skip it.
3292                     my $pre_existing = $r->[$j]->value;
3293                     if ($pre_existing ne $value) {
3294
3295                         # Here the new and old standardized values are the
3296                         # same, but the non-standardized values aren't.  If
3297                         # replacing unconditionally, then replace
3298                         if( $replace == $UNCONDITIONALLY) {
3299                             $cdm = 1;
3300                         }
3301                         else {
3302
3303                             # Here, are replacing conditionally.  Decide to
3304                             # replace or not based on which appears to look
3305                             # the "nicest".  If one is mixed case and the
3306                             # other isn't, choose the mixed case one.
3307                             my $new_mixed = $value =~ /[A-Z]/
3308                                             && $value =~ /[a-z]/;
3309                             my $old_mixed = $pre_existing =~ /[A-Z]/
3310                                             && $pre_existing =~ /[a-z]/;
3311
3312                             if ($old_mixed != $new_mixed) {
3313                                 $cdm = 1 if $new_mixed;
3314                                 if (main::DEBUG && $to_trace) {
3315                                     if ($cdm) {
3316                                         trace "Replacing $pre_existing with $value";
3317                                     }
3318                                     else {
3319                                         trace "Retaining $pre_existing over $value";
3320                                     }
3321                                 }
3322                             }
3323                             else {
3324
3325                                 # Here casing wasn't different between the two.
3326                                 # If one has hyphens or underscores and the
3327                                 # other doesn't, choose the one with the
3328                                 # punctuation.
3329                                 my $new_punct = $value =~ /[-_]/;
3330                                 my $old_punct = $pre_existing =~ /[-_]/;
3331
3332                                 if ($old_punct != $new_punct) {
3333                                     $cdm = 1 if $new_punct;
3334                                     if (main::DEBUG && $to_trace) {
3335                                         if ($cdm) {
3336                                             trace "Replacing $pre_existing with $value";
3337                                         }
3338                                         else {
3339                                             trace "Retaining $pre_existing over $value";
3340                                         }
3341                                     }
3342                                 }   # else existing one is just as "good";
3343                                     # retain it to save cycles.
3344                             }
3345                         }
3346                     }
3347                 }
3348             }
3349         } # End of loop looking for highest affected range.
3350
3351         # Here, $j points to one beyond the highest range that this insertion
3352         # affects (hence to beyond the range list if that range is the final
3353         # one in the range list).
3354
3355         # The splice length is all the affected ranges.  Get it before
3356         # subtracting, for efficiency, so we don't have to later add 1.
3357         my $length = $j - $i;
3358
3359         $j--;        # $j now points to the highest affected range.
3360         trace "Final affected range is $j: $r->[$j]" if main::DEBUG && $to_trace;
3361
3362         # If inserting a multiple record, this is where it goes, after all the
3363         # existing ones for this range.  This implies an insertion, and no
3364         # change to any existing ranges.  Note that $j can be -1 if this new
3365         # range doesn't actually duplicate any existing, and comes at the
3366         # beginning of the list, in which case we can handle it like any other
3367         # insertion, and is easier to do so.
3368         if ($replace == $MULTIPLE && $j >= 0) {
3369
3370             # This restriction could be remedied with a little extra work, but
3371             # it won't hopefully ever be necessary
3372             if ($r->[$j]->start != $r->[$j]->end) {
3373                 Carp::my_carp_bug("$owner_name_of{$addr}Can't cope with adding a multiple when the other range ($r->[$j]) contains more than one code point.  No action taken.");
3374                 return;
3375             }
3376
3377             # Don't add an exact duplicate, as it isn't really a multiple
3378             return if $value eq $r->[$j]->value && $type eq $r->[$j]->type;
3379
3380             trace "Adding multiple record at $j+1 with $start..$end, $value" if main::DEBUG && $to_trace;
3381             my @return = splice @$r,
3382                                 $j+1,
3383                                 0,
3384                                 Range->new($start,
3385                                            $end,
3386                                            Value => $value,
3387                                            Type => $type);
3388             if (main::DEBUG && $to_trace) {
3389                 trace "After splice:";
3390                 trace 'j-2=[', $j-2, ']', $r->[$j-2] if $j >= 2;
3391                 trace 'j-1=[', $j-1, ']', $r->[$j-1] if $j >= 1;
3392                 trace "j  =[", $j, "]", $r->[$j] if $j >= 0;
3393                 trace 'j+1=[', $j+1, ']', $r->[$j+1] if $j < @$r - 1;
3394                 trace 'j+2=[', $j+2, ']', $r->[$j+2] if $j < @$r - 2;
3395                 trace 'j+3=[', $j+3, ']', $r->[$j+3] if $j < @$r - 3;
3396             }
3397             return @return;
3398         }
3399
3400         # Here, have taken care of $NO and $MULTIPLE replaces.
3401         # $j points to the highest affected range.  But it can be < $i or even
3402         # -1.  These happen only if the insertion is entirely in the gap
3403         # between r[$i-1] and r[$i].  Here's why: j < i means that the j loop
3404         # above exited first time through with $end < $r->[$i]->start.  (And
3405         # then we subtracted one from j)  This implies also that $start <
3406         # $r->[$i]->start, but we know from above that $r->[$i-1]->end <
3407         # $start, so the entire input range is in the gap.
3408         if ($j < $i) {
3409
3410             # Here the entire input range is in the gap before $i.
3411
3412             if (main::DEBUG && $to_trace) {
3413                 if ($i) {
3414                     trace "Entire range is between $r->[$i-1] and $r->[$i]";
3415                 }
3416                 else {
3417                     trace "Entire range is before $r->[$i]";
3418                 }
3419             }
3420             return if $operation ne '+'; # Deletion of a non-existent range is
3421                                          # a no-op
3422         }
3423         else {
3424
3425             # Here the entire input range is not in the gap before $i.  There
3426             # is an affected one, and $j points to the highest such one.
3427
3428             # At this point, here is the situation:
3429             # This is not an insertion of a multiple, nor of tentative ($NO)
3430             # data.
3431             #   $i  points to the first element in the current range list that
3432             #            may be affected by this operation.  In fact, we know
3433             #            that the range at $i is affected because we are in
3434             #            the else branch of this 'if'
3435             #   $j  points to the highest affected range.
3436             # In other words,
3437             #   r[$i-1]->end < $start <= r[$i]->end
3438             # And:
3439             #   r[$i-1]->end < $start <= $end <= r[$j]->end
3440             #
3441             # Also:
3442             #   $cdm is a boolean which is set true if and only if this is a
3443             #        change or deletion (multiple was handled above).  In
3444             #        other words, it could be renamed to be just $cd.
3445
3446             # We now have enough information to decide if this call is a no-op
3447             # or not.  It is a no-op if it is a deletion of a non-existent
3448             # range, or an insertion of already existing data.
3449
3450             if (main::DEBUG && $to_trace && ! $cdm
3451                                          && $i == $j
3452                                          && $start >= $r->[$i]->start)
3453             {
3454                     trace "no-op";
3455             }
3456             return if ! $cdm      # change or delete => not no-op
3457                       && $i == $j # more than one affected range => not no-op
3458
3459                       # Here, r[$i-1]->end < $start <= $end <= r[$i]->end
3460                       # Further, $start and/or $end is >= r[$i]->start
3461                       # The test below hence guarantees that
3462                       #     r[$i]->start < $start <= $end <= r[$i]->end
3463                       # This means the input range is contained entirely in
3464                       # the one at $i, so is a no-op
3465                       && $start >= $r->[$i]->start;
3466         }
3467
3468         # Here, we know that some action will have to be taken.  We have
3469         # calculated the offset and length (though adjustments may be needed)
3470         # for the splice.  Now start constructing the replacement list.
3471         my @replacement;
3472         my $splice_start = $i;
3473
3474         my $extends_below;
3475         my $extends_above;
3476
3477         # See if should extend any adjacent ranges.
3478         if ($operation eq '-') { # Don't extend deletions
3479             $extends_below = $extends_above = 0;
3480         }
3481         else {  # Here, should extend any adjacent ranges.  See if there are
3482                 # any.
3483             $extends_below = ($i > 0
3484                             # can't extend unless adjacent
3485                             && $r->[$i-1]->end == $start -1
3486                             # can't extend unless are same standard value
3487                             && $r->[$i-1]->standard_form eq $standard_form
3488                             # can't extend unless share type
3489                             && $r->[$i-1]->type == $type);
3490             $extends_above = ($j+1 < $range_list_size
3491                             && $r->[$j+1]->start == $end +1
3492                             && $r->[$j+1]->standard_form eq $standard_form
3493                             && $r->[$j-1]->type == $type);
3494         }
3495         if ($extends_below && $extends_above) { # Adds to both
3496             $splice_start--;     # start replace at element below
3497             $length += 2;        # will replace on both sides
3498             trace "Extends both below and above ranges" if main::DEBUG && $to_trace;
3499
3500             # The result will fill in any gap, replacing both sides, and
3501             # create one large range.
3502             @replacement = Range->new($r->[$i-1]->start,
3503                                       $r->[$j+1]->end,
3504                                       Value => $value,
3505                                       Type => $type);
3506         }
3507         else {
3508
3509             # Here we know that the result won't just be the conglomeration of
3510             # a new range with both its adjacent neighbors.  But it could
3511             # extend one of them.
3512
3513             if ($extends_below) {
3514
3515                 # Here the new element adds to the one below, but not to the
3516                 # one above.  If inserting, and only to that one range,  can
3517                 # just change its ending to include the new one.
3518                 if ($length == 0 && ! $cdm) {
3519                     $r->[$i-1]->set_end($end);
3520                     trace "inserted range extends range to below so it is now $r->[$i-1]" if main::DEBUG && $to_trace;
3521                     return;
3522                 }
3523                 else {
3524                     trace "Changing inserted range to start at ", sprintf("%04X",  $r->[$i-1]->start), " instead of ", sprintf("%04X", $start) if main::DEBUG && $to_trace;
3525                     $splice_start--;        # start replace at element below
3526                     $length++;              # will replace the element below
3527                     $start = $r->[$i-1]->start;
3528                 }
3529             }
3530             elsif ($extends_above) {
3531
3532                 # Here the new element adds to the one above, but not below.
3533                 # Mirror the code above
3534                 if ($length == 0 && ! $cdm) {
3535                     $r->[$j+1]->set_start($start);
3536                     trace "inserted range extends range to above so it is now $r->[$j+1]" if main::DEBUG && $to_trace;
3537                     return;
3538                 }
3539                 else {
3540                     trace "Changing inserted range to end at ", sprintf("%04X",  $r->[$j+1]->end), " instead of ", sprintf("%04X", $end) if main::DEBUG && $to_trace;
3541                     $length++;        # will replace the element above
3542                     $end = $r->[$j+1]->end;
3543                 }
3544             }
3545
3546             trace "Range at $i is $r->[$i]" if main::DEBUG && $to_trace;
3547
3548             # Finally, here we know there will have to be a splice.
3549             # If the change or delete affects only the highest portion of the
3550             # first affected range, the range will have to be split.  The
3551             # splice will remove the whole range, but will replace it by a new
3552             # range containing just the unaffected part.  So, in this case,
3553             # add to the replacement list just this unaffected portion.
3554             if (! $extends_below
3555                 && $start > $r->[$i]->start && $start <= $r->[$i]->end)
3556             {
3557                 push @replacement,
3558                     Range->new($r->[$i]->start,
3559                                $start - 1,
3560                                Value => $r->[$i]->value,
3561                                Type => $r->[$i]->type);
3562             }
3563
3564             # In the case of an insert or change, but not a delete, we have to
3565             # put in the new stuff;  this comes next.
3566             if ($operation eq '+') {
3567                 push @replacement, Range->new($start,
3568                                               $end,
3569                                               Value => $value,
3570                                               Type => $type);
3571             }
3572
3573             trace "Range at $j is $r->[$j]" if main::DEBUG && $to_trace && $j != $i;
3574             #trace "$end >=", $r->[$j]->start, " && $end <", $r->[$j]->end if main::DEBUG && $to_trace;
3575
3576             # And finally, if we're changing or deleting only a portion of the
3577             # highest affected range, it must be split, as the lowest one was.
3578             if (! $extends_above
3579                 && $j >= 0  # Remember that j can be -1 if before first
3580                             # current element
3581                 && $end >= $r->[$j]->start
3582                 && $end < $r->[$j]->end)
3583             {
3584                 push @replacement,
3585                     Range->new($end + 1,
3586                                $r->[$j]->end,
3587                                Value => $r->[$j]->value,
3588                                Type => $r->[$j]->type);
3589             }
3590         }
3591
3592         # And do the splice, as calculated above
3593         if (main::DEBUG && $to_trace) {
3594             trace "replacing $length element(s) at $i with ";
3595             foreach my $replacement (@replacement) {
3596                 trace "    $replacement";
3597             }
3598             trace "Before splice:";
3599             trace 'i-2=[', $i-2, ']', $r->[$i-2] if $i >= 2;
3600             trace 'i-1=[', $i-1, ']', $r->[$i-1] if $i >= 1;
3601             trace "i  =[", $i, "]", $r->[$i];
3602             trace 'i+1=[', $i+1, ']', $r->[$i+1] if $i < @$r - 1;
3603             trace 'i+2=[', $i+2, ']', $r->[$i+2] if $i < @$r - 2;
3604         }
3605
3606         my @return = splice @$r, $splice_start, $length, @replacement;
3607
3608         if (main::DEBUG && $to_trace) {
3609             trace "After splice:";
3610             trace 'i-2=[', $i-2, ']', $r->[$i-2] if $i >= 2;
3611             trace 'i-1=[', $i-1, ']', $r->[$i-1] if $i >= 1;
3612             trace "i  =[", $i, "]", $r->[$i];
3613             trace 'i+1=[', $i+1, ']', $r->[$i+1] if $i < @$r - 1;
3614             trace 'i+2=[', $i+2, ']', $r->[$i+2] if $i < @$r - 2;
3615             trace "removed @return";
3616         }
3617
3618         # An actual deletion could have changed the maximum in the list.
3619         # There was no deletion if the splice didn't return something, but
3620         # otherwise recalculate it.  This is done too rarely to worry about
3621         # performance.
3622         if ($operation eq '-' && @return) {
3623             $max{$addr} = $r->[-1]->end;
3624         }
3625         return @return;
3626     }
3627
3628     sub reset_each_range {  # reset the iterator for each_range();
3629         my $self = shift;
3630         Carp::carp_extra_args(\@_) if main::DEBUG && @_;
3631
3632         no overloading;
3633         undef $each_range_iterator{pack 'J', $self};
3634         return;
3635     }
3636
3637     sub each_range {
3638         # Iterate over each range in a range list.  Results are undefined if
3639         # the range list is changed during the iteration.
3640
3641         my $self = shift;
3642         Carp::carp_extra_args(\@_) if main::DEBUG && @_;
3643
3644         my $addr = do { no overloading; pack 'J', $self; };
3645
3646         return if $self->is_empty;
3647
3648         $each_range_iterator{$addr} = -1
3649                                 if ! defined $each_range_iterator{$addr};
3650         $each_range_iterator{$addr}++;
3651         return $ranges{$addr}->[$each_range_iterator{$addr}]
3652                         if $each_range_iterator{$addr} < @{$ranges{$addr}};
3653         undef $each_range_iterator{$addr};
3654         return;
3655     }
3656
3657     sub count {        # Returns count of code points in range list
3658         my $self = shift;
3659         Carp::carp_extra_args(\@_) if main::DEBUG && @_;
3660
3661         my $addr = do { no overloading; pack 'J', $self; };
3662
3663         my $count = 0;
3664         foreach my $range (@{$ranges{$addr}}) {
3665             $count += $range->end - $range->start + 1;
3666         }
3667         return $count;
3668     }
3669
3670     sub delete_range {    # Delete a range
3671         my $self = shift;
3672         my $start = shift;
3673         my $end = shift;
3674
3675         Carp::carp_extra_args(\@_) if main::DEBUG && @_;
3676
3677         return $self->_add_delete('-', $start, $end, "");
3678     }
3679
3680     sub is_empty { # Returns boolean as to if a range list is empty
3681         my $self = shift;
3682         Carp::carp_extra_args(\@_) if main::DEBUG && @_;
3683
3684         no overloading;
3685         return scalar @{$ranges{pack 'J', $self}} == 0;
3686     }
3687
3688     sub hash {
3689         # Quickly returns a scalar suitable for separating tables into
3690         # buckets, i.e. it is a hash function of the contents of a table, so
3691         # there are relatively few conflicts.
3692
3693         my $self = shift;
3694         Carp::carp_extra_args(\@_) if main::DEBUG && @_;
3695
3696         my $addr = do { no overloading; pack 'J', $self; };
3697
3698         # These are quickly computable.  Return looks like 'min..max;count'
3699         return $self->min . "..$max{$addr};" . scalar @{$ranges{$addr}};
3700     }
3701 } # End closure for _Range_List_Base
3702
3703 package Range_List;
3704 use base '_Range_List_Base';
3705
3706 # A Range_List is a range list for match tables; i.e. the range values are
3707 # not significant.  Thus a number of operations can be safely added to it,
3708 # such as inversion, intersection.  Note that union is also an unsafe
3709 # operation when range values are cared about, and that method is in the base
3710 # class, not here.  But things are set up so that that method is callable only
3711 # during initialization.  Only in this derived class, is there an operation
3712 # that combines two tables.  A Range_Map can thus be used to initialize a
3713 # Range_List, and its mappings will be in the list, but are not significant to
3714 # this class.
3715
3716 sub trace { return main::trace(@_); }
3717
3718 { # Closure
3719
3720     use overload
3721         fallback => 0,
3722         '+' => sub { my $self = shift;
3723                     my $other = shift;
3724
3725                     return $self->_union($other)
3726                 },
3727         '&' => sub { my $self = shift;
3728                     my $other = shift;
3729
3730                     return $self->_intersect($other, 0);
3731                 },
3732         '~' => "_invert",
3733         '-' => "_subtract",
3734     ;
3735
3736     sub _invert {
3737         # Returns a new Range_List that gives all code points not in $self.
3738
3739         my $self = shift;
3740
3741         my $new = Range_List->new;
3742
3743         # Go through each range in the table, finding the gaps between them
3744         my $max = -1;   # Set so no gap before range beginning at 0
3745         for my $range ($self->ranges) {
3746             my $start = $range->start;
3747             my $end   = $range->end;
3748
3749             # If there is a gap before this range, the inverse will contain
3750             # that gap.
3751             if ($start > $max + 1) {
3752                 $new->add_range($max + 1, $start - 1);
3753             }
3754             $max = $end;
3755         }
3756
3757         # And finally, add the gap from the end of the table to the max
3758         # possible code point
3759         if ($max < $LAST_UNICODE_CODEPOINT) {
3760             $new->add_range($max + 1, $LAST_UNICODE_CODEPOINT);
3761         }
3762         return $new;
3763     }
3764
3765     sub _subtract {
3766         # Returns a new Range_List with the argument deleted from it.  The
3767         # argument can be a single code point, a range, or something that has
3768         # a range, with the _range_list() method on it returning them
3769
3770         my $self = shift;
3771         my $other = shift;
3772         my $reversed = shift;
3773         Carp::carp_extra_args(\@_) if main::DEBUG && @_;
3774
3775         if ($reversed) {
3776             Carp::my_carp_bug("Can't cope with a "
3777              .  __PACKAGE__
3778              . " being the second parameter in a '-'.  Subtraction ignored.");
3779             return $self;
3780         }
3781
3782         my $new = Range_List->new(Initialize => $self);
3783
3784         if (! ref $other) { # Single code point
3785             $new->delete_range($other, $other);
3786         }
3787         elsif ($other->isa('Range')) {
3788             $new->delete_range($other->start, $other->end);
3789         }
3790         elsif ($other->can('_range_list')) {
3791             foreach my $range ($other->_range_list->ranges) {
3792                 $new->delete_range($range->start, $range->end);
3793             }
3794         }
3795         else {
3796             Carp::my_carp_bug("Can't cope with a "
3797                         . ref($other)
3798                         . " argument to '-'.  Subtraction ignored."
3799                         );
3800             return $self;
3801         }
3802
3803         return $new;
3804     }
3805
3806     sub _intersect {
3807         # Returns either a boolean giving whether the two inputs' range lists
3808         # intersect (overlap), or a new Range_List containing the intersection
3809         # of the two lists.  The optional final parameter being true indicates
3810         # to do the check instead of the intersection.
3811
3812         my $a_object = shift;
3813         my $b_object = shift;
3814         my $check_if_overlapping = shift;
3815         $check_if_overlapping = 0 unless defined $check_if_overlapping;
3816         Carp::carp_extra_args(\@_) if main::DEBUG && @_;
3817
3818         if (! defined $b_object) {
3819             my $message = "";
3820             $message .= $a_object->_owner_name_of if defined $a_object;
3821             Carp::my_carp_bug($message .= "Called with undefined value.  Intersection not done.");
3822             return;
3823         }
3824
3825         # a & b = !(!a | !b), or in our terminology = ~ ( ~a + -b )
3826         # Thus the intersection could be much more simply be written:
3827         #   return ~(~$a_object + ~$b_object);
3828         # But, this is slower, and when taking the inverse of a large
3829         # range_size_1 table, back when such tables were always stored that
3830         # way, it became prohibitively slow, hence the code was changed to the
3831         # below
3832
3833         if ($b_object->isa('Range')) {
3834             $b_object = Range_List->new(Initialize => $b_object,
3835                                         Owner => $a_object->_owner_name_of);
3836         }
3837         $b_object = $b_object->_range_list if $b_object->can('_range_list');
3838
3839         my @a_ranges = $a_object->ranges;
3840         my @b_ranges = $b_object->ranges;
3841
3842         #local $to_trace = 1 if main::DEBUG;
3843         trace "intersecting $a_object with ", scalar @a_ranges, "ranges and $b_object with", scalar @b_ranges, " ranges" if main::DEBUG && $to_trace;
3844
3845         # Start with the first range in each list
3846         my $a_i = 0;
3847         my $range_a = $a_ranges[$a_i];
3848         my $b_i = 0;
3849         my $range_b = $b_ranges[$b_i];
3850
3851         my $new = __PACKAGE__->new(Owner => $a_object->_owner_name_of)
3852                                                 if ! $check_if_overlapping;
3853
3854         # If either list is empty, there is no intersection and no overlap
3855         if (! defined $range_a || ! defined $range_b) {
3856             return $check_if_overlapping ? 0 : $new;
3857         }
3858         trace "range_a[$a_i]=$range_a; range_b[$b_i]=$range_b" if main::DEBUG && $to_trace;
3859
3860         # Otherwise, must calculate the intersection/overlap.  Start with the
3861         # very first code point in each list
3862         my $a = $range_a->start;
3863         my $b = $range_b->start;
3864
3865         # Loop through all the ranges of each list; in each iteration, $a and
3866         # $b are the current code points in their respective lists
3867         while (1) {
3868
3869             # If $a and $b are the same code point, ...
3870             if ($a == $b) {
3871
3872                 # it means the lists overlap.  If just checking for overlap
3873                 # know the answer now,
3874                 return 1 if $check_if_overlapping;
3875
3876                 # The intersection includes this code point plus anything else
3877                 # common to both current ranges.
3878                 my $start = $a;
3879                 my $end = main::min($range_a->end, $range_b->end);
3880                 if (! $check_if_overlapping) {
3881                     trace "adding intersection range ", sprintf("%04X", $start) . ".." . sprintf("%04X", $end) if main::DEBUG && $to_trace;
3882                     $new->add_range($start, $end);
3883                 }
3884
3885                 # Skip ahead to the end of the current intersect
3886                 $a = $b = $end;
3887
3888                 # If the current intersect ends at the end of either range (as
3889                 # it must for at least one of them), the next possible one
3890                 # will be the beginning code point in it's list's next range.
3891                 if ($a == $range_a->end) {
3892                     $range_a = $a_ranges[++$a_i];
3893                     last unless defined $range_a;
3894                     $a = $range_a->start;
3895                 }
3896                 if ($b == $range_b->end) {
3897                     $range_b = $b_ranges[++$b_i];
3898                     last unless defined $range_b;
3899                     $b = $range_b->start;
3900                 }
3901
3902                 trace "range_a[$a_i]=$range_a; range_b[$b_i]=$range_b" if main::DEBUG && $to_trace;
3903             }
3904             elsif ($a < $b) {
3905
3906                 # Not equal, but if the range containing $a encompasses $b,
3907                 # change $a to be the middle of the range where it does equal
3908                 # $b, so the next iteration will get the intersection
3909                 if ($range_a->end >= $b) {
3910                     $a = $b;
3911                 }
3912                 else {
3913
3914                     # Here, the current range containing $a is entirely below
3915                     # $b.  Go try to find a range that could contain $b.
3916                     $a_i = $a_object->_search_ranges($b);
3917
3918                     # If no range found, quit.
3919                     last unless defined $a_i;
3920
3921                     # The search returns $a_i, such that
3922                     #   range_a[$a_i-1]->end < $b <= range_a[$a_i]->end
3923                     # Set $a to the beginning of this new range, and repeat.
3924                     $range_a = $a_ranges[$a_i];
3925                     $a = $range_a->start;
3926                 }
3927             }
3928             else { # Here, $b < $a.
3929
3930                 # Mirror image code to the leg just above
3931                 if ($range_b->end >= $a) {
3932                     $b = $a;
3933                 }
3934                 else {
3935                     $b_i = $b_object->_search_ranges($a);
3936                     last unless defined $b_i;
3937                     $range_b = $b_ranges[$b_i];
3938                     $b = $range_b->start;
3939                 }
3940             }
3941         } # End of looping through ranges.
3942
3943         # Intersection fully computed, or now know that there is no overlap
3944         return $check_if_overlapping ? 0 : $new;
3945     }
3946
3947     sub overlaps {
3948         # Returns boolean giving whether the two arguments overlap somewhere
3949
3950         my $self = shift;
3951         my $other = shift;
3952         Carp::carp_extra_args(\@_) if main::DEBUG && @_;
3953
3954         return $self->_intersect($other, 1);
3955     }
3956
3957     sub add_range {
3958         # Add a range to the list.
3959
3960         my $self = shift;
3961         my $start = shift;
3962         my $end = shift;
3963         Carp::carp_extra_args(\@_) if main::DEBUG && @_;
3964
3965         return $self->_add_delete('+', $start, $end, "");
3966     }
3967
3968     sub is_code_point_usable {
3969         # This used only for making the test script.  See if the input
3970         # proposed trial code point is one that Perl will handle.  If second
3971         # parameter is 0, it won't select some code points for various
3972         # reasons, noted below.
3973
3974         my $code = shift;
3975         my $try_hard = shift;
3976         Carp::carp_extra_args(\@_) if main::DEBUG && @_;
3977
3978         return 0 if $code < 0;                # Never use a negative
3979
3980         # shun null.  I'm (khw) not sure why this was done, but NULL would be
3981         # the character very frequently used.
3982         return $try_hard if $code == 0x0000;
3983
3984         return 0 if $try_hard;  # XXX Temporary until fix utf8.c
3985
3986         # shun non-character code points.
3987         return $try_hard if $code >= 0xFDD0 && $code <= 0xFDEF;
3988         return $try_hard if ($code & 0xFFFE) == 0xFFFE; # includes FFFF
3989
3990         return $try_hard if $code > $LAST_UNICODE_CODEPOINT;   # keep in range
3991         return $try_hard if $code >= 0xD800 && $code <= 0xDFFF; # no surrogate
3992
3993         return 1;
3994     }
3995
3996     sub get_valid_code_point {
3997         # Return a code point that's part of the range list.  Returns nothing