XML_REGEXP_NUMBER_DECIMAL  996 third_party/libxml/src/xmlregexp.c         case XML_REGEXP_NUMBER_DECIMAL:
XML_REGEXP_NUMBER_DECIMAL 2184 third_party/libxml/src/xmlregexp.c 	         if ((range2->type == XML_REGEXP_NUMBER_DECIMAL) ||
XML_REGEXP_NUMBER_DECIMAL 2387 third_party/libxml/src/xmlregexp.c         case XML_REGEXP_NUMBER_DECIMAL:
XML_REGEXP_NUMBER_DECIMAL 2865 third_party/libxml/src/xmlregexp.c         case XML_REGEXP_NUMBER_DECIMAL:
XML_REGEXP_NUMBER_DECIMAL 3019 third_party/libxml/src/xmlregexp.c         case XML_REGEXP_NUMBER_DECIMAL:
XML_REGEXP_NUMBER_DECIMAL 4661 third_party/libxml/src/xmlregexp.c 	    type = XML_REGEXP_NUMBER_DECIMAL;