Lines Matching full:terminal
4062 look up a symbol to determine whether it's a nonterminal or terminal.
4069 * src/print-xml.c (print_grammar): For each terminal that has a
4094 * data/xslt/xml2text.xsl (xsl:template match="terminal"): Use
4096 (xsl:template match="terminal/rule"): Remove.
4101 * data/xslt/xml2xhtml.xsl (xsl:template match="terminal"): Use
4103 (xsl:template match="terminal/rule"): Remove.
4366 For the XML output's terminal element, rename @number to @token-number,
4370 * data/xslt/xml2text.xsl (xsl:template match="terminal"): Update for
4373 * data/xslt/xml2xhtml.xsl (xsl:template match="terminal"): Likewise.
4386 * data/xslt/xml2text.xsl (xsl:template match="terminal"): When invoking
4415 <terminal> and <nonterminal> attributes:
4417 * data/xslt/xml2text.xsl (xsl:template match="terminal"):
4478 (xsl:template match="terminal"): Line-wrap the list of rules in which
4479 the terminal is used.
4594 * src/reduce.c (reduce_xml): XML-escape terminal symbol tags.
13266 cannot be a non terminal.
17489 a terminal.
23888 Allow the type of a non-terminal can be given
