Rename Example to Span

guides/strategies-that-shrink.rst

@@ -254,7 +254,7 @@ Explicit example boundaries
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~
 This is almost always handled implicitly, e.g. by ``cu.many``, but *sometimes*
 it can be useful to explicitly insert boundaries around draws that should be
-deleted simultaneously using ``data.start_example``.  This is used to group
+deleted simultaneously using ``data.start_span``.  This is used to group
 the value and sign of floating-point numbers, for example, which we split up
 in order to provide a more natural shrinking order.
 

hypothesis-python/RELEASE.rst

@@ -0,0 +1,3 @@
+RELEASE_TYPE: patch
+
+Rename a few internal classes for clarity.

hypothesis-python/src/hypothesis/extra/lark.py

@@ -183,12 +183,12 @@ def draw_symbol(
             draw_state.append(data.draw(strategy))
         else:
             assert isinstance(symbol, NonTerminal)
-            data.start_example(self.rule_label(symbol.name))
+            data.start_span(self.rule_label(symbol.name))
             expansion = data.draw(self.nonterminal_strategies[symbol.name])
             for e in expansion:
                 self.draw_symbol(data, e, draw_state)
                 self.gen_ignore(data, draw_state)
-            data.stop_example()
+            data.stop_span()
 
     def gen_ignore(self, data: ConjectureData, draw_state: list[str]) -> None:
         if self.ignored_symbols and data.draw_boolean(1 / 4):