| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313 |
- """Utilities for parsing source text"""
- from __future__ import annotations
- import re
- from re import Match
- from typing import TypeVar
- import unicodedata
- from .entities import entities
- def charCodeAt(src: str, pos: int) -> int | None:
- """
- Returns the Unicode value of the character at the specified location.
- @param - index The zero-based index of the desired character.
- If there is no character at the specified index, NaN is returned.
- This was added for compatibility with python
- """
- try:
- return ord(src[pos])
- except IndexError:
- return None
- def charStrAt(src: str, pos: int) -> str | None:
- """
- Returns the Unicode value of the character at the specified location.
- @param - index The zero-based index of the desired character.
- If there is no character at the specified index, NaN is returned.
- This was added for compatibility with python
- """
- try:
- return src[pos]
- except IndexError:
- return None
- _ItemTV = TypeVar("_ItemTV")
- def arrayReplaceAt(
- src: list[_ItemTV], pos: int, newElements: list[_ItemTV]
- ) -> list[_ItemTV]:
- """
- Remove element from array and put another array at those position.
- Useful for some operations with tokens
- """
- return src[:pos] + newElements + src[pos + 1 :]
- def isValidEntityCode(c: int) -> bool:
- # broken sequence
- if c >= 0xD800 and c <= 0xDFFF:
- return False
- # never used
- if c >= 0xFDD0 and c <= 0xFDEF:
- return False
- if ((c & 0xFFFF) == 0xFFFF) or ((c & 0xFFFF) == 0xFFFE):
- return False
- # control codes
- if c >= 0x00 and c <= 0x08:
- return False
- if c == 0x0B:
- return False
- if c >= 0x0E and c <= 0x1F:
- return False
- if c >= 0x7F and c <= 0x9F:
- return False
- # out of range
- return not (c > 0x10FFFF)
- def fromCodePoint(c: int) -> str:
- """Convert ordinal to unicode.
- Note, in the original Javascript two string characters were required,
- for codepoints larger than `0xFFFF`.
- But Python 3 can represent any unicode codepoint in one character.
- """
- return chr(c)
- # UNESCAPE_MD_RE = re.compile(r'\\([!"#$%&\'()*+,\-.\/:;<=>?@[\\\]^_`{|}~])')
- # ENTITY_RE_g = re.compile(r'&([a-z#][a-z0-9]{1,31})', re.IGNORECASE)
- UNESCAPE_ALL_RE = re.compile(
- r'\\([!"#$%&\'()*+,\-.\/:;<=>?@[\\\]^_`{|}~])' + "|" + r"&([a-z#][a-z0-9]{1,31});",
- re.IGNORECASE,
- )
- DIGITAL_ENTITY_BASE10_RE = re.compile(r"#([0-9]{1,8})")
- DIGITAL_ENTITY_BASE16_RE = re.compile(r"#x([a-f0-9]{1,8})", re.IGNORECASE)
- def replaceEntityPattern(match: str, name: str) -> str:
- """Convert HTML entity patterns,
- see https://spec.commonmark.org/0.30/#entity-references
- """
- if name in entities:
- return entities[name]
- code: None | int = None
- if pat := DIGITAL_ENTITY_BASE10_RE.fullmatch(name):
- code = int(pat.group(1), 10)
- elif pat := DIGITAL_ENTITY_BASE16_RE.fullmatch(name):
- code = int(pat.group(1), 16)
- if code is not None and isValidEntityCode(code):
- return fromCodePoint(code)
- return match
- def unescapeAll(string: str) -> str:
- def replacer_func(match: Match[str]) -> str:
- escaped = match.group(1)
- if escaped:
- return escaped
- entity = match.group(2)
- return replaceEntityPattern(match.group(), entity)
- if "\\" not in string and "&" not in string:
- return string
- return UNESCAPE_ALL_RE.sub(replacer_func, string)
- ESCAPABLE = r"""\\!"#$%&'()*+,./:;<=>?@\[\]^`{}|_~-"""
- ESCAPE_CHAR = re.compile(r"\\([" + ESCAPABLE + r"])")
- def stripEscape(string: str) -> str:
- """Strip escape \\ characters"""
- return ESCAPE_CHAR.sub(r"\1", string)
- def escapeHtml(raw: str) -> str:
- """Replace special characters "&", "<", ">" and '"' to HTML-safe sequences."""
- # like html.escape, but without escaping single quotes
- raw = raw.replace("&", "&") # Must be done first!
- raw = raw.replace("<", "<")
- raw = raw.replace(">", ">")
- raw = raw.replace('"', """)
- return raw
- # //////////////////////////////////////////////////////////////////////////////
- REGEXP_ESCAPE_RE = re.compile(r"[.?*+^$[\]\\(){}|-]")
- def escapeRE(string: str) -> str:
- string = REGEXP_ESCAPE_RE.sub("\\$&", string)
- return string
- # //////////////////////////////////////////////////////////////////////////////
- def isSpace(code: int | None) -> bool:
- """Check if character code is a whitespace."""
- return code in (0x09, 0x20)
- def isStrSpace(ch: str | None) -> bool:
- """Check if character is a whitespace."""
- return ch in ("\t", " ")
- MD_WHITESPACE = {
- 0x09, # \t
- 0x0A, # \n
- 0x0B, # \v
- 0x0C, # \f
- 0x0D, # \r
- 0x20, # space
- 0xA0,
- 0x1680,
- 0x202F,
- 0x205F,
- 0x3000,
- }
- def isWhiteSpace(code: int) -> bool:
- r"""Zs (unicode class) || [\t\f\v\r\n]"""
- if code >= 0x2000 and code <= 0x200A:
- return True
- return code in MD_WHITESPACE
- # //////////////////////////////////////////////////////////////////////////////
- def isPunctChar(ch: str) -> bool:
- """Check if character is a punctuation character."""
- return unicodedata.category(ch).startswith(("P", "S"))
- MD_ASCII_PUNCT = {
- 0x21, # /* ! */
- 0x22, # /* " */
- 0x23, # /* # */
- 0x24, # /* $ */
- 0x25, # /* % */
- 0x26, # /* & */
- 0x27, # /* ' */
- 0x28, # /* ( */
- 0x29, # /* ) */
- 0x2A, # /* * */
- 0x2B, # /* + */
- 0x2C, # /* , */
- 0x2D, # /* - */
- 0x2E, # /* . */
- 0x2F, # /* / */
- 0x3A, # /* : */
- 0x3B, # /* ; */
- 0x3C, # /* < */
- 0x3D, # /* = */
- 0x3E, # /* > */
- 0x3F, # /* ? */
- 0x40, # /* @ */
- 0x5B, # /* [ */
- 0x5C, # /* \ */
- 0x5D, # /* ] */
- 0x5E, # /* ^ */
- 0x5F, # /* _ */
- 0x60, # /* ` */
- 0x7B, # /* { */
- 0x7C, # /* | */
- 0x7D, # /* } */
- 0x7E, # /* ~ */
- }
- def isMdAsciiPunct(ch: int) -> bool:
- """Markdown ASCII punctuation characters.
- ::
- !, ", #, $, %, &, ', (, ), *, +, ,, -, ., /, :, ;, <, =, >, ?, @, [, \\, ], ^, _, `, {, |, }, or ~
- See http://spec.commonmark.org/0.15/#ascii-punctuation-character
- Don't confuse with unicode punctuation !!! It lacks some chars in ascii range.
- """
- return ch in MD_ASCII_PUNCT
- def normalizeReference(string: str) -> str:
- """Helper to unify [reference labels]."""
- # Trim and collapse whitespace
- #
- string = re.sub(r"\s+", " ", string.strip())
- # In node v10 'ẞ'.toLowerCase() === 'Ṿ', which is presumed to be a bug
- # fixed in v12 (couldn't find any details).
- #
- # So treat this one as a special case
- # (remove this when node v10 is no longer supported).
- #
- # if ('ẞ'.toLowerCase() === 'Ṿ') {
- # str = str.replace(/ẞ/g, 'ß')
- # }
- # .toLowerCase().toUpperCase() should get rid of all differences
- # between letter variants.
- #
- # Simple .toLowerCase() doesn't normalize 125 code points correctly,
- # and .toUpperCase doesn't normalize 6 of them (list of exceptions:
- # İ, ϴ, ẞ, Ω, K, Å - those are already uppercased, but have differently
- # uppercased versions).
- #
- # Here's an example showing how it happens. Lets take greek letter omega:
- # uppercase U+0398 (Θ), U+03f4 (ϴ) and lowercase U+03b8 (θ), U+03d1 (ϑ)
- #
- # Unicode entries:
- # 0398;GREEK CAPITAL LETTER THETA;Lu;0;L;;;;;N;;;;03B8
- # 03B8;GREEK SMALL LETTER THETA;Ll;0;L;;;;;N;;;0398;;0398
- # 03D1;GREEK THETA SYMBOL;Ll;0;L;<compat> 03B8;;;;N;GREEK SMALL LETTER SCRIPT THETA;;0398;;0398
- # 03F4;GREEK CAPITAL THETA SYMBOL;Lu;0;L;<compat> 0398;;;;N;;;;03B8
- #
- # Case-insensitive comparison should treat all of them as equivalent.
- #
- # But .toLowerCase() doesn't change ϑ (it's already lowercase),
- # and .toUpperCase() doesn't change ϴ (already uppercase).
- #
- # Applying first lower then upper case normalizes any character:
- # '\u0398\u03f4\u03b8\u03d1'.toLowerCase().toUpperCase() === '\u0398\u0398\u0398\u0398'
- #
- # Note: this is equivalent to unicode case folding; unicode normalization
- # is a different step that is not required here.
- #
- # Final result should be uppercased, because it's later stored in an object
- # (this avoid a conflict with Object.prototype members,
- # most notably, `__proto__`)
- #
- return string.lower().upper()
- LINK_OPEN_RE = re.compile(r"^<a[>\s]", flags=re.IGNORECASE)
- LINK_CLOSE_RE = re.compile(r"^</a\s*>", flags=re.IGNORECASE)
- def isLinkOpen(string: str) -> bool:
- return bool(LINK_OPEN_RE.search(string))
- def isLinkClose(string: str) -> bool:
- return bool(LINK_CLOSE_RE.search(string))
|