From: Erlend E. Aasland <erlend@python.org>
Date: Thu, 20 Jul 2023 23:19:11 +0000 (+0200)
Subject: gh-104050: Argument Clinic: Annotate the IndentStack class (#106934)
X-Git-Tag: v3.13.0a1~1326
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=d81b4f8ff84311fa737e62f2883442ec06d7d5d8;p=thirdparty%2FPython%2Fcpython.git

gh-104050: Argument Clinic: Annotate the IndentStack class (#106934)
---

diff --git a/Tools/clinic/clinic.py b/Tools/clinic/clinic.py
index 003ecf784d71..a204c1dd0dc2 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'.)