From d81b4f8ff84311fa737e62f2883442ec06d7d5d8 Mon Sep 17 00:00:00 2001 From: "Erlend E. Aasland" Date: Fri, 21 Jul 2023 01:19:11 +0200 Subject: gh-104050: Argument Clinic: Annotate the IndentStack class (#106934) --- Tools/clinic/clinic.py | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/Tools/clinic/clinic.py b/Tools/clinic/clinic.py index 003ecf7..a204c1d 100755 --- a/Tools/clinic/clinic.py +++ b/Tools/clinic/clinic.py @@ -4284,7 +4284,7 @@ class IndentStack: if not self.indents: fail('IndentStack expected indents, but none are defined.') - def measure(self, line): + def measure(self, line: str) -> int: """ Returns the length of the line's margin. """ @@ -4298,7 +4298,7 @@ class IndentStack: return self.indents[-1] return len(line) - len(stripped) - def infer(self, line): + def infer(self, line: str) -> int: """ Infer what is now the current margin based on this line. Returns: @@ -4331,19 +4331,19 @@ class IndentStack: return outdent_count @property - def depth(self): + def depth(self) -> int: """ Returns how many margins are currently defined. """ return len(self.indents) - def indent(self, line): + def indent(self, line: str) -> str: """ Indents a line by the currently defined margin. """ return self.margin + line - def dedent(self, line): + def dedent(self, line: str) -> str: """ Dedents a line by the currently defined margin. (The inverse of 'indent'.) -- cgit v0.12