Skip to content

Commit 2ce6c0a

Browse files
committed
core, json, docutils: Rename GeneratorInfo to DriverInfo
1 parent d376077 commit 2ce6c0a

File tree

9 files changed

+22
-22
lines changed

9 files changed

+22
-22
lines changed

alectryon/core.py

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -49,7 +49,7 @@ def debug(text, prefix):
4949
if DEBUG:
5050
print(indent(text.rstrip(), prefix), flush=True)
5151

52-
class GeneratorInfo(namedtuple("GeneratorInfo", "name version")):
52+
class DriverInfo(namedtuple("DriverInfo", "name version")):
5353
def fmt(self, include_version_info=True):
5454
return "{} v{}".format(self.name, self.version) if include_version_info else self.name
5555

@@ -369,7 +369,7 @@ def __init__(self, args=(), fpath="-", binpath=None):
369369
def version_info(cls, binpath=None):
370370
assert cls.BIN
371371
bs = check_output([cls.resolve_driver(binpath or cls.BIN), *cls.VERSION_FLAGS])
372-
return GeneratorInfo(cls.NAME, bs.decode('ascii', 'ignore').strip())
372+
return DriverInfo(cls.NAME, bs.decode('ascii', 'ignore').strip())
373373

374374
@property
375375
def metadata(self):

alectryon/docutils.py

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -167,7 +167,7 @@ def _try(document, fn, node, *args, **kwargs):
167167
# LATER: dataclass
168168
class AlectryonState:
169169
def __init__(self, document):
170-
self.generators: List[core.GeneratorInfo] = []
170+
self.drivers_info: List[core.DriverInfo] = []
171171
self.root_language: Optional[str] = None
172172
self.transforms_executed = set()
173173
self.embedded_assets = []
@@ -274,15 +274,15 @@ def parse_args(args):
274274
yield "-" + arg
275275
yield ",".join(vals)
276276

277-
def driver_info(self, lang):
277+
def get_driver_class_and_args(self, lang):
278278
driver_name = self.language_drivers[lang]
279279
driver_cls = core.resolve_driver(lang, driver_name)
280280
driver_args = self.driver_args[driver_name]
281281
assert driver_name == driver_cls.ID
282282
return driver_cls, driver_args
283283

284284
def init_driver(self, lang):
285-
cls, args = self.driver_info(lang)
285+
cls, args = self.get_driver_class_and_args(lang)
286286
return cls(args, fpath=self.document['source'])
287287

288288
class OneTimeTransform(Transform):
@@ -372,7 +372,7 @@ def annotate(self, pending_nodes, lang, cache):
372372
driver.observer = DocutilsObserver(self.document)
373373
chunks = [pending.details["contents"] for pending in pending_nodes]
374374
annotated = cache.update(chunks, driver)
375-
return cache.generator, annotated
375+
return cache.driver_info, annotated
376376

377377
def replace_node(self, pending, fragments, lang):
378378
directive_annots = pending.details["directive_annots"]
@@ -392,8 +392,8 @@ def apply_drivers(self):
392392
all_pending = self.document.traverse(alectryon_pending)
393393
with CacheSet(CACHE_DIRECTORY, self.document['source'], CACHE_COMPRESSION) as caches:
394394
for lang, pending_nodes in by_lang(all_pending).items():
395-
generator, annotated = self.annotate(pending_nodes, lang, caches[lang])
396-
state.generators.append(generator)
395+
driver_info, annotated = self.annotate(pending_nodes, lang, caches[lang])
396+
state.drivers_info.append(driver_info)
397397
for node, fragments in zip(pending_nodes, annotated):
398398
self._try(self.replace_node, node, fragments, lang)
399399

@@ -1244,9 +1244,9 @@ def __init__(self, document):
12441244
self.body_prefix.append('<div class="{}">'.format(cls))
12451245

