/Modules/expat/xmltok_impl.c

https://github.com/albertz/CPython · C · 1763 lines · 1620 code · 60 blank · 83 comment · 292 complexity · 8fa5658f138c3fde9c72320a82e92817 MD5 · raw file

  1. /* This file is included!
  2. __ __ _
  3. ___\ \/ /_ __ __ _| |_
  4. / _ \\ /| '_ \ / _` | __|
  5. | __// \| |_) | (_| | |_
  6. \___/_/\_\ .__/ \__,_|\__|
  7. |_| XML parser
  8. Copyright (c) 1997-2000 Thai Open Source Software Center Ltd
  9. Copyright (c) 2000-2017 Expat development team
  10. Licensed under the MIT license:
  11. Permission is hereby granted, free of charge, to any person obtaining
  12. a copy of this software and associated documentation files (the
  13. "Software"), to deal in the Software without restriction, including
  14. without limitation the rights to use, copy, modify, merge, publish,
  15. distribute, sublicense, and/or sell copies of the Software, and to permit
  16. persons to whom the Software is furnished to do so, subject to the
  17. following conditions:
  18. The above copyright notice and this permission notice shall be included
  19. in all copies or substantial portions of the Software.
  20. THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
  21. EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
  22. MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN
  23. NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM,
  24. DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR
  25. OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE
  26. USE OR OTHER DEALINGS IN THE SOFTWARE.
  27. */
  28. #ifdef XML_TOK_IMPL_C
  29. #ifndef IS_INVALID_CHAR
  30. #define IS_INVALID_CHAR(enc, ptr, n) (0)
  31. #endif
  32. #define INVALID_LEAD_CASE(n, ptr, nextTokPtr) \
  33. case BT_LEAD ## n: \
  34. if (end - ptr < n) \
  35. return XML_TOK_PARTIAL_CHAR; \
  36. if (IS_INVALID_CHAR(enc, ptr, n)) { \
  37. *(nextTokPtr) = (ptr); \
  38. return XML_TOK_INVALID; \
  39. } \
  40. ptr += n; \
  41. break;
  42. #define INVALID_CASES(ptr, nextTokPtr) \
  43. INVALID_LEAD_CASE(2, ptr, nextTokPtr) \
  44. INVALID_LEAD_CASE(3, ptr, nextTokPtr) \
  45. INVALID_LEAD_CASE(4, ptr, nextTokPtr) \
  46. case BT_NONXML: \
  47. case BT_MALFORM: \
  48. case BT_TRAIL: \
  49. *(nextTokPtr) = (ptr); \
  50. return XML_TOK_INVALID;
  51. #define CHECK_NAME_CASE(n, enc, ptr, end, nextTokPtr) \
  52. case BT_LEAD ## n: \
  53. if (end - ptr < n) \
  54. return XML_TOK_PARTIAL_CHAR; \
  55. if (!IS_NAME_CHAR(enc, ptr, n)) { \
  56. *nextTokPtr = ptr; \
  57. return XML_TOK_INVALID; \
  58. } \
  59. ptr += n; \
  60. break;
  61. #define CHECK_NAME_CASES(enc, ptr, end, nextTokPtr) \
  62. case BT_NONASCII: \
  63. if (!IS_NAME_CHAR_MINBPC(enc, ptr)) { \
  64. *nextTokPtr = ptr; \
  65. return XML_TOK_INVALID; \
  66. } \
  67. /* fall through */ \
  68. case BT_NMSTRT: \
  69. case BT_HEX: \
  70. case BT_DIGIT: \
  71. case BT_NAME: \
  72. case BT_MINUS: \
  73. ptr += MINBPC(enc); \
  74. break; \
  75. CHECK_NAME_CASE(2, enc, ptr, end, nextTokPtr) \
  76. CHECK_NAME_CASE(3, enc, ptr, end, nextTokPtr) \
  77. CHECK_NAME_CASE(4, enc, ptr, end, nextTokPtr)
  78. #define CHECK_NMSTRT_CASE(n, enc, ptr, end, nextTokPtr) \
  79. case BT_LEAD ## n: \
  80. if (end - ptr < n) \
  81. return XML_TOK_PARTIAL_CHAR; \
  82. if (!IS_NMSTRT_CHAR(enc, ptr, n)) { \
  83. *nextTokPtr = ptr; \
  84. return XML_TOK_INVALID; \
  85. } \
  86. ptr += n; \
  87. break;
  88. #define CHECK_NMSTRT_CASES(enc, ptr, end, nextTokPtr) \
  89. case BT_NONASCII: \
  90. if (!IS_NMSTRT_CHAR_MINBPC(enc, ptr)) { \
  91. *nextTokPtr = ptr; \
  92. return XML_TOK_INVALID; \
  93. } \
  94. /* fall through */ \
  95. case BT_NMSTRT: \
  96. case BT_HEX: \
  97. ptr += MINBPC(enc); \
  98. break; \
  99. CHECK_NMSTRT_CASE(2, enc, ptr, end, nextTokPtr) \
  100. CHECK_NMSTRT_CASE(3, enc, ptr, end, nextTokPtr) \
  101. CHECK_NMSTRT_CASE(4, enc, ptr, end, nextTokPtr)
  102. #ifndef PREFIX
  103. #define PREFIX(ident) ident
  104. #endif
  105. #define HAS_CHARS(enc, ptr, end, count) \
  106. (end - ptr >= count * MINBPC(enc))
  107. #define HAS_CHAR(enc, ptr, end) \
  108. HAS_CHARS(enc, ptr, end, 1)
  109. #define REQUIRE_CHARS(enc, ptr, end, count) \
  110. { \
  111. if (! HAS_CHARS(enc, ptr, end, count)) { \
  112. return XML_TOK_PARTIAL; \
  113. } \
  114. }
  115. #define REQUIRE_CHAR(enc, ptr, end) \
  116. REQUIRE_CHARS(enc, ptr, end, 1)
  117. /* ptr points to character following "<!-" */
  118. static int PTRCALL
  119. PREFIX(scanComment)(const ENCODING *enc, const char *ptr,
  120. const char *end, const char **nextTokPtr)
  121. {
  122. if (HAS_CHAR(enc, ptr, end)) {
  123. if (!CHAR_MATCHES(enc, ptr, ASCII_MINUS)) {
  124. *nextTokPtr = ptr;
  125. return XML_TOK_INVALID;
  126. }
  127. ptr += MINBPC(enc);
  128. while (HAS_CHAR(enc, ptr, end)) {
  129. switch (BYTE_TYPE(enc, ptr)) {
  130. INVALID_CASES(ptr, nextTokPtr)
  131. case BT_MINUS:
  132. ptr += MINBPC(enc);
  133. REQUIRE_CHAR(enc, ptr, end);
  134. if (CHAR_MATCHES(enc, ptr, ASCII_MINUS)) {
  135. ptr += MINBPC(enc);
  136. REQUIRE_CHAR(enc, ptr, end);
  137. if (!CHAR_MATCHES(enc, ptr, ASCII_GT)) {
  138. *nextTokPtr = ptr;
  139. return XML_TOK_INVALID;
  140. }
  141. *nextTokPtr = ptr + MINBPC(enc);
  142. return XML_TOK_COMMENT;
  143. }
  144. break;
  145. default:
  146. ptr += MINBPC(enc);
  147. break;
  148. }
  149. }
  150. }
  151. return XML_TOK_PARTIAL;
  152. }
  153. /* ptr points to character following "<!" */
  154. static int PTRCALL
  155. PREFIX(scanDecl)(const ENCODING *enc, const char *ptr,
  156. const char *end, const char **nextTokPtr)
  157. {
  158. REQUIRE_CHAR(enc, ptr, end);
  159. switch (BYTE_TYPE(enc, ptr)) {
  160. case BT_MINUS:
  161. return PREFIX(scanComment)(enc, ptr + MINBPC(enc), end, nextTokPtr);
  162. case BT_LSQB:
  163. *nextTokPtr = ptr + MINBPC(enc);
  164. return XML_TOK_COND_SECT_OPEN;
  165. case BT_NMSTRT:
  166. case BT_HEX:
  167. ptr += MINBPC(enc);
  168. break;
  169. default:
  170. *nextTokPtr = ptr;
  171. return XML_TOK_INVALID;
  172. }
  173. while (HAS_CHAR(enc, ptr, end)) {
  174. switch (BYTE_TYPE(enc, ptr)) {
  175. case BT_PERCNT:
  176. REQUIRE_CHARS(enc, ptr, end, 2);
  177. /* don't allow <!ENTITY% foo "whatever"> */
  178. switch (BYTE_TYPE(enc, ptr + MINBPC(enc))) {
  179. case BT_S: case BT_CR: case BT_LF: case BT_PERCNT:
  180. *nextTokPtr = ptr;
  181. return XML_TOK_INVALID;
  182. }
  183. /* fall through */
  184. case BT_S: case BT_CR: case BT_LF:
  185. *nextTokPtr = ptr;
  186. return XML_TOK_DECL_OPEN;
  187. case BT_NMSTRT:
  188. case BT_HEX:
  189. ptr += MINBPC(enc);
  190. break;
  191. default:
  192. *nextTokPtr = ptr;
  193. return XML_TOK_INVALID;
  194. }
  195. }
  196. return XML_TOK_PARTIAL;
  197. }
  198. static int PTRCALL
  199. PREFIX(checkPiTarget)(const ENCODING *UNUSED_P(enc), const char *ptr,
  200. const char *end, int *tokPtr)
  201. {
  202. int upper = 0;
  203. *tokPtr = XML_TOK_PI;
  204. if (end - ptr != MINBPC(enc)*3)
  205. return 1;
  206. switch (BYTE_TO_ASCII(enc, ptr)) {
  207. case ASCII_x:
  208. break;
  209. case ASCII_X:
  210. upper = 1;
  211. break;
  212. default:
  213. return 1;
  214. }
  215. ptr += MINBPC(enc);
  216. switch (BYTE_TO_ASCII(enc, ptr)) {
  217. case ASCII_m:
  218. break;
  219. case ASCII_M:
  220. upper = 1;
  221. break;
  222. default:
  223. return 1;
  224. }
  225. ptr += MINBPC(enc);
  226. switch (BYTE_TO_ASCII(enc, ptr)) {
  227. case ASCII_l:
  228. break;
  229. case ASCII_L:
  230. upper = 1;
  231. break;
  232. default:
  233. return 1;
  234. }
  235. if (upper)
  236. return 0;
  237. *tokPtr = XML_TOK_XML_DECL;
  238. return 1;
  239. }
  240. /* ptr points to character following "<?" */
  241. static int PTRCALL
  242. PREFIX(scanPi)(const ENCODING *enc, const char *ptr,
  243. const char *end, const char **nextTokPtr)
  244. {
  245. int tok;
  246. const char *target = ptr;
  247. REQUIRE_CHAR(enc, ptr, end);
  248. switch (BYTE_TYPE(enc, ptr)) {
  249. CHECK_NMSTRT_CASES(enc, ptr, end, nextTokPtr)
  250. default:
  251. *nextTokPtr = ptr;
  252. return XML_TOK_INVALID;
  253. }
  254. while (HAS_CHAR(enc, ptr, end)) {
  255. switch (BYTE_TYPE(enc, ptr)) {
  256. CHECK_NAME_CASES(enc, ptr, end, nextTokPtr)
  257. case BT_S: case BT_CR: case BT_LF:
  258. if (!PREFIX(checkPiTarget)(enc, target, ptr, &tok)) {
  259. *nextTokPtr = ptr;
  260. return XML_TOK_INVALID;
  261. }
  262. ptr += MINBPC(enc);
  263. while (HAS_CHAR(enc, ptr, end)) {
  264. switch (BYTE_TYPE(enc, ptr)) {
  265. INVALID_CASES(ptr, nextTokPtr)
  266. case BT_QUEST:
  267. ptr += MINBPC(enc);
  268. REQUIRE_CHAR(enc, ptr, end);
  269. if (CHAR_MATCHES(enc, ptr, ASCII_GT)) {
  270. *nextTokPtr = ptr + MINBPC(enc);
  271. return tok;
  272. }
  273. break;
  274. default:
  275. ptr += MINBPC(enc);
  276. break;
  277. }
  278. }
  279. return XML_TOK_PARTIAL;
  280. case BT_QUEST:
  281. if (!PREFIX(checkPiTarget)(enc, target, ptr, &tok)) {
  282. *nextTokPtr = ptr;
  283. return XML_TOK_INVALID;
  284. }
  285. ptr += MINBPC(enc);
  286. REQUIRE_CHAR(enc, ptr, end);
  287. if (CHAR_MATCHES(enc, ptr, ASCII_GT)) {
  288. *nextTokPtr = ptr + MINBPC(enc);
  289. return tok;
  290. }
  291. /* fall through */
  292. default:
  293. *nextTokPtr = ptr;
  294. return XML_TOK_INVALID;
  295. }
  296. }
  297. return XML_TOK_PARTIAL;
  298. }
  299. static int PTRCALL
  300. PREFIX(scanCdataSection)(const ENCODING *UNUSED_P(enc), const char *ptr,
  301. const char *end, const char **nextTokPtr)
  302. {
  303. static const char CDATA_LSQB[] = { ASCII_C, ASCII_D, ASCII_A,
  304. ASCII_T, ASCII_A, ASCII_LSQB };
  305. int i;
  306. /* CDATA[ */
  307. REQUIRE_CHARS(enc, ptr, end, 6);
  308. for (i = 0; i < 6; i++, ptr += MINBPC(enc)) {
  309. if (!CHAR_MATCHES(enc, ptr, CDATA_LSQB[i])) {
  310. *nextTokPtr = ptr;
  311. return XML_TOK_INVALID;
  312. }
  313. }
  314. *nextTokPtr = ptr;
  315. return XML_TOK_CDATA_SECT_OPEN;
  316. }
  317. static int PTRCALL
  318. PREFIX(cdataSectionTok)(const ENCODING *enc, const char *ptr,
  319. const char *end, const char **nextTokPtr)
  320. {
  321. if (ptr >= end)
  322. return XML_TOK_NONE;
  323. if (MINBPC(enc) > 1) {
  324. size_t n = end - ptr;
  325. if (n & (MINBPC(enc) - 1)) {
  326. n &= ~(MINBPC(enc) - 1);
  327. if (n == 0)
  328. return XML_TOK_PARTIAL;
  329. end = ptr + n;
  330. }
  331. }
  332. switch (BYTE_TYPE(enc, ptr)) {
  333. case BT_RSQB:
  334. ptr += MINBPC(enc);
  335. REQUIRE_CHAR(enc, ptr, end);
  336. if (!CHAR_MATCHES(enc, ptr, ASCII_RSQB))
  337. break;
  338. ptr += MINBPC(enc);
  339. REQUIRE_CHAR(enc, ptr, end);
  340. if (!CHAR_MATCHES(enc, ptr, ASCII_GT)) {
  341. ptr -= MINBPC(enc);
  342. break;
  343. }
  344. *nextTokPtr = ptr + MINBPC(enc);
  345. return XML_TOK_CDATA_SECT_CLOSE;
  346. case BT_CR:
  347. ptr += MINBPC(enc);
  348. REQUIRE_CHAR(enc, ptr, end);
  349. if (BYTE_TYPE(enc, ptr) == BT_LF)
  350. ptr += MINBPC(enc);
  351. *nextTokPtr = ptr;
  352. return XML_TOK_DATA_NEWLINE;
  353. case BT_LF:
  354. *nextTokPtr = ptr + MINBPC(enc);
  355. return XML_TOK_DATA_NEWLINE;
  356. INVALID_CASES(ptr, nextTokPtr)
  357. default:
  358. ptr += MINBPC(enc);
  359. break;
  360. }
  361. while (HAS_CHAR(enc, ptr, end)) {
  362. switch (BYTE_TYPE(enc, ptr)) {
  363. #define LEAD_CASE(n) \
  364. case BT_LEAD ## n: \
  365. if (end - ptr < n || IS_INVALID_CHAR(enc, ptr, n)) { \
  366. *nextTokPtr = ptr; \
  367. return XML_TOK_DATA_CHARS; \
  368. } \
  369. ptr += n; \
  370. break;
  371. LEAD_CASE(2) LEAD_CASE(3) LEAD_CASE(4)
  372. #undef LEAD_CASE
  373. case BT_NONXML:
  374. case BT_MALFORM:
  375. case BT_TRAIL:
  376. case BT_CR:
  377. case BT_LF:
  378. case BT_RSQB:
  379. *nextTokPtr = ptr;
  380. return XML_TOK_DATA_CHARS;
  381. default:
  382. ptr += MINBPC(enc);
  383. break;
  384. }
  385. }
  386. *nextTokPtr = ptr;
  387. return XML_TOK_DATA_CHARS;
  388. }
  389. /* ptr points to character following "</" */
  390. static int PTRCALL
  391. PREFIX(scanEndTag)(const ENCODING *enc, const char *ptr,
  392. const char *end, const char **nextTokPtr)
  393. {
  394. REQUIRE_CHAR(enc, ptr, end);
  395. switch (BYTE_TYPE(enc, ptr)) {
  396. CHECK_NMSTRT_CASES(enc, ptr, end, nextTokPtr)
  397. default:
  398. *nextTokPtr = ptr;
  399. return XML_TOK_INVALID;
  400. }
  401. while (HAS_CHAR(enc, ptr, end)) {
  402. switch (BYTE_TYPE(enc, ptr)) {
  403. CHECK_NAME_CASES(enc, ptr, end, nextTokPtr)
  404. case BT_S: case BT_CR: case BT_LF:
  405. for (ptr += MINBPC(enc); HAS_CHAR(enc, ptr, end); ptr += MINBPC(enc)) {
  406. switch (BYTE_TYPE(enc, ptr)) {
  407. case BT_S: case BT_CR: case BT_LF:
  408. break;
  409. case BT_GT:
  410. *nextTokPtr = ptr + MINBPC(enc);
  411. return XML_TOK_END_TAG;
  412. default:
  413. *nextTokPtr = ptr;
  414. return XML_TOK_INVALID;
  415. }
  416. }
  417. return XML_TOK_PARTIAL;
  418. #ifdef XML_NS
  419. case BT_COLON:
  420. /* no need to check qname syntax here,
  421. since end-tag must match exactly */
  422. ptr += MINBPC(enc);
  423. break;
  424. #endif
  425. case BT_GT:
  426. *nextTokPtr = ptr + MINBPC(enc);
  427. return XML_TOK_END_TAG;
  428. default:
  429. *nextTokPtr = ptr;
  430. return XML_TOK_INVALID;
  431. }
  432. }
  433. return XML_TOK_PARTIAL;
  434. }
  435. /* ptr points to character following "&#X" */
  436. static int PTRCALL
  437. PREFIX(scanHexCharRef)(const ENCODING *enc, const char *ptr,
  438. const char *end, const char **nextTokPtr)
  439. {
  440. if (HAS_CHAR(enc, ptr, end)) {
  441. switch (BYTE_TYPE(enc, ptr)) {
  442. case BT_DIGIT:
  443. case BT_HEX:
  444. break;
  445. default:
  446. *nextTokPtr = ptr;
  447. return XML_TOK_INVALID;
  448. }
  449. for (ptr += MINBPC(enc); HAS_CHAR(enc, ptr, end); ptr += MINBPC(enc)) {
  450. switch (BYTE_TYPE(enc, ptr)) {
  451. case BT_DIGIT:
  452. case BT_HEX:
  453. break;
  454. case BT_SEMI:
  455. *nextTokPtr = ptr + MINBPC(enc);
  456. return XML_TOK_CHAR_REF;
  457. default:
  458. *nextTokPtr = ptr;
  459. return XML_TOK_INVALID;
  460. }
  461. }
  462. }
  463. return XML_TOK_PARTIAL;
  464. }
  465. /* ptr points to character following "&#" */
  466. static int PTRCALL
  467. PREFIX(scanCharRef)(const ENCODING *enc, const char *ptr,
  468. const char *end, const char **nextTokPtr)
  469. {
  470. if (HAS_CHAR(enc, ptr, end)) {
  471. if (CHAR_MATCHES(enc, ptr, ASCII_x))
  472. return PREFIX(scanHexCharRef)(enc, ptr + MINBPC(enc), end, nextTokPtr);
  473. switch (BYTE_TYPE(enc, ptr)) {
  474. case BT_DIGIT:
  475. break;
  476. default:
  477. *nextTokPtr = ptr;
  478. return XML_TOK_INVALID;
  479. }
  480. for (ptr += MINBPC(enc); HAS_CHAR(enc, ptr, end); ptr += MINBPC(enc)) {
  481. switch (BYTE_TYPE(enc, ptr)) {
  482. case BT_DIGIT:
  483. break;
  484. case BT_SEMI:
  485. *nextTokPtr = ptr + MINBPC(enc);
  486. return XML_TOK_CHAR_REF;
  487. default:
  488. *nextTokPtr = ptr;
  489. return XML_TOK_INVALID;
  490. }
  491. }
  492. }
  493. return XML_TOK_PARTIAL;
  494. }
  495. /* ptr points to character following "&" */
  496. static int PTRCALL
  497. PREFIX(scanRef)(const ENCODING *enc, const char *ptr, const char *end,
  498. const char **nextTokPtr)
  499. {
  500. REQUIRE_CHAR(enc, ptr, end);
  501. switch (BYTE_TYPE(enc, ptr)) {
  502. CHECK_NMSTRT_CASES(enc, ptr, end, nextTokPtr)
  503. case BT_NUM:
  504. return PREFIX(scanCharRef)(enc, ptr + MINBPC(enc), end, nextTokPtr);
  505. default:
  506. *nextTokPtr = ptr;
  507. return XML_TOK_INVALID;
  508. }
  509. while (HAS_CHAR(enc, ptr, end)) {
  510. switch (BYTE_TYPE(enc, ptr)) {
  511. CHECK_NAME_CASES(enc, ptr, end, nextTokPtr)
  512. case BT_SEMI:
  513. *nextTokPtr = ptr + MINBPC(enc);
  514. return XML_TOK_ENTITY_REF;
  515. default:
  516. *nextTokPtr = ptr;
  517. return XML_TOK_INVALID;
  518. }
  519. }
  520. return XML_TOK_PARTIAL;
  521. }
  522. /* ptr points to character following first character of attribute name */
  523. static int PTRCALL
  524. PREFIX(scanAtts)(const ENCODING *enc, const char *ptr, const char *end,
  525. const char **nextTokPtr)
  526. {
  527. #ifdef XML_NS
  528. int hadColon = 0;
  529. #endif
  530. while (HAS_CHAR(enc, ptr, end)) {
  531. switch (BYTE_TYPE(enc, ptr)) {
  532. CHECK_NAME_CASES(enc, ptr, end, nextTokPtr)
  533. #ifdef XML_NS
  534. case BT_COLON:
  535. if (hadColon) {
  536. *nextTokPtr = ptr;
  537. return XML_TOK_INVALID;
  538. }
  539. hadColon = 1;
  540. ptr += MINBPC(enc);
  541. REQUIRE_CHAR(enc, ptr, end);
  542. switch (BYTE_TYPE(enc, ptr)) {
  543. CHECK_NMSTRT_CASES(enc, ptr, end, nextTokPtr)
  544. default:
  545. *nextTokPtr = ptr;
  546. return XML_TOK_INVALID;
  547. }
  548. break;
  549. #endif
  550. case BT_S: case BT_CR: case BT_LF:
  551. for (;;) {
  552. int t;
  553. ptr += MINBPC(enc);
  554. REQUIRE_CHAR(enc, ptr, end);
  555. t = BYTE_TYPE(enc, ptr);
  556. if (t == BT_EQUALS)
  557. break;
  558. switch (t) {
  559. case BT_S:
  560. case BT_LF:
  561. case BT_CR:
  562. break;
  563. default:
  564. *nextTokPtr = ptr;
  565. return XML_TOK_INVALID;
  566. }
  567. }
  568. /* fall through */
  569. case BT_EQUALS:
  570. {
  571. int open;
  572. #ifdef XML_NS
  573. hadColon = 0;
  574. #endif
  575. for (;;) {
  576. ptr += MINBPC(enc);
  577. REQUIRE_CHAR(enc, ptr, end);
  578. open = BYTE_TYPE(enc, ptr);
  579. if (open == BT_QUOT || open == BT_APOS)
  580. break;
  581. switch (open) {
  582. case BT_S:
  583. case BT_LF:
  584. case BT_CR:
  585. break;
  586. default:
  587. *nextTokPtr = ptr;
  588. return XML_TOK_INVALID;
  589. }
  590. }
  591. ptr += MINBPC(enc);
  592. /* in attribute value */
  593. for (;;) {
  594. int t;
  595. REQUIRE_CHAR(enc, ptr, end);
  596. t = BYTE_TYPE(enc, ptr);
  597. if (t == open)
  598. break;
  599. switch (t) {
  600. INVALID_CASES(ptr, nextTokPtr)
  601. case BT_AMP:
  602. {
  603. int tok = PREFIX(scanRef)(enc, ptr + MINBPC(enc), end, &ptr);
  604. if (tok <= 0) {
  605. if (tok == XML_TOK_INVALID)
  606. *nextTokPtr = ptr;
  607. return tok;
  608. }
  609. break;
  610. }
  611. case BT_LT:
  612. *nextTokPtr = ptr;
  613. return XML_TOK_INVALID;
  614. default:
  615. ptr += MINBPC(enc);
  616. break;
  617. }
  618. }
  619. ptr += MINBPC(enc);
  620. REQUIRE_CHAR(enc, ptr, end);
  621. switch (BYTE_TYPE(enc, ptr)) {
  622. case BT_S:
  623. case BT_CR:
  624. case BT_LF:
  625. break;
  626. case BT_SOL:
  627. goto sol;
  628. case BT_GT:
  629. goto gt;
  630. default:
  631. *nextTokPtr = ptr;
  632. return XML_TOK_INVALID;
  633. }
  634. /* ptr points to closing quote */
  635. for (;;) {
  636. ptr += MINBPC(enc);
  637. REQUIRE_CHAR(enc, ptr, end);
  638. switch (BYTE_TYPE(enc, ptr)) {
  639. CHECK_NMSTRT_CASES(enc, ptr, end, nextTokPtr)
  640. case BT_S: case BT_CR: case BT_LF:
  641. continue;
  642. case BT_GT:
  643. gt:
  644. *nextTokPtr = ptr + MINBPC(enc);
  645. return XML_TOK_START_TAG_WITH_ATTS;
  646. case BT_SOL:
  647. sol:
  648. ptr += MINBPC(enc);
  649. REQUIRE_CHAR(enc, ptr, end);
  650. if (!CHAR_MATCHES(enc, ptr, ASCII_GT)) {
  651. *nextTokPtr = ptr;
  652. return XML_TOK_INVALID;
  653. }
  654. *nextTokPtr = ptr + MINBPC(enc);
  655. return XML_TOK_EMPTY_ELEMENT_WITH_ATTS;
  656. default:
  657. *nextTokPtr = ptr;
  658. return XML_TOK_INVALID;
  659. }
  660. break;
  661. }
  662. break;
  663. }
  664. default:
  665. *nextTokPtr = ptr;
  666. return XML_TOK_INVALID;
  667. }
  668. }
  669. return XML_TOK_PARTIAL;
  670. }
  671. /* ptr points to character following "<" */
  672. static int PTRCALL
  673. PREFIX(scanLt)(const ENCODING *enc, const char *ptr, const char *end,
  674. const char **nextTokPtr)
  675. {
  676. #ifdef XML_NS
  677. int hadColon;
  678. #endif
  679. REQUIRE_CHAR(enc, ptr, end);
  680. switch (BYTE_TYPE(enc, ptr)) {
  681. CHECK_NMSTRT_CASES(enc, ptr, end, nextTokPtr)
  682. case BT_EXCL:
  683. ptr += MINBPC(enc);
  684. REQUIRE_CHAR(enc, ptr, end);
  685. switch (BYTE_TYPE(enc, ptr)) {
  686. case BT_MINUS:
  687. return PREFIX(scanComment)(enc, ptr + MINBPC(enc), end, nextTokPtr);
  688. case BT_LSQB:
  689. return PREFIX(scanCdataSection)(enc, ptr + MINBPC(enc),
  690. end, nextTokPtr);
  691. }
  692. *nextTokPtr = ptr;
  693. return XML_TOK_INVALID;
  694. case BT_QUEST:
  695. return PREFIX(scanPi)(enc, ptr + MINBPC(enc), end, nextTokPtr);
  696. case BT_SOL:
  697. return PREFIX(scanEndTag)(enc, ptr + MINBPC(enc), end, nextTokPtr);
  698. default:
  699. *nextTokPtr = ptr;
  700. return XML_TOK_INVALID;
  701. }
  702. #ifdef XML_NS
  703. hadColon = 0;
  704. #endif
  705. /* we have a start-tag */
  706. while (HAS_CHAR(enc, ptr, end)) {
  707. switch (BYTE_TYPE(enc, ptr)) {
  708. CHECK_NAME_CASES(enc, ptr, end, nextTokPtr)
  709. #ifdef XML_NS
  710. case BT_COLON:
  711. if (hadColon) {
  712. *nextTokPtr = ptr;
  713. return XML_TOK_INVALID;
  714. }
  715. hadColon = 1;
  716. ptr += MINBPC(enc);
  717. REQUIRE_CHAR(enc, ptr, end);
  718. switch (BYTE_TYPE(enc, ptr)) {
  719. CHECK_NMSTRT_CASES(enc, ptr, end, nextTokPtr)
  720. default:
  721. *nextTokPtr = ptr;
  722. return XML_TOK_INVALID;
  723. }
  724. break;
  725. #endif
  726. case BT_S: case BT_CR: case BT_LF:
  727. {
  728. ptr += MINBPC(enc);
  729. while (HAS_CHAR(enc, ptr, end)) {
  730. switch (BYTE_TYPE(enc, ptr)) {
  731. CHECK_NMSTRT_CASES(enc, ptr, end, nextTokPtr)
  732. case BT_GT:
  733. goto gt;
  734. case BT_SOL:
  735. goto sol;
  736. case BT_S: case BT_CR: case BT_LF:
  737. ptr += MINBPC(enc);
  738. continue;
  739. default:
  740. *nextTokPtr = ptr;
  741. return XML_TOK_INVALID;
  742. }
  743. return PREFIX(scanAtts)(enc, ptr, end, nextTokPtr);
  744. }
  745. return XML_TOK_PARTIAL;
  746. }
  747. case BT_GT:
  748. gt:
  749. *nextTokPtr = ptr + MINBPC(enc);
  750. return XML_TOK_START_TAG_NO_ATTS;
  751. case BT_SOL:
  752. sol:
  753. ptr += MINBPC(enc);
  754. REQUIRE_CHAR(enc, ptr, end);
  755. if (!CHAR_MATCHES(enc, ptr, ASCII_GT)) {
  756. *nextTokPtr = ptr;
  757. return XML_TOK_INVALID;
  758. }
  759. *nextTokPtr = ptr + MINBPC(enc);
  760. return XML_TOK_EMPTY_ELEMENT_NO_ATTS;
  761. default:
  762. *nextTokPtr = ptr;
  763. return XML_TOK_INVALID;
  764. }
  765. }
  766. return XML_TOK_PARTIAL;
  767. }
  768. static int PTRCALL
  769. PREFIX(contentTok)(const ENCODING *enc, const char *ptr, const char *end,
  770. const char **nextTokPtr)
  771. {
  772. if (ptr >= end)
  773. return XML_TOK_NONE;
  774. if (MINBPC(enc) > 1) {
  775. size_t n = end - ptr;
  776. if (n & (MINBPC(enc) - 1)) {
  777. n &= ~(MINBPC(enc) - 1);
  778. if (n == 0)
  779. return XML_TOK_PARTIAL;
  780. end = ptr + n;
  781. }
  782. }
  783. switch (BYTE_TYPE(enc, ptr)) {
  784. case BT_LT:
  785. return PREFIX(scanLt)(enc, ptr + MINBPC(enc), end, nextTokPtr);
  786. case BT_AMP:
  787. return PREFIX(scanRef)(enc, ptr + MINBPC(enc), end, nextTokPtr);
  788. case BT_CR:
  789. ptr += MINBPC(enc);
  790. if (! HAS_CHAR(enc, ptr, end))
  791. return XML_TOK_TRAILING_CR;
  792. if (BYTE_TYPE(enc, ptr) == BT_LF)
  793. ptr += MINBPC(enc);
  794. *nextTokPtr = ptr;
  795. return XML_TOK_DATA_NEWLINE;
  796. case BT_LF:
  797. *nextTokPtr = ptr + MINBPC(enc);
  798. return XML_TOK_DATA_NEWLINE;
  799. case BT_RSQB:
  800. ptr += MINBPC(enc);
  801. if (! HAS_CHAR(enc, ptr, end))
  802. return XML_TOK_TRAILING_RSQB;
  803. if (!CHAR_MATCHES(enc, ptr, ASCII_RSQB))
  804. break;
  805. ptr += MINBPC(enc);
  806. if (! HAS_CHAR(enc, ptr, end))
  807. return XML_TOK_TRAILING_RSQB;
  808. if (!CHAR_MATCHES(enc, ptr, ASCII_GT)) {
  809. ptr -= MINBPC(enc);
  810. break;
  811. }
  812. *nextTokPtr = ptr;
  813. return XML_TOK_INVALID;
  814. INVALID_CASES(ptr, nextTokPtr)
  815. default:
  816. ptr += MINBPC(enc);
  817. break;
  818. }
  819. while (HAS_CHAR(enc, ptr, end)) {
  820. switch (BYTE_TYPE(enc, ptr)) {
  821. #define LEAD_CASE(n) \
  822. case BT_LEAD ## n: \
  823. if (end - ptr < n || IS_INVALID_CHAR(enc, ptr, n)) { \
  824. *nextTokPtr = ptr; \
  825. return XML_TOK_DATA_CHARS; \
  826. } \
  827. ptr += n; \
  828. break;
  829. LEAD_CASE(2) LEAD_CASE(3) LEAD_CASE(4)
  830. #undef LEAD_CASE
  831. case BT_RSQB:
  832. if (HAS_CHARS(enc, ptr, end, 2)) {
  833. if (!CHAR_MATCHES(enc, ptr + MINBPC(enc), ASCII_RSQB)) {
  834. ptr += MINBPC(enc);
  835. break;
  836. }
  837. if (HAS_CHARS(enc, ptr, end, 3)) {
  838. if (!CHAR_MATCHES(enc, ptr + 2*MINBPC(enc), ASCII_GT)) {
  839. ptr += MINBPC(enc);
  840. break;
  841. }
  842. *nextTokPtr = ptr + 2*MINBPC(enc);
  843. return XML_TOK_INVALID;
  844. }
  845. }
  846. /* fall through */
  847. case BT_AMP:
  848. case BT_LT:
  849. case BT_NONXML:
  850. case BT_MALFORM:
  851. case BT_TRAIL:
  852. case BT_CR:
  853. case BT_LF:
  854. *nextTokPtr = ptr;
  855. return XML_TOK_DATA_CHARS;
  856. default:
  857. ptr += MINBPC(enc);
  858. break;
  859. }
  860. }
  861. *nextTokPtr = ptr;
  862. return XML_TOK_DATA_CHARS;
  863. }
  864. /* ptr points to character following "%" */
  865. static int PTRCALL
  866. PREFIX(scanPercent)(const ENCODING *enc, const char *ptr, const char *end,
  867. const char **nextTokPtr)
  868. {
  869. REQUIRE_CHAR(enc, ptr, end);
  870. switch (BYTE_TYPE(enc, ptr)) {
  871. CHECK_NMSTRT_CASES(enc, ptr, end, nextTokPtr)
  872. case BT_S: case BT_LF: case BT_CR: case BT_PERCNT:
  873. *nextTokPtr = ptr;
  874. return XML_TOK_PERCENT;
  875. default:
  876. *nextTokPtr = ptr;
  877. return XML_TOK_INVALID;
  878. }
  879. while (HAS_CHAR(enc, ptr, end)) {
  880. switch (BYTE_TYPE(enc, ptr)) {
  881. CHECK_NAME_CASES(enc, ptr, end, nextTokPtr)
  882. case BT_SEMI:
  883. *nextTokPtr = ptr + MINBPC(enc);
  884. return XML_TOK_PARAM_ENTITY_REF;
  885. default:
  886. *nextTokPtr = ptr;
  887. return XML_TOK_INVALID;
  888. }
  889. }
  890. return XML_TOK_PARTIAL;
  891. }
  892. static int PTRCALL
  893. PREFIX(scanPoundName)(const ENCODING *enc, const char *ptr, const char *end,
  894. const char **nextTokPtr)
  895. {
  896. REQUIRE_CHAR(enc, ptr, end);
  897. switch (BYTE_TYPE(enc, ptr)) {
  898. CHECK_NMSTRT_CASES(enc, ptr, end, nextTokPtr)
  899. default:
  900. *nextTokPtr = ptr;
  901. return XML_TOK_INVALID;
  902. }
  903. while (HAS_CHAR(enc, ptr, end)) {
  904. switch (BYTE_TYPE(enc, ptr)) {
  905. CHECK_NAME_CASES(enc, ptr, end, nextTokPtr)
  906. case BT_CR: case BT_LF: case BT_S:
  907. case BT_RPAR: case BT_GT: case BT_PERCNT: case BT_VERBAR:
  908. *nextTokPtr = ptr;
  909. return XML_TOK_POUND_NAME;
  910. default:
  911. *nextTokPtr = ptr;
  912. return XML_TOK_INVALID;
  913. }
  914. }
  915. return -XML_TOK_POUND_NAME;
  916. }
  917. static int PTRCALL
  918. PREFIX(scanLit)(int open, const ENCODING *enc,
  919. const char *ptr, const char *end,
  920. const char **nextTokPtr)
  921. {
  922. while (HAS_CHAR(enc, ptr, end)) {
  923. int t = BYTE_TYPE(enc, ptr);
  924. switch (t) {
  925. INVALID_CASES(ptr, nextTokPtr)
  926. case BT_QUOT:
  927. case BT_APOS:
  928. ptr += MINBPC(enc);
  929. if (t != open)
  930. break;
  931. if (! HAS_CHAR(enc, ptr, end))
  932. return -XML_TOK_LITERAL;
  933. *nextTokPtr = ptr;
  934. switch (BYTE_TYPE(enc, ptr)) {
  935. case BT_S: case BT_CR: case BT_LF:
  936. case BT_GT: case BT_PERCNT: case BT_LSQB:
  937. return XML_TOK_LITERAL;
  938. default:
  939. return XML_TOK_INVALID;
  940. }
  941. default:
  942. ptr += MINBPC(enc);
  943. break;
  944. }
  945. }
  946. return XML_TOK_PARTIAL;
  947. }
  948. static int PTRCALL
  949. PREFIX(prologTok)(const ENCODING *enc, const char *ptr, const char *end,
  950. const char **nextTokPtr)
  951. {
  952. int tok;
  953. if (ptr >= end)
  954. return XML_TOK_NONE;
  955. if (MINBPC(enc) > 1) {
  956. size_t n = end - ptr;
  957. if (n & (MINBPC(enc) - 1)) {
  958. n &= ~(MINBPC(enc) - 1);
  959. if (n == 0)
  960. return XML_TOK_PARTIAL;
  961. end = ptr + n;
  962. }
  963. }
  964. switch (BYTE_TYPE(enc, ptr)) {
  965. case BT_QUOT:
  966. return PREFIX(scanLit)(BT_QUOT, enc, ptr + MINBPC(enc), end, nextTokPtr);
  967. case BT_APOS:
  968. return PREFIX(scanLit)(BT_APOS, enc, ptr + MINBPC(enc), end, nextTokPtr);
  969. case BT_LT:
  970. {
  971. ptr += MINBPC(enc);
  972. REQUIRE_CHAR(enc, ptr, end);
  973. switch (BYTE_TYPE(enc, ptr)) {
  974. case BT_EXCL:
  975. return PREFIX(scanDecl)(enc, ptr + MINBPC(enc), end, nextTokPtr);
  976. case BT_QUEST:
  977. return PREFIX(scanPi)(enc, ptr + MINBPC(enc), end, nextTokPtr);
  978. case BT_NMSTRT:
  979. case BT_HEX:
  980. case BT_NONASCII:
  981. case BT_LEAD2:
  982. case BT_LEAD3:
  983. case BT_LEAD4:
  984. *nextTokPtr = ptr - MINBPC(enc);
  985. return XML_TOK_INSTANCE_START;
  986. }
  987. *nextTokPtr = ptr;
  988. return XML_TOK_INVALID;
  989. }
  990. case BT_CR:
  991. if (ptr + MINBPC(enc) == end) {
  992. *nextTokPtr = end;
  993. /* indicate that this might be part of a CR/LF pair */
  994. return -XML_TOK_PROLOG_S;
  995. }
  996. /* fall through */
  997. case BT_S: case BT_LF:
  998. for (;;) {
  999. ptr += MINBPC(enc);
  1000. if (! HAS_CHAR(enc, ptr, end))
  1001. break;
  1002. switch (BYTE_TYPE(enc, ptr)) {
  1003. case BT_S: case BT_LF:
  1004. break;
  1005. case BT_CR:
  1006. /* don't split CR/LF pair */
  1007. if (ptr + MINBPC(enc) != end)
  1008. break;
  1009. /* fall through */
  1010. default:
  1011. *nextTokPtr = ptr;
  1012. return XML_TOK_PROLOG_S;
  1013. }
  1014. }
  1015. *nextTokPtr = ptr;
  1016. return XML_TOK_PROLOG_S;
  1017. case BT_PERCNT:
  1018. return PREFIX(scanPercent)(enc, ptr + MINBPC(enc), end, nextTokPtr);
  1019. case BT_COMMA:
  1020. *nextTokPtr = ptr + MINBPC(enc);
  1021. return XML_TOK_COMMA;
  1022. case BT_LSQB:
  1023. *nextTokPtr = ptr + MINBPC(enc);
  1024. return XML_TOK_OPEN_BRACKET;
  1025. case BT_RSQB:
  1026. ptr += MINBPC(enc);
  1027. if (! HAS_CHAR(enc, ptr, end))
  1028. return -XML_TOK_CLOSE_BRACKET;
  1029. if (CHAR_MATCHES(enc, ptr, ASCII_RSQB)) {
  1030. REQUIRE_CHARS(enc, ptr, end, 2);
  1031. if (CHAR_MATCHES(enc, ptr + MINBPC(enc), ASCII_GT)) {
  1032. *nextTokPtr = ptr + 2*MINBPC(enc);
  1033. return XML_TOK_COND_SECT_CLOSE;
  1034. }
  1035. }
  1036. *nextTokPtr = ptr;
  1037. return XML_TOK_CLOSE_BRACKET;
  1038. case BT_LPAR:
  1039. *nextTokPtr = ptr + MINBPC(enc);
  1040. return XML_TOK_OPEN_PAREN;
  1041. case BT_RPAR:
  1042. ptr += MINBPC(enc);
  1043. if (! HAS_CHAR(enc, ptr, end))
  1044. return -XML_TOK_CLOSE_PAREN;
  1045. switch (BYTE_TYPE(enc, ptr)) {
  1046. case BT_AST:
  1047. *nextTokPtr = ptr + MINBPC(enc);
  1048. return XML_TOK_CLOSE_PAREN_ASTERISK;
  1049. case BT_QUEST:
  1050. *nextTokPtr = ptr + MINBPC(enc);
  1051. return XML_TOK_CLOSE_PAREN_QUESTION;
  1052. case BT_PLUS:
  1053. *nextTokPtr = ptr + MINBPC(enc);
  1054. return XML_TOK_CLOSE_PAREN_PLUS;
  1055. case BT_CR: case BT_LF: case BT_S:
  1056. case BT_GT: case BT_COMMA: case BT_VERBAR:
  1057. case BT_RPAR:
  1058. *nextTokPtr = ptr;
  1059. return XML_TOK_CLOSE_PAREN;
  1060. }
  1061. *nextTokPtr = ptr;
  1062. return XML_TOK_INVALID;
  1063. case BT_VERBAR:
  1064. *nextTokPtr = ptr + MINBPC(enc);
  1065. return XML_TOK_OR;
  1066. case BT_GT:
  1067. *nextTokPtr = ptr + MINBPC(enc);
  1068. return XML_TOK_DECL_CLOSE;
  1069. case BT_NUM:
  1070. return PREFIX(scanPoundName)(enc, ptr + MINBPC(enc), end, nextTokPtr);
  1071. #define LEAD_CASE(n) \
  1072. case BT_LEAD ## n: \
  1073. if (end - ptr < n) \
  1074. return XML_TOK_PARTIAL_CHAR; \
  1075. if (IS_NMSTRT_CHAR(enc, ptr, n)) { \
  1076. ptr += n; \
  1077. tok = XML_TOK_NAME; \
  1078. break; \
  1079. } \
  1080. if (IS_NAME_CHAR(enc, ptr, n)) { \
  1081. ptr += n; \
  1082. tok = XML_TOK_NMTOKEN; \
  1083. break; \
  1084. } \
  1085. *nextTokPtr = ptr; \
  1086. return XML_TOK_INVALID;
  1087. LEAD_CASE(2) LEAD_CASE(3) LEAD_CASE(4)
  1088. #undef LEAD_CASE
  1089. case BT_NMSTRT:
  1090. case BT_HEX:
  1091. tok = XML_TOK_NAME;
  1092. ptr += MINBPC(enc);
  1093. break;
  1094. case BT_DIGIT:
  1095. case BT_NAME:
  1096. case BT_MINUS:
  1097. #ifdef XML_NS
  1098. case BT_COLON:
  1099. #endif
  1100. tok = XML_TOK_NMTOKEN;
  1101. ptr += MINBPC(enc);
  1102. break;
  1103. case BT_NONASCII:
  1104. if (IS_NMSTRT_CHAR_MINBPC(enc, ptr)) {
  1105. ptr += MINBPC(enc);
  1106. tok = XML_TOK_NAME;
  1107. break;
  1108. }
  1109. if (IS_NAME_CHAR_MINBPC(enc, ptr)) {
  1110. ptr += MINBPC(enc);
  1111. tok = XML_TOK_NMTOKEN;
  1112. break;
  1113. }
  1114. /* fall through */
  1115. default:
  1116. *nextTokPtr = ptr;
  1117. return XML_TOK_INVALID;
  1118. }
  1119. while (HAS_CHAR(enc, ptr, end)) {
  1120. switch (BYTE_TYPE(enc, ptr)) {
  1121. CHECK_NAME_CASES(enc, ptr, end, nextTokPtr)
  1122. case BT_GT: case BT_RPAR: case BT_COMMA:
  1123. case BT_VERBAR: case BT_LSQB: case BT_PERCNT:
  1124. case BT_S: case BT_CR: case BT_LF:
  1125. *nextTokPtr = ptr;
  1126. return tok;
  1127. #ifdef XML_NS
  1128. case BT_COLON:
  1129. ptr += MINBPC(enc);
  1130. switch (tok) {
  1131. case XML_TOK_NAME:
  1132. REQUIRE_CHAR(enc, ptr, end);
  1133. tok = XML_TOK_PREFIXED_NAME;
  1134. switch (BYTE_TYPE(enc, ptr)) {
  1135. CHECK_NAME_CASES(enc, ptr, end, nextTokPtr)
  1136. default:
  1137. tok = XML_TOK_NMTOKEN;
  1138. break;
  1139. }
  1140. break;
  1141. case XML_TOK_PREFIXED_NAME:
  1142. tok = XML_TOK_NMTOKEN;
  1143. break;
  1144. }
  1145. break;
  1146. #endif
  1147. case BT_PLUS:
  1148. if (tok == XML_TOK_NMTOKEN) {
  1149. *nextTokPtr = ptr;
  1150. return XML_TOK_INVALID;
  1151. }
  1152. *nextTokPtr = ptr + MINBPC(enc);
  1153. return XML_TOK_NAME_PLUS;
  1154. case BT_AST:
  1155. if (tok == XML_TOK_NMTOKEN) {
  1156. *nextTokPtr = ptr;
  1157. return XML_TOK_INVALID;
  1158. }
  1159. *nextTokPtr = ptr + MINBPC(enc);
  1160. return XML_TOK_NAME_ASTERISK;
  1161. case BT_QUEST:
  1162. if (tok == XML_TOK_NMTOKEN) {
  1163. *nextTokPtr = ptr;
  1164. return XML_TOK_INVALID;
  1165. }
  1166. *nextTokPtr = ptr + MINBPC(enc);
  1167. return XML_TOK_NAME_QUESTION;
  1168. default:
  1169. *nextTokPtr = ptr;
  1170. return XML_TOK_INVALID;
  1171. }
  1172. }
  1173. return -tok;
  1174. }
  1175. static int PTRCALL
  1176. PREFIX(attributeValueTok)(const ENCODING *enc, const char *ptr,
  1177. const char *end, const char **nextTokPtr)
  1178. {
  1179. const char *start;
  1180. if (ptr >= end)
  1181. return XML_TOK_NONE;
  1182. else if (! HAS_CHAR(enc, ptr, end)) {
  1183. /* This line cannot be executed. The incoming data has already
  1184. * been tokenized once, so incomplete characters like this have
  1185. * already been eliminated from the input. Retaining the paranoia
  1186. * check is still valuable, however.
  1187. */
  1188. return XML_TOK_PARTIAL; /* LCOV_EXCL_LINE */
  1189. }
  1190. start = ptr;
  1191. while (HAS_CHAR(enc, ptr, end)) {
  1192. switch (BYTE_TYPE(enc, ptr)) {
  1193. #define LEAD_CASE(n) \
  1194. case BT_LEAD ## n: ptr += n; break;
  1195. LEAD_CASE(2) LEAD_CASE(3) LEAD_CASE(4)
  1196. #undef LEAD_CASE
  1197. case BT_AMP:
  1198. if (ptr == start)
  1199. return PREFIX(scanRef)(enc, ptr + MINBPC(enc), end, nextTokPtr);
  1200. *nextTokPtr = ptr;
  1201. return XML_TOK_DATA_CHARS;
  1202. case BT_LT:
  1203. /* this is for inside entity references */
  1204. *nextTokPtr = ptr;
  1205. return XML_TOK_INVALID;
  1206. case BT_LF:
  1207. if (ptr == start) {
  1208. *nextTokPtr = ptr + MINBPC(enc);
  1209. return XML_TOK_DATA_NEWLINE;
  1210. }
  1211. *nextTokPtr = ptr;
  1212. return XML_TOK_DATA_CHARS;
  1213. case BT_CR:
  1214. if (ptr == start) {
  1215. ptr += MINBPC(enc);
  1216. if (! HAS_CHAR(enc, ptr, end))
  1217. return XML_TOK_TRAILING_CR;
  1218. if (BYTE_TYPE(enc, ptr) == BT_LF)
  1219. ptr += MINBPC(enc);
  1220. *nextTokPtr = ptr;
  1221. return XML_TOK_DATA_NEWLINE;
  1222. }
  1223. *nextTokPtr = ptr;
  1224. return XML_TOK_DATA_CHARS;
  1225. case BT_S:
  1226. if (ptr == start) {
  1227. *nextTokPtr = ptr + MINBPC(enc);
  1228. return XML_TOK_ATTRIBUTE_VALUE_S;
  1229. }
  1230. *nextTokPtr = ptr;
  1231. return XML_TOK_DATA_CHARS;
  1232. default:
  1233. ptr += MINBPC(enc);
  1234. break;
  1235. }
  1236. }
  1237. *nextTokPtr = ptr;
  1238. return XML_TOK_DATA_CHARS;
  1239. }
  1240. static int PTRCALL
  1241. PREFIX(entityValueTok)(const ENCODING *enc, const char *ptr,
  1242. const char *end, const char **nextTokPtr)
  1243. {
  1244. const char *start;
  1245. if (ptr >= end)
  1246. return XML_TOK_NONE;
  1247. else if (! HAS_CHAR(enc, ptr, end)) {
  1248. /* This line cannot be executed. The incoming data has already
  1249. * been tokenized once, so incomplete characters like this have
  1250. * already been eliminated from the input. Retaining the paranoia
  1251. * check is still valuable, however.
  1252. */
  1253. return XML_TOK_PARTIAL; /* LCOV_EXCL_LINE */
  1254. }
  1255. start = ptr;
  1256. while (HAS_CHAR(enc, ptr, end)) {
  1257. switch (BYTE_TYPE(enc, ptr)) {
  1258. #define LEAD_CASE(n) \
  1259. case BT_LEAD ## n: ptr += n; break;
  1260. LEAD_CASE(2) LEAD_CASE(3) LEAD_CASE(4)
  1261. #undef LEAD_CASE
  1262. case BT_AMP:
  1263. if (ptr == start)
  1264. return PREFIX(scanRef)(enc, ptr + MINBPC(enc), end, nextTokPtr);
  1265. *nextTokPtr = ptr;
  1266. return XML_TOK_DATA_CHARS;
  1267. case BT_PERCNT:
  1268. if (ptr == start) {
  1269. int tok = PREFIX(scanPercent)(enc, ptr + MINBPC(enc),
  1270. end, nextTokPtr);
  1271. return (tok == XML_TOK_PERCENT) ? XML_TOK_INVALID : tok;
  1272. }
  1273. *nextTokPtr = ptr;
  1274. return XML_TOK_DATA_CHARS;
  1275. case BT_LF:
  1276. if (ptr == start) {
  1277. *nextTokPtr = ptr + MINBPC(enc);
  1278. return XML_TOK_DATA_NEWLINE;
  1279. }
  1280. *nextTokPtr = ptr;
  1281. return XML_TOK_DATA_CHARS;
  1282. case BT_CR:
  1283. if (ptr == start) {
  1284. ptr += MINBPC(enc);
  1285. if (! HAS_CHAR(enc, ptr, end))
  1286. return XML_TOK_TRAILING_CR;
  1287. if (BYTE_TYPE(enc, ptr) == BT_LF)
  1288. ptr += MINBPC(enc);
  1289. *nextTokPtr = ptr;
  1290. return XML_TOK_DATA_NEWLINE;
  1291. }
  1292. *nextTokPtr = ptr;
  1293. return XML_TOK_DATA_CHARS;
  1294. default:
  1295. ptr += MINBPC(enc);
  1296. break;
  1297. }
  1298. }
  1299. *nextTokPtr = ptr;
  1300. return XML_TOK_DATA_CHARS;
  1301. }
  1302. #ifdef XML_DTD
  1303. static int PTRCALL
  1304. PREFIX(ignoreSectionTok)(const ENCODING *enc, const char *ptr,
  1305. const char *end, const char **nextTokPtr)
  1306. {
  1307. int level = 0;
  1308. if (MINBPC(enc) > 1) {
  1309. size_t n = end - ptr;
  1310. if (n & (MINBPC(enc) - 1)) {
  1311. n &= ~(MINBPC(enc) - 1);
  1312. end = ptr + n;
  1313. }
  1314. }
  1315. while (HAS_CHAR(enc, ptr, end)) {
  1316. switch (BYTE_TYPE(enc, ptr)) {
  1317. INVALID_CASES(ptr, nextTokPtr)
  1318. case BT_LT:
  1319. ptr += MINBPC(enc);
  1320. REQUIRE_CHAR(enc, ptr, end);
  1321. if (CHAR_MATCHES(enc, ptr, ASCII_EXCL)) {
  1322. ptr += MINBPC(enc);
  1323. REQUIRE_CHAR(enc, ptr, end);
  1324. if (CHAR_MATCHES(enc, ptr, ASCII_LSQB)) {
  1325. ++level;
  1326. ptr += MINBPC(enc);
  1327. }
  1328. }
  1329. break;
  1330. case BT_RSQB:
  1331. ptr += MINBPC(enc);
  1332. REQUIRE_CHAR(enc, ptr, end);
  1333. if (CHAR_MATCHES(enc, ptr, ASCII_RSQB)) {
  1334. ptr += MINBPC(enc);
  1335. REQUIRE_CHAR(enc, ptr, end);
  1336. if (CHAR_MATCHES(enc, ptr, ASCII_GT)) {
  1337. ptr += MINBPC(enc);
  1338. if (level == 0) {
  1339. *nextTokPtr = ptr;
  1340. return XML_TOK_IGNORE_SECT;
  1341. }
  1342. --level;
  1343. }
  1344. }
  1345. break;
  1346. default:
  1347. ptr += MINBPC(enc);
  1348. break;
  1349. }
  1350. }
  1351. return XML_TOK_PARTIAL;
  1352. }
  1353. #endif /* XML_DTD */
  1354. static int PTRCALL
  1355. PREFIX(isPublicId)(const ENCODING *enc, const char *ptr, const char *end,
  1356. const char **badPtr)
  1357. {
  1358. ptr += MINBPC(enc);
  1359. end -= MINBPC(enc);
  1360. for (; HAS_CHAR(enc, ptr, end); ptr += MINBPC(enc)) {
  1361. switch (BYTE_TYPE(enc, ptr)) {
  1362. case BT_DIGIT:
  1363. case BT_HEX:
  1364. case BT_MINUS:
  1365. case BT_APOS:
  1366. case BT_LPAR:
  1367. case BT_RPAR:
  1368. case BT_PLUS:
  1369. case BT_COMMA:
  1370. case BT_SOL:
  1371. case BT_EQUALS:
  1372. case BT_QUEST:
  1373. case BT_CR:
  1374. case BT_LF:
  1375. case BT_SEMI:
  1376. case BT_EXCL:
  1377. case BT_AST:
  1378. case BT_PERCNT:
  1379. case BT_NUM:
  1380. #ifdef XML_NS
  1381. case BT_COLON:
  1382. #endif
  1383. break;
  1384. case BT_S:
  1385. if (CHAR_MATCHES(enc, ptr, ASCII_TAB)) {
  1386. *badPtr = ptr;
  1387. return 0;
  1388. }
  1389. break;
  1390. case BT_NAME:
  1391. case BT_NMSTRT:
  1392. if (!(BYTE_TO_ASCII(enc, ptr) & ~0x7f))
  1393. break;
  1394. /* fall through */
  1395. default:
  1396. switch (BYTE_TO_ASCII(enc, ptr)) {
  1397. case 0x24: /* $ */
  1398. case 0x40: /* @ */
  1399. break;
  1400. default:
  1401. *badPtr = ptr;
  1402. return 0;
  1403. }
  1404. break;
  1405. }
  1406. }
  1407. return 1;
  1408. }
  1409. /* This must only be called for a well-formed start-tag or empty
  1410. element tag. Returns the number of attributes. Pointers to the
  1411. first attsMax attributes are stored in atts.
  1412. */
  1413. static int PTRCALL
  1414. PREFIX(getAtts)(const ENCODING *enc, const char *ptr,
  1415. int attsMax, ATTRIBUTE *atts)
  1416. {
  1417. enum { other, inName, inValue } state = inName;
  1418. int nAtts = 0;
  1419. int open = 0; /* defined when state == inValue;
  1420. initialization just to shut up compilers */
  1421. for (ptr += MINBPC(enc);; ptr += MINBPC(enc)) {
  1422. switch (BYTE_TYPE(enc, ptr)) {
  1423. #define START_NAME \
  1424. if (state == other) { \
  1425. if (nAtts < attsMax) { \
  1426. atts[nAtts].name = ptr; \
  1427. atts[nAtts].normalized = 1; \
  1428. } \
  1429. state = inName; \
  1430. }
  1431. #define LEAD_CASE(n) \
  1432. case BT_LEAD ## n: START_NAME ptr += (n - MINBPC(enc)); break;
  1433. LEAD_CASE(2) LEAD_CASE(3) LEAD_CASE(4)
  1434. #undef LEAD_CASE
  1435. case BT_NONASCII:
  1436. case BT_NMSTRT:
  1437. case BT_HEX:
  1438. START_NAME
  1439. break;
  1440. #undef START_NAME
  1441. case BT_QUOT:
  1442. if (state != inValue) {
  1443. if (nAtts < attsMax)
  1444. atts[nAtts].valuePtr = ptr + MINBPC(enc);
  1445. state = inValue;
  1446. open = BT_QUOT;
  1447. }
  1448. else if (open == BT_QUOT) {
  1449. state = other;
  1450. if (nAtts < attsMax)
  1451. atts[nAtts].valueEnd = ptr;
  1452. nAtts++;
  1453. }
  1454. break;
  1455. case BT_APOS:
  1456. if (state != inValue) {
  1457. if (nAtts < attsMax)
  1458. atts[nAtts].valuePtr = ptr + MINBPC(enc);
  1459. state = inValue;
  1460. open = BT_APOS;
  1461. }
  1462. else if (open == BT_APOS) {
  1463. state = other;
  1464. if (nAtts < attsMax)
  1465. atts[nAtts].valueEnd = ptr;
  1466. nAtts++;
  1467. }
  1468. break;
  1469. case BT_AMP:
  1470. if (nAtts < attsMax)
  1471. atts[nAtts].normalized = 0;
  1472. break;
  1473. case BT_S:
  1474. if (state == inName)
  1475. state = other;
  1476. else if (state == inValue
  1477. && nAtts < attsMax
  1478. && atts[nAtts].normalized
  1479. && (ptr == atts[nAtts].valuePtr
  1480. || BYTE_TO_ASCII(enc, ptr) != ASCII_SPACE
  1481. || BYTE_TO_ASCII(enc, ptr + MINBPC(enc)) == ASCII_SPACE
  1482. || BYTE_TYPE(enc, ptr + MINBPC(enc)) == open))
  1483. atts[nAtts].normalized = 0;
  1484. break;
  1485. case BT_CR: case BT_LF:
  1486. /* This case ensures that the first attribute name is counted
  1487. Apart from that we could just change state on the quote. */
  1488. if (state == inName)
  1489. state = other;
  1490. else if (state == inValue && nAtts < attsMax)
  1491. atts[nAtts].normalized = 0;
  1492. break;
  1493. case BT_GT:
  1494. case BT_SOL:
  1495. if (state != inValue)
  1496. return nAtts;
  1497. break;
  1498. default:
  1499. break;
  1500. }
  1501. }
  1502. /* not reached */
  1503. }
  1504. static int PTRFASTCALL
  1505. PREFIX(charRefNumber)(const ENCODING *UNUSED_P(enc), const char *ptr)
  1506. {
  1507. int result = 0;
  1508. /* skip &# */
  1509. ptr += 2*MINBPC(enc);
  1510. if (CHAR_MATCHES(enc, ptr, ASCII_x)) {
  1511. for (ptr += MINBPC(enc);
  1512. !CHAR_MATCHES(enc, ptr, ASCII_SEMI);
  1513. ptr += MINBPC(enc)) {
  1514. int c = BYTE_TO_ASCII(enc, ptr);
  1515. switch (c) {
  1516. case ASCII_0: case ASCII_1: case ASCII_2: case ASCII_3: case ASCII_4:
  1517. case ASCII_5: case ASCII_6: case ASCII_7: case ASCII_8: case ASCII_9:
  1518. result <<= 4;
  1519. result |= (c - ASCII_0);
  1520. break;
  1521. case ASCII_A: case ASCII_B: case ASCII_C:
  1522. case ASCII_D: case ASCII_E: case ASCII_F:
  1523. result <<= 4;
  1524. result += 10 + (c - ASCII_A);
  1525. break;
  1526. case ASCII_a: case ASCII_b: case ASCII_c:
  1527. case ASCII_d: case ASCII_e: case ASCII_f:
  1528. result <<= 4;
  1529. result += 10 + (c - ASCII_a);
  1530. break;
  1531. }
  1532. if (result >= 0x110000)
  1533. return -1;
  1534. }
  1535. }
  1536. else {
  1537. for (; !CHAR_MATCHES(enc, ptr, ASCII_SEMI); ptr += MINBPC(enc)) {
  1538. int c = BYTE_TO_ASCII(enc, ptr);
  1539. result *= 10;
  1540. result += (c - ASCII_0);
  1541. if (result >= 0x110000)
  1542. return -1;
  1543. }
  1544. }
  1545. return checkCharRefNumber(result);
  1546. }
  1547. static int PTRCALL
  1548. PREFIX(predefinedEntityName)(const ENCODING *UNUSED_P(enc), const char *ptr,
  1549. const char *end)
  1550. {
  1551. switch ((end - ptr)/MINBPC(enc)) {
  1552. case 2:
  1553. if (CHAR_MATCHES(enc, ptr + MINBPC(enc), ASCII_t)) {
  1554. switch (BYTE_TO_ASCII(enc, ptr)) {
  1555. case ASCII_l:
  1556. return ASCII_LT;
  1557. case ASCII_g:
  1558. return ASCII_GT;
  1559. }
  1560. }
  1561. break;
  1562. case 3:
  1563. if (CHAR_MATCHES(enc, ptr, ASCII_a)) {
  1564. ptr += MINBPC(enc);
  1565. if (CHAR_MATCHES(enc, ptr, ASCII_m)) {
  1566. ptr += MINBPC(enc);
  1567. if (CHAR_MATCHES(enc, ptr, ASCII_p))
  1568. return ASCII_AMP;
  1569. }
  1570. }
  1571. break;
  1572. case 4:
  1573. switch (BYTE_TO_ASCII(enc, ptr)) {
  1574. case ASCII_q:
  1575. ptr += MINBPC(enc);
  1576. if (CHAR_MATCHES(enc, ptr, ASCII_u)) {
  1577. ptr += MINBPC(enc);
  1578. if (CHAR_MATCHES(enc, ptr, ASCII_o)) {
  1579. ptr += MINBPC(enc);
  1580. if (CHAR_MATCHES(enc, ptr, ASCII_t))
  1581. return ASCII_QUOT;
  1582. }
  1583. }
  1584. break;
  1585. case ASCII_a:
  1586. ptr += MINBPC(enc);
  1587. if (CHAR_MATCHES(enc, ptr, ASCII_p)) {
  1588. ptr += MINBPC(enc);
  1589. if (CHAR_MATCHES(enc, ptr, ASCII_o)) {
  1590. ptr += MINBPC(enc);
  1591. if (CHAR_MATCHES(enc, ptr, ASCII_s))
  1592. return ASCII_APOS;
  1593. }
  1594. }
  1595. break;
  1596. }
  1597. }
  1598. return 0;
  1599. }
  1600. static int PTRCALL
  1601. PREFIX(nameMatchesAscii)(const ENCODING *UNUSED_P(enc), const char *ptr1,
  1602. const char *end1, const char *ptr2)
  1603. {
  1604. for (; *ptr2; ptr1 += MINBPC(enc), ptr2++) {
  1605. if (end1 - ptr1 < MINBPC(enc)) {
  1606. /* This line cannot be executed. The incoming data has already
  1607. * been tokenized once, so incomplete characters like this have
  1608. * already been eliminated from the input. Retaining the
  1609. * paranoia check is still valuable, however.
  1610. */
  1611. return 0; /* LCOV_EXCL_LINE */
  1612. }
  1613. if (!CHAR_MATCHES(enc, ptr1, *ptr2))
  1614. return 0;
  1615. }
  1616. return ptr1 == end1;
  1617. }
  1618. static int PTRFASTCALL
  1619. PREFIX(nameLength)(const ENCODING *enc, const char *ptr)
  1620. {
  1621. const char *start = ptr;
  1622. for (;;) {
  1623. switch (BYTE_TYPE(enc, ptr)) {
  1624. #define LEAD_CASE(n) \
  1625. case BT_LEAD ## n: ptr += n; break;
  1626. LEAD_CASE(2) LEAD_CASE(3) LEAD_CASE(4)
  1627. #undef LEAD_CASE
  1628. case BT_NONASCII:
  1629. case BT_NMSTRT:
  1630. #ifdef XML_NS
  1631. case BT_COLON:
  1632. #endif
  1633. case BT_HEX:
  1634. case BT_DIGIT:
  1635. case BT_NAME:
  1636. case BT_MINUS:
  1637. ptr += MINBPC(enc);
  1638. break;
  1639. default:
  1640. return (int)(ptr - start);
  1641. }
  1642. }
  1643. }
  1644. static const char * PTRFASTCALL
  1645. PREFIX(skipS)(const ENCODING *enc, const char *ptr)
  1646. {
  1647. for (;;) {
  1648. switch (BYTE_TYPE(enc, ptr)) {
  1649. case BT_LF:
  1650. case BT_CR:
  1651. case BT_S:
  1652. ptr += MINBPC(enc);
  1653. break;
  1654. default:
  1655. return ptr;
  1656. }
  1657. }
  1658. }
  1659. static void PTRCALL
  1660. PREFIX(updatePosition)(const ENCODING *enc,
  1661. const char *ptr,
  1662. const char *end,
  1663. POSITION *pos)
  1664. {
  1665. while (HAS_CHAR(enc, ptr, end)) {
  1666. switch (BYTE_TYPE(enc, ptr)) {
  1667. #define LEAD_CASE(n) \
  1668. case BT_LEAD ## n: \
  1669. ptr += n; \
  1670. break;
  1671. LEAD_CASE(2) LEAD_CASE(3) LEAD_CASE(4)
  1672. #undef LEAD_CASE
  1673. case BT_LF:
  1674. pos->columnNumber = (XML_Size)-1;
  1675. pos->lineNumber++;
  1676. ptr += MINBPC(enc);
  1677. break;
  1678. case BT_CR:
  1679. pos->lineNumber++;
  1680. ptr += MINBPC(enc);
  1681. if (HAS_CHAR(enc, ptr, end) && BYTE_TYPE(enc, ptr) == BT_LF)
  1682. ptr += MINBPC(enc);
  1683. pos->columnNumber = (XML_Size)-1;
  1684. break;
  1685. default:
  1686. ptr += MINBPC(enc);
  1687. break;
  1688. }
  1689. pos->columnNumber++;
  1690. }
  1691. }
  1692. #undef DO_LEAD_CASE
  1693. #undef MULTIBYTE_CASES
  1694. #undef INVALID_CASES
  1695. #undef CHECK_NAME_CASE
  1696. #undef CHECK_NAME_CASES
  1697. #undef CHECK_NMSTRT_CASE
  1698. #undef CHECK_NMSTRT_CASES
  1699. #endif /* XML_TOK_IMPL_C */