extractDelimiter static method

String extractDelimiter(
  1. LatexNode node
)

Extracts a delimiter character from a parsed argument. Both literal delimiters and command forms such as \langle/\rVert are accepted.

Implementation

static String extractDelimiter(LatexNode node) {
  String raw;
  if (node is GroupNode) {
    raw = node.childrenNodes.length == 1
        ? extractDelimiter(node.childrenNodes.single)
        : extractText(node.childrenNodes);
  } else if (node is CommandNode) {
    raw = node.name;
  } else if (node is SymbolNode) {
    raw = node.unicode;
  } else if (node is TextNode) {
    raw = node.content;
  } else {
    raw = extractText([node]);
  }
  return delimiterFromName(raw.trim());
}