diff --git a/Tools/clinic/clinic.py b/Tools/clinic/clinic.py
index 726ebc04f55bd5..861a6507eae753 100755
--- a/Tools/clinic/clinic.py
+++ b/Tools/clinic/clinic.py
@@ -1712,7 +1712,13 @@ class BlockParser:
Iterator, yields Block objects.
"""
- def __init__(self, input, language, *, verify=True):
+ def __init__(
+ self,
+ input: str,
+ language: Language,
+ *,
+ verify: bool = True
+ ) -> None:
"""
"input" should be a str object
with embedded \n characters.
@@ -1730,15 +1736,15 @@ def __init__(self, input, language, *, verify=True):
self.find_start_re = create_regex(before, after, whole_line=False)
self.start_re = create_regex(before, after)
self.verify = verify
- self.last_checksum_re = None
- self.last_dsl_name = None
- self.dsl_name = None
+ self.last_checksum_re: re.Pattern[str] | None = None
+ self.last_dsl_name: str | None = None
+ self.dsl_name: str | None = None
self.first_block = True
- def __iter__(self):
+ def __iter__(self) -> BlockParser:
return self
- def __next__(self):
+ def __next__(self) -> Block:
while True:
if not self.input:
raise StopIteration
@@ -1755,18 +1761,18 @@ def __next__(self):
return block
- def is_start_line(self, line):
+ def is_start_line(self, line: str) -> str | None:
match = self.start_re.match(line.lstrip())
return match.group(1) if match else None
- def _line(self, lookahead=False):
+ def _line(self, lookahead: bool = False) -> str:
self.line_number += 1
line = self.input.pop()
if not lookahead:
self.language.parse_line(line)
return line
- def parse_verbatim_block(self):
+ def parse_verbatim_block(self) -> Block:
add, output = text_accumulator()
self.block_start_line_number = self.line_number
@@ -1780,13 +1786,13 @@ def parse_verbatim_block(self):
return Block(output())
- def parse_clinic_block(self, dsl_name):
+ def parse_clinic_block(self, dsl_name: str) -> Block:
input_add, input_output = text_accumulator()
self.block_start_line_number = self.line_number + 1
stop_line = self.language.stop_line.format(dsl_name=dsl_name)
body_prefix = self.language.body_prefix.format(dsl_name=dsl_name)
- def is_stop_line(line):
+ def is_stop_line(line: str) -> bool:
# make sure to recognize stop line even if it
# doesn't end with EOL (it could be the very end of the file)
if line.startswith(stop_line):
@@ -1820,6 +1826,7 @@ def is_stop_line(line):
checksum_re = create_regex(before, after, word=False)
self.last_dsl_name = dsl_name
self.last_checksum_re = checksum_re
+ assert checksum_re is not None
# scan forward for checksum line
output_add, output_output = text_accumulator()
@@ -1834,6 +1841,7 @@ def is_stop_line(line):
if self.is_start_line(line):
break
+ output: str | None
output = output_output()
if arguments:
d = {}
pFad - Phonifier reborn
Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.
Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.
Alternative Proxies:
Alternative Proxy
pFad Proxy
pFad v3 Proxy
pFad v4 Proxy