e69fca9d5f
disentanglement is correct by putting all the UnicodeSet virtual functions are in one file. Also move some of the rule whitespace handling into better locations. X-SVN-Rev: 16519
416 lines
17 KiB
C
416 lines
17 KiB
C
/*
|
|
*******************************************************************************
|
|
*
|
|
* Copyright (C) 2002-2004, International Business Machines
|
|
* Corporation and others. All Rights Reserved.
|
|
*
|
|
*******************************************************************************
|
|
* file name: uprops.h
|
|
* encoding: US-ASCII
|
|
* tab size: 8 (not used)
|
|
* indentation:4
|
|
*
|
|
* created on: 2002feb24
|
|
* created by: Markus W. Scherer
|
|
*
|
|
* Implementations for mostly non-core Unicode character properties
|
|
* stored in uprops.icu.
|
|
*
|
|
* With the APIs implemented here, almost all properties files and
|
|
* their associated implementation files are used from this file,
|
|
* including those for normalization and case mappings.
|
|
*/
|
|
|
|
#include "unicode/utypes.h"
|
|
#include "unicode/uchar.h"
|
|
#include "unicode/uscript.h"
|
|
#include "cstring.h"
|
|
#include "unormimp.h"
|
|
#include "uprops.h"
|
|
|
|
#define LENGTHOF(array) (int32_t)(sizeof(array)/sizeof((array)[0]))
|
|
|
|
/* API functions ------------------------------------------------------------ */
|
|
|
|
static const struct {
|
|
int32_t column;
|
|
uint32_t mask;
|
|
} binProps[UCHAR_BINARY_LIMIT]={
|
|
/*
|
|
* column and mask values for binary properties from u_getUnicodeProperties().
|
|
* Must be in order of corresponding UProperty,
|
|
* and there must be exacly one entry per binary UProperty.
|
|
*
|
|
* Properties with mask 0 are handled in code.
|
|
* For them, column is the UPropertySource value.
|
|
*/
|
|
{ 1, U_MASK(UPROPS_ALPHABETIC) },
|
|
{ 1, U_MASK(UPROPS_ASCII_HEX_DIGIT) },
|
|
{ 1, U_MASK(UPROPS_BIDI_CONTROL) },
|
|
{ -1, U_MASK(UPROPS_MIRROR_SHIFT) },
|
|
{ 1, U_MASK(UPROPS_DASH) },
|
|
{ 1, U_MASK(UPROPS_DEFAULT_IGNORABLE_CODE_POINT) },
|
|
{ 1, U_MASK(UPROPS_DEPRECATED) },
|
|
{ 1, U_MASK(UPROPS_DIACRITIC) },
|
|
{ 1, U_MASK(UPROPS_EXTENDER) },
|
|
{ UPROPS_SRC_NORM, 0 }, /* UCHAR_FULL_COMPOSITION_EXCLUSION */
|
|
{ 1, U_MASK(UPROPS_GRAPHEME_BASE) },
|
|
{ 1, U_MASK(UPROPS_GRAPHEME_EXTEND) },
|
|
{ 1, U_MASK(UPROPS_GRAPHEME_LINK) },
|
|
{ 1, U_MASK(UPROPS_HEX_DIGIT) },
|
|
{ 1, U_MASK(UPROPS_HYPHEN) },
|
|
{ 1, U_MASK(UPROPS_ID_CONTINUE) },
|
|
{ 1, U_MASK(UPROPS_ID_START) },
|
|
{ 1, U_MASK(UPROPS_IDEOGRAPHIC) },
|
|
{ 1, U_MASK(UPROPS_IDS_BINARY_OPERATOR) },
|
|
{ 1, U_MASK(UPROPS_IDS_TRINARY_OPERATOR) },
|
|
{ 1, U_MASK(UPROPS_JOIN_CONTROL) },
|
|
{ 1, U_MASK(UPROPS_LOGICAL_ORDER_EXCEPTION) },
|
|
{ UPROPS_SRC_CASE, 0 }, /* UCHAR_LOWERCASE */
|
|
{ 1, U_MASK(UPROPS_MATH) },
|
|
{ 1, U_MASK(UPROPS_NONCHARACTER_CODE_POINT) },
|
|
{ 1, U_MASK(UPROPS_QUOTATION_MARK) },
|
|
{ 1, U_MASK(UPROPS_RADICAL) },
|
|
{ UPROPS_SRC_CASE, 0 }, /* UCHAR_SOFT_DOTTED */
|
|
{ 1, U_MASK(UPROPS_TERMINAL_PUNCTUATION) },
|
|
{ 1, U_MASK(UPROPS_UNIFIED_IDEOGRAPH) },
|
|
{ UPROPS_SRC_CASE, 0 }, /* UCHAR_UPPERCASE */
|
|
{ 1, U_MASK(UPROPS_WHITE_SPACE) },
|
|
{ 1, U_MASK(UPROPS_XID_CONTINUE) },
|
|
{ 1, U_MASK(UPROPS_XID_START) },
|
|
{ UPROPS_SRC_CASE, 0 }, /* UCHAR_CASE_SENSITIVE */
|
|
{ 2, U_MASK(UPROPS_V2_S_TERM) },
|
|
{ 2, U_MASK(UPROPS_V2_VARIATION_SELECTOR) },
|
|
{ UPROPS_SRC_NORM, 0 }, /* UCHAR_NFD_INERT */
|
|
{ UPROPS_SRC_NORM, 0 }, /* UCHAR_NFKD_INERT */
|
|
{ UPROPS_SRC_NORM, 0 }, /* UCHAR_NFC_INERT */
|
|
{ UPROPS_SRC_NORM, 0 }, /* UCHAR_NFKC_INERT */
|
|
{ UPROPS_SRC_NORM, 0 } /* UCHAR_SEGMENT_STARTER */
|
|
};
|
|
|
|
U_CAPI UBool U_EXPORT2
|
|
u_hasBinaryProperty(UChar32 c, UProperty which) {
|
|
/* c is range-checked in the functions that are called from here */
|
|
if(which<UCHAR_BINARY_START || UCHAR_BINARY_LIMIT<=which) {
|
|
/* not a known binary property */
|
|
} else {
|
|
uint32_t mask=binProps[which].mask;
|
|
int32_t column=binProps[which].column;
|
|
if(mask!=0) {
|
|
/* systematic, directly stored properties */
|
|
return (u_getUnicodeProperties(c, column)&mask)!=0;
|
|
} else {
|
|
if(column==UPROPS_SRC_CASE) {
|
|
/* case mapping properties */
|
|
UErrorCode errorCode=U_ZERO_ERROR;
|
|
UCaseProps *csp=ucase_getSingleton(&errorCode);
|
|
if(U_FAILURE(errorCode)) {
|
|
return FALSE;
|
|
}
|
|
switch(which) {
|
|
case UCHAR_LOWERCASE:
|
|
return (UBool)(UCASE_LOWER==ucase_getType(csp, c));
|
|
case UCHAR_UPPERCASE:
|
|
return (UBool)(UCASE_UPPER==ucase_getType(csp, c));
|
|
case UCHAR_SOFT_DOTTED:
|
|
return ucase_isSoftDotted(csp, c);
|
|
case UCHAR_CASE_SENSITIVE:
|
|
return ucase_isCaseSensitive(csp, c);
|
|
default:
|
|
break;
|
|
}
|
|
} else if(column==UPROPS_SRC_NORM) {
|
|
#if !UCONFIG_NO_NORMALIZATION
|
|
/* normalization properties from unorm.icu */
|
|
switch(which) {
|
|
case UCHAR_FULL_COMPOSITION_EXCLUSION:
|
|
return unorm_internalIsFullCompositionExclusion(c);
|
|
case UCHAR_NFD_INERT:
|
|
case UCHAR_NFKD_INERT:
|
|
case UCHAR_NFC_INERT:
|
|
case UCHAR_NFKC_INERT:
|
|
return unorm_isNFSkippable(c, (UNormalizationMode)(which-UCHAR_NFD_INERT)+UNORM_NFD);
|
|
case UCHAR_SEGMENT_STARTER:
|
|
return unorm_isCanonSafeStart(c);
|
|
default:
|
|
break;
|
|
}
|
|
#endif
|
|
}
|
|
}
|
|
}
|
|
return FALSE;
|
|
}
|
|
|
|
U_CAPI int32_t U_EXPORT2
|
|
u_getIntPropertyValue(UChar32 c, UProperty which) {
|
|
UErrorCode errorCode;
|
|
|
|
if(which<UCHAR_BINARY_START) {
|
|
return 0; /* undefined */
|
|
} else if(which<UCHAR_BINARY_LIMIT) {
|
|
return (int32_t)u_hasBinaryProperty(c, which);
|
|
} else if(which<UCHAR_INT_START) {
|
|
return 0; /* undefined */
|
|
} else if(which<UCHAR_INT_LIMIT) {
|
|
switch(which) {
|
|
case UCHAR_BIDI_CLASS:
|
|
return (int32_t)u_charDirection(c);
|
|
case UCHAR_BLOCK:
|
|
return (int32_t)ublock_getCode(c);
|
|
case UCHAR_CANONICAL_COMBINING_CLASS:
|
|
#if !UCONFIG_NO_NORMALIZATION
|
|
return u_getCombiningClass(c);
|
|
#else
|
|
return 0;
|
|
#endif
|
|
case UCHAR_DECOMPOSITION_TYPE:
|
|
return (int32_t)(u_getUnicodeProperties(c, 2)&UPROPS_DT_MASK);
|
|
case UCHAR_EAST_ASIAN_WIDTH:
|
|
return (int32_t)(u_getUnicodeProperties(c, 0)&UPROPS_EA_MASK)>>UPROPS_EA_SHIFT;
|
|
case UCHAR_GENERAL_CATEGORY:
|
|
return (int32_t)u_charType(c);
|
|
case UCHAR_JOINING_GROUP:
|
|
return (int32_t)(u_getUnicodeProperties(c, 2)&UPROPS_JG_MASK)>>UPROPS_JG_SHIFT;
|
|
case UCHAR_JOINING_TYPE:
|
|
return (int32_t)(u_getUnicodeProperties(c, 2)&UPROPS_JT_MASK)>>UPROPS_JT_SHIFT;
|
|
case UCHAR_LINE_BREAK:
|
|
return (int32_t)(u_getUnicodeProperties(c, 0)&UPROPS_LB_MASK)>>UPROPS_LB_SHIFT;
|
|
case UCHAR_NUMERIC_TYPE:
|
|
return (int32_t)GET_NUMERIC_TYPE(u_getUnicodeProperties(c, -1));
|
|
case UCHAR_SCRIPT:
|
|
errorCode=U_ZERO_ERROR;
|
|
return (int32_t)uscript_getScript(c, &errorCode);
|
|
case UCHAR_HANGUL_SYLLABLE_TYPE:
|
|
return uchar_getHST(c);
|
|
#if !UCONFIG_NO_NORMALIZATION
|
|
case UCHAR_NFD_QUICK_CHECK:
|
|
case UCHAR_NFKD_QUICK_CHECK:
|
|
case UCHAR_NFC_QUICK_CHECK:
|
|
case UCHAR_NFKC_QUICK_CHECK:
|
|
return (int32_t)unorm_getQuickCheck(c, (UNormalizationMode)(which-UCHAR_NFD_QUICK_CHECK)+UNORM_NFD);
|
|
case UCHAR_LEAD_CANONICAL_COMBINING_CLASS:
|
|
return unorm_getFCD16FromCodePoint(c)>>8;
|
|
case UCHAR_TRAIL_CANONICAL_COMBINING_CLASS:
|
|
return unorm_getFCD16FromCodePoint(c)&0xff;
|
|
#endif
|
|
default:
|
|
return 0; /* undefined */
|
|
}
|
|
} else if(which==UCHAR_GENERAL_CATEGORY_MASK) {
|
|
return U_MASK(u_charType(c));
|
|
} else {
|
|
return 0; /* undefined */
|
|
}
|
|
}
|
|
|
|
U_CAPI int32_t U_EXPORT2
|
|
u_getIntPropertyMinValue(UProperty which) {
|
|
return 0; /* all binary/enum/int properties have a minimum value of 0 */
|
|
}
|
|
|
|
U_CAPI int32_t U_EXPORT2
|
|
u_getIntPropertyMaxValue(UProperty which) {
|
|
int32_t max;
|
|
|
|
if(which<UCHAR_BINARY_START) {
|
|
return -1; /* undefined */
|
|
} else if(which<UCHAR_BINARY_LIMIT) {
|
|
return 1; /* maximum TRUE for all binary properties */
|
|
} else if(which<UCHAR_INT_START) {
|
|
return -1; /* undefined */
|
|
} else if(which<UCHAR_INT_LIMIT) {
|
|
switch(which) {
|
|
case UCHAR_BIDI_CLASS:
|
|
return (int32_t)U_CHAR_DIRECTION_COUNT-1;
|
|
case UCHAR_BLOCK:
|
|
max=(uprv_getMaxValues(0)&UPROPS_BLOCK_MASK)>>UPROPS_BLOCK_SHIFT;
|
|
return max!=0 ? max : (int32_t)UBLOCK_COUNT-1;
|
|
case UCHAR_CANONICAL_COMBINING_CLASS:
|
|
case UCHAR_LEAD_CANONICAL_COMBINING_CLASS:
|
|
case UCHAR_TRAIL_CANONICAL_COMBINING_CLASS:
|
|
return 0xff; /* TODO do we need to be more precise, getting the actual maximum? */
|
|
case UCHAR_DECOMPOSITION_TYPE:
|
|
max=uprv_getMaxValues(2)&UPROPS_DT_MASK;
|
|
return max!=0 ? max : (int32_t)U_DT_COUNT-1;
|
|
case UCHAR_EAST_ASIAN_WIDTH:
|
|
max=(uprv_getMaxValues(0)&UPROPS_EA_MASK)>>UPROPS_EA_SHIFT;
|
|
return max!=0 ? max : (int32_t)U_EA_COUNT-1;
|
|
case UCHAR_GENERAL_CATEGORY:
|
|
return (int32_t)U_CHAR_CATEGORY_COUNT-1;
|
|
case UCHAR_JOINING_GROUP:
|
|
max=(uprv_getMaxValues(2)&UPROPS_JG_MASK)>>UPROPS_JG_SHIFT;
|
|
return max!=0 ? max : (int32_t)U_JG_COUNT-1;
|
|
case UCHAR_JOINING_TYPE:
|
|
max=(uprv_getMaxValues(2)&UPROPS_JT_MASK)>>UPROPS_JT_SHIFT;
|
|
return max!=0 ? max : (int32_t)U_JT_COUNT-1;
|
|
case UCHAR_LINE_BREAK:
|
|
max=(uprv_getMaxValues(0)&UPROPS_LB_MASK)>>UPROPS_LB_SHIFT;
|
|
return max!=0 ? max : (int32_t)U_LB_COUNT-1;
|
|
case UCHAR_NUMERIC_TYPE:
|
|
return (int32_t)U_NT_COUNT-1;
|
|
case UCHAR_SCRIPT:
|
|
max=uprv_getMaxValues(0)&UPROPS_SCRIPT_MASK;
|
|
return max!=0 ? max : (int32_t)USCRIPT_CODE_LIMIT-1;
|
|
case UCHAR_HANGUL_SYLLABLE_TYPE:
|
|
return (int32_t)U_HST_COUNT-1;
|
|
#if !UCONFIG_NO_NORMALIZATION
|
|
case UCHAR_NFD_QUICK_CHECK:
|
|
case UCHAR_NFKD_QUICK_CHECK:
|
|
return (int32_t)UNORM_YES; /* these are never "maybe", only "no" or "yes" */
|
|
case UCHAR_NFC_QUICK_CHECK:
|
|
case UCHAR_NFKC_QUICK_CHECK:
|
|
return (int32_t)UNORM_MAYBE;
|
|
#endif
|
|
default:
|
|
return -1; /* undefined */
|
|
}
|
|
} else {
|
|
return -1; /* undefined */
|
|
}
|
|
}
|
|
|
|
U_CAPI UPropertySource U_EXPORT2
|
|
uprops_getSource(UProperty which) {
|
|
if(which<UCHAR_BINARY_START) {
|
|
return UPROPS_SRC_NONE; /* undefined */
|
|
} else if(which<UCHAR_BINARY_LIMIT) {
|
|
if(binProps[which].mask!=0) {
|
|
return UPROPS_SRC_CHAR;
|
|
} else {
|
|
return (UPropertySource)binProps[which].column;
|
|
}
|
|
} else if(which<UCHAR_INT_START) {
|
|
return UPROPS_SRC_NONE; /* undefined */
|
|
} else if(which<UCHAR_INT_LIMIT) {
|
|
switch(which) {
|
|
case UCHAR_HANGUL_SYLLABLE_TYPE:
|
|
return UPROPS_SRC_HST;
|
|
case UCHAR_CANONICAL_COMBINING_CLASS:
|
|
case UCHAR_NFD_QUICK_CHECK:
|
|
case UCHAR_NFKD_QUICK_CHECK:
|
|
case UCHAR_NFC_QUICK_CHECK:
|
|
case UCHAR_NFKC_QUICK_CHECK:
|
|
case UCHAR_LEAD_CANONICAL_COMBINING_CLASS:
|
|
case UCHAR_TRAIL_CANONICAL_COMBINING_CLASS:
|
|
return UPROPS_SRC_NORM;
|
|
default:
|
|
return UPROPS_SRC_CHAR;
|
|
}
|
|
} else if(which==UCHAR_GENERAL_CATEGORY_MASK) {
|
|
return UPROPS_SRC_CHAR;
|
|
} else {
|
|
return UPROPS_SRC_NONE; /* undefined */
|
|
}
|
|
}
|
|
|
|
/*----------------------------------------------------------------
|
|
* Inclusions list
|
|
*----------------------------------------------------------------*/
|
|
|
|
/*
|
|
* Return a set of characters for property enumeration.
|
|
* The set implicitly contains 0x110000 as well, which is one more than the highest
|
|
* Unicode code point.
|
|
*
|
|
* This set is used as an ordered list - its code points are ordered, and
|
|
* consecutive code points (in Unicode code point order) in the set define a range.
|
|
* For each two consecutive characters (start, limit) in the set,
|
|
* all of the UCD/normalization and related properties for
|
|
* all code points start..limit-1 are all the same,
|
|
* except for character names and ISO comments.
|
|
*
|
|
* All Unicode code points U+0000..U+10ffff are covered by these ranges.
|
|
* The ranges define a partition of the Unicode code space.
|
|
* ICU uses the inclusions set to enumerate properties for generating
|
|
* UnicodeSets containing all code points that have a certain property value.
|
|
*
|
|
* The Inclusion List is generated from the UCD. It is generated
|
|
* by enumerating the data tries, and code points for hardcoded properties
|
|
* are added as well.
|
|
*
|
|
* --------------------------------------------------------------------------
|
|
*
|
|
* The following are ideas for getting properties-unique code point ranges,
|
|
* with possible optimizations beyond the current implementation.
|
|
* These optimizations would require more code and be more fragile.
|
|
* The current implementation generates one single list (set) for all properties.
|
|
*
|
|
* To enumerate properties efficiently, one needs to know ranges of
|
|
* repetitive values, so that the value of only each start code point
|
|
* can be applied to the whole range.
|
|
* This information is in principle available in the uprops.icu/unorm.icu data.
|
|
*
|
|
* There are two obstacles:
|
|
*
|
|
* 1. Some properties are computed from multiple data structures,
|
|
* making it necessary to get repetitive ranges by intersecting
|
|
* ranges from multiple tries.
|
|
*
|
|
* 2. It is not economical to write code for getting repetitive ranges
|
|
* that are precise for each of some 50 properties.
|
|
*
|
|
* Compromise ideas:
|
|
*
|
|
* - Get ranges per trie, not per individual property.
|
|
* Each range contains the same values for a whole group of properties.
|
|
* This would generate currently five range sets, two for uprops.icu tries
|
|
* and three for unorm.icu tries.
|
|
*
|
|
* - Combine sets of ranges for multiple tries to get sufficient sets
|
|
* for properties, e.g., the uprops.icu main and auxiliary tries
|
|
* for all non-normalization properties.
|
|
*
|
|
* Ideas for representing ranges and combining them:
|
|
*
|
|
* - A UnicodeSet could hold just the start code points of ranges.
|
|
* Multiple sets are easily combined by or-ing them together.
|
|
*
|
|
* - Alternatively, a UnicodeSet could hold each even-numbered range.
|
|
* All ranges could be enumerated by using each start code point
|
|
* (for the even-numbered ranges) as well as each limit (end+1) code point
|
|
* (for the odd-numbered ranges).
|
|
* It should be possible to combine two such sets by xor-ing them,
|
|
* but no more than two.
|
|
*
|
|
* The second way to represent ranges may(?!) yield smaller UnicodeSet arrays,
|
|
* but the first one is certainly simpler and applicable for combining more than
|
|
* two range sets.
|
|
*
|
|
* It is possible to combine all range sets for all uprops/unorm tries into one
|
|
* set that can be used for all properties.
|
|
* As an optimization, there could be less-combined range sets for certain
|
|
* groups of properties.
|
|
* The relationship of which less-combined range set to use for which property
|
|
* depends on the implementation of the properties and must be hardcoded
|
|
* - somewhat error-prone and higher maintenance but can be tested easily
|
|
* by building property sets "the simple way" in test code.
|
|
*
|
|
* ---
|
|
*
|
|
* Do not use a UnicodeSet pattern because that causes infinite recursion;
|
|
* UnicodeSet depends on the inclusions set.
|
|
*
|
|
* ---
|
|
*
|
|
* uprv_getInclusions() is commented out starting 2004-sep-13 because
|
|
* uniset_props.cpp now calls the uxyz_addPropertyStarts() directly,
|
|
* and only for the relevant property source.
|
|
*/
|
|
#if 0
|
|
|
|
U_CAPI void U_EXPORT2
|
|
uprv_getInclusions(USetAdder *sa, UErrorCode *pErrorCode) {
|
|
if(pErrorCode==NULL || U_FAILURE(*pErrorCode)) {
|
|
return;
|
|
}
|
|
|
|
#if !UCONFIG_NO_NORMALIZATION
|
|
unorm_addPropertyStarts(sa, pErrorCode);
|
|
#endif
|
|
uchar_addPropertyStarts(sa, pErrorCode);
|
|
ucase_addPropertyStarts(ucase_getSingleton(pErrorCode), sa, pErrorCode);
|
|
}
|
|
|
|
#endif
|