Skip to content

gh-127833: Docs: Add a grammar-snippet directive & replace productionlist #127835

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
encukou merged 20 commits into from
Feb 5, 2025
+226 −2
Merged

gh-127833: Docs: Add a grammar-snippet directive & replace productionlist #127835

Changes from 1 commit
Commits
Show all changes
20 commits
Select commit Hold shift + click to select a range
86a0ecc
First version of GrammarSnippetDirective, copied from an earlier branch
encukou Nov 20, 2024
f6ffb21
Add a grammar-snippet directive
blaisep Dec 4, 2024
5cfc701
Remove monkey patch for production list and Add CompatProductionList
blaisep Dec 4, 2024
f0cbed8
Fix ReST grammar
encukou Dec 11, 2024
9139e25
Complete the CompatProductionList class
encukou Dec 11, 2024
b10d78b
Adjust docstrings & move GrammarSnippetDirective class up
encukou Dec 11, 2024
c18a4d3
Merge in the main branch
encukou Dec 11, 2024
a403fb6
Run Ruff
encukou Dec 11, 2024
074c189
Run Ruff again with different flags
encukou Dec 11, 2024
b2fb819
Merge in the main branch
encukou Jan 22, 2025
ea9e2f0
Turn the common function into a class with method; break make_link_to…
encukou Jan 22, 2025
b2205a8
Remove blank line
encukou Jan 22, 2025
829e4f0
Run `ruff format`
encukou Jan 22, 2025
e57a37e
Add forgotten arguments
encukou Jan 22, 2025
fca04c7
Merge in the main branch
encukou Jan 29, 2025
2732143
Use Sphinx's token_xrefs function for formatting the tokens
encukou Jan 29, 2025
ef3c552
Improve the highlight class injection
encukou Jan 29, 2025
c0c8432
Appease Ruff
encukou Jan 29, 2025
e2359b7
Appase Ruff again
encukou Jan 29, 2025
3fcb730
Add type annotations, minor clean-ups
AA-Turner Jan 29, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Improve the highlight class injection
  • Loading branch information
@encukou
encukou committed Jan 29, 2025
commit ef3c552a3636dbdc20e4753f55b6c8cae89336c3
12 changes: 9 additions & 3 deletions Doc/tools/extensions/grammar_snippet.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,14 @@
from sphinx.domains.std import token_xrefs


class snippet_literal_string(nodes.inline):
"""Node for a string literal in a grammar snippet."""

def __init__(self) -> None:
# Use the Pygments highlight class for `Literal.String.Other`
super().__init__(classes=['sx'])


class GrammarSnippetBase(SphinxDirective):
"""Common functionality for GrammarSnippetDirective & CompatProductionList."""

Expand All @@ -31,8 +39,6 @@ def make_grammar_snippet(self, options, content):
literal = nodes.literal_block(
rawsource,
'',
# TODO: Use a dedicated CSS class here and for strings.
# and add it to the theme too
classes=['highlight'],
)

Expand Down Expand Up @@ -70,7 +76,7 @@ def make_grammar_snippet(self, options, content):
case {'rule_ref': ref_text}:
literal += token_xrefs(ref_text, group_name)
case {'single_quoted': name} | {'double_quoted': name}:
string_node = nodes.inline(classes=['nb'])
string_node = snippet_literal_string()
string_node += nodes.Text(name)
literal += string_node
case _:
Expand Down