12461246
if self.settings.alectryon_banner:
1247-
generators = alectryon_state(document).generators
1247+
drivers_info = alectryon_state(document).drivers_info
12481248
include_vernums = document.settings.alectryon_vernums
1249-
self.body_prefix.append(html.gen_banner(generators, include_vernums))
1249+
self.body_prefix.append(html.gen_banner(drivers_info, include_vernums))
12501250

12511251
self.body_suffix.insert(0, '</div>')
12521252
return Translator

alectryon/html.py

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -64,8 +64,8 @@ def gen_css(ctx):
6464
'</div>'
6565
)
6666

67-
def gen_banner(generators, include_version_info=True):
68-
return HEADER.format(", ".join(g.fmt(include_version_info) for g in generators))
67+
def gen_banner(driver_info, include_version_info=True):
68+
return HEADER.format(", ".join(di.fmt(include_version_info) for di in driver_info))
6969

7070
def wrap_classes(*cls):
7171
return " ".join("alectryon-" + c for c in ("root", *cls))

alectryon/json.py

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -243,7 +243,7 @@ def normalize(obj: Any) -> Any:
243243
return obj
244244

245245
def _validate(self, chunks, metadata):
246-
# Not that we validate "metadata" but not "generator". This is to prevent
246+
# Note that we validate "metadata" but not "driver". This is to prevent
247247
# Coq upgrades from invalidating caches. It's easy to force invalidation
248248
# by hand (delete the caches), whereas automatic invalidation on Coq
249249
# upgrades would make it a pain to keep a collection of examples (say, a
@@ -258,11 +258,11 @@ def get(self, chunks, metadata):
258258
return self.serializer.decode(self.data.get("annotated"))
259259

260260
@property
261-
def generator(self):
262-
return core.GeneratorInfo(*self.data.get("generator", ("Coq+SerAPI", "??")))
261+
def driver_info(self):
262+
return core.DriverInfo(*self.data.get("driver", ("Coq+SerAPI", "??")))
263263

264-
def put(self, chunks, metadata, annotated, generator):
265-
self.data = {"generator": self.normalize(generator),
264+
def put(self, chunks, metadata, annotated, driver):
265+
self.data = {"driver": self.normalize(driver),
266266
"metadata": self.normalize(metadata),
267267
"chunks": list(chunks),
268268
"annotated": self.serializer.encode(annotated)}
@@ -344,7 +344,7 @@ def _upgrade(cls, contents):
344344
metadata.pop("cache_version", None)
345345
return {"metadata": cls.METADATA,
346346
**{cls.LANG_PREFIX + "coq":
347-
{"generator": contents.pop("generator"),
347+
{"driver": contents.pop("generator"),
348348
"metadata": contents.pop("metadata"),
349349
**contents}}}
350350
return contents

recipes/_output/caching.v.cache.xz

0 Bytes
Binary file not shown.

recipes/sphinx/_build/alectryon/MyST.md.cache

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
"cache_version": "2"
44
},
55
"&coq": {
6-
"generator": [
6+
"driver": [
77
"Coq+SerAPI",
88
"8.12.0+0.12.0"
99
],

recipes/sphinx/_build/alectryon/coqchapter.v.cache

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
"cache_version": "2"
44
},
55
"&coq": {
6-
"generator": [
6+
"driver": [
77
"Coq+SerAPI",
88
"8.12.0+0.12.0"
99
],

recipes/sphinx/_build/alectryon/index.rst.cache

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
"cache_version": "2"
44
},
55
"&coq": {
6-
"generator": [
6+
"driver": [
77
"Coq+SerAPI",
88
"8.12.0+0.12.0"
99
],

recipes/sphinx/_build/alectryon/math.rst.cache

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
"cache_version": "2"
44
},
55
"&coq": {
6-
"generator": [
6+
"driver": [
77
"Coq+SerAPI",
88
"8.12.0+0.12.0"
99
],

0 commit comments

Comments
 (0)