contractme 1.0.0__tar.gz

contractme-1.0.0/.gitignore

@@ -0,0 +1,10 @@
+# Python-generated files
+__pycache__/
+*.py[oc]
+build/
+dist/
+wheels/
+*.egg-info
+
+# Virtual environments
+.venv

contractme-1.0.0/.gitlab-ci.yml

@@ -0,0 +1,17 @@
+variables:
+  UV_VERSION: 0.5
+  PYTHON_VERSION: 3.12
+  BASE_LAYER: bookworm-slim
+  # GitLab CI creates a separate mountpoint for the build directory,
+  # so we need to copy instead of using hard links.
+  UV_LINK_MODE: copy
+
+tests:
+  image: ghcr.io/astral-sh/uv:$UV_VERSION-python$PYTHON_VERSION-$BASE_LAYER
+  script:
+    uv run pytest --cov=dbc --cov-report term --cov-report xml:cov.xml
+  artifacts:
+    reports:
+      coverage_report:
+        coverage_format: cobertura
+        path: cov.xml

contractme-1.0.0/.python-version

@@ -0,0 +1 @@
+3.13

contractme-1.0.0/LICENSE

@@ -0,0 +1,201 @@
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright 2025 Léo GERMOND
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

contractme-1.0.0/PKG-INFO

@@ -0,0 +1,42 @@
+Metadata-Version: 2.4
+Name: contractme
+Version: 1.0.0
+Summary: A powerful, expressive and lightweight design-by-contract framework
+Author-email: Leo Germond <leo.germond@gmail.com>
+License-File: LICENSE
+Requires-Python: >=3.13
+Description-Content-Type: text/markdown
+
+# ContractMe
+
+![coverage](https://gitlab.com/leogermond/contractme/badges/main/coverage.svg?job=tests)
+
+A lightweight and adaptable framework for design-by-contract in python
+
+# Example code
+
+Here are some examples:
+
+## `result`
+
+```python
+@precondition(lambda x: x >= 0)
+@postcondition(lambda x, result: eps_eq(result * result, x))
+def square_root(x: float) -> float:
+    return x**0.5
+```
+
+## `old`
+
+```python
+@precondition(lambda l, n: n >= 0 and round(n) == n)
+@postcondition(lambda l, n: len(l) > 0)
+@postcondition(lambda l, n: l[-1] == n)
+@postcondition(lambda l, n, old: l[:-1] == old.l)
+def append_count(l: list[int], n: int):
+    l.append(n)
+```
+
+# Test
+
+`uv run pytest`

contractme-1.0.0/README.md

@@ -0,0 +1,33 @@
+# ContractMe
+
+![coverage](https://gitlab.com/leogermond/contractme/badges/main/coverage.svg?job=tests)
+
+A lightweight and adaptable framework for design-by-contract in python
+
+# Example code
+
+Here are some examples:
+
+## `result`
+
+```python
+@precondition(lambda x: x >= 0)
+@postcondition(lambda x, result: eps_eq(result * result, x))
+def square_root(x: float) -> float:
+    return x**0.5
+```
+
+## `old`
+
+```python
+@precondition(lambda l, n: n >= 0 and round(n) == n)
+@postcondition(lambda l, n: len(l) > 0)
+@postcondition(lambda l, n: l[-1] == n)
+@postcondition(lambda l, n, old: l[:-1] == old.l)
+def append_count(l: list[int], n: int):
+    l.append(n)
+```
+
+# Test
+
+`uv run pytest`

contractme-1.0.0/pyproject.toml

@@ -0,0 +1,20 @@
+[project]
+name = "contractme"
+version = "1.0.0"
+description = "A powerful, expressive and lightweight design-by-contract framework"
+readme = "README.md"
+authors = [
+    { name = "Leo Germond", email = "leo.germond@gmail.com" }
+]
+requires-python = ">=3.13"
+dependencies = []
+
+[build-system]
+requires = ["hatchling"]
+build-backend = "hatchling.build"
+
+[dependency-groups]
+dev = [
+    "pytest>=8.3.5",
+    "pytest-cov>=6.0.0",
+]

contractme-1.0.0/src/contractme/__init__.py

@@ -0,0 +1,4 @@
+from contractme import contracting
+
+precondition = contracting.precondition
+postcondition = contracting.postcondition

contractme-1.0.0/src/contractme/contracting.py

@@ -0,0 +1,237 @@
+import inspect
+from functools import wraps
+import copy
+
+
+def show_source(f):
+    def get_fn_name(f):
+        return f.__code__.co_name
+
+    def get_source_for_lambda(s):
+        fst = s.index("lambda")
+        if "(" in s:
+            nxt = s.index("(")
+            if nxt < fst:
+                fst = nxt
+        else:
+            fst = 0
+
+        def cpar_index(s):
+            p = 0
+            for n, c in enumerate(s):
+                if c == "(":
+                    p += 1
+                elif c == ")":
+                    p -= 1
+                    assert p >= 0
+                    if p == 0:
+                        break
+            return n
+
+        lst = cpar_index(s[fst:]) + fst
+        assert fst < lst
+        in_par = s[fst:lst]
+        fst = s.index("lambda", fst)
+        fst = s.index(":", fst) + 1
+        assert fst < lst
+        return s[fst:lst].strip()
+
+    s = inspect.getsource(f)
+    if s.lstrip().startswith("def "):
+        return get_fn_name(f)
+    elif "lambda" in s:
+        return get_source_for_lambda(s)
+    else: # pragma: no cover
+        # Not reachable?
+        raise Exception(f"impossible to parse source {s}")
+
+
+def get_wraparound(f):
+    if hasattr(f, "dbc_wraparound"):
+        result = f.dbc_wraparound, f.dbc_preconditions, f.dbc_postconditions
+    else:
+        result = f, [], []
+    return result
+
+
+def set_wraparound(f, original_call, preconditions, postconditions):
+    f.dbc_wraparound = original_call
+    f.dbc_preconditions = preconditions
+    f.dbc_postconditions = postconditions
+
+
+def assert_argspec_and_kw_match(argspec, kw, ignore=None):
+    assert all(
+        a in kw for a in argspec.args if not ignore or a not in ignore
+    ), f"missing arg in {list(kw)} for {argspec.args}"
+
+
+def get_kw_from_call(f, a, kw):
+    argspec = inspect.getfullargspec(f)
+
+    kw2 = kw.copy()
+    # kwargs
+    for i, nm in enumerate(argspec.args):
+        # positionals
+        if len(a) > i:
+            v = a[i]
+            kw2[nm] = v
+
+    for i, nm in enumerate(a for a in argspec.args if a not in kw2):
+        # defaults
+        kw2[nm] = argspec.defaults[i]
+
+    assert_argspec_and_kw_match(argspec, kw2)
+    return kw2
+
+
+def format_kw(kw):
+    def brief_repr(o, length):
+        r = repr(o)
+        if len(r) > length:
+            half = 1 + ((length - 5 + 1) // 2)
+            r = f"{r[:half]}[...]{r[-half:]}"
+        return r
+
+    return ", ".join(f"{k} = {brief_repr(kw[k], 30)}" for k in sorted(kw))
+
+
+class OldHolder:
+    def __init__(self, d):
+        self.d = copy.deepcopy(d)
+
+    def __getattr__(self, name):
+        return self.d[name]
+
+    def __repr__(self):
+        return repr(self.d)
+
+
+PRE, PRE_INIT, POST = 1, 2, 3
+
+
+def get_kw_for_conditional_before(cond_type, conditional, in_kw):
+    assert cond_type in (PRE, PRE_INIT, POST)
+    assert callable(conditional)
+    out_kw = {}
+    argspec = inspect.getfullargspec(conditional)
+    for nm in argspec.args:
+        if nm == "result":
+            assert cond_type == POST, f"only postconditions can use {nm!r}"
+        elif nm == "old":
+            assert cond_type == POST, f"only postconditions can use {nm!r}"
+            out_kw[nm] = OldHolder(in_kw)
+        else:
+            if nm == "self":
+                assert (
+                    cond_type != PRE_INIT
+                ), f"precondition of a constructor cannot use {nm!r}"
+            out_kw[nm] = in_kw[nm]
+    assert_argspec_and_kw_match(argspec, out_kw, ("result",))
+    return out_kw
+
+
+def get_kw_for_postcondition_after(result, conditional, in_kw):
+    assert callable(conditional)
+    out_kw = {}
+    argspec = inspect.getfullargspec(conditional)
+    if "result" in argspec.args:
+        out_kw["result"] = result
+    assert ("result" in out_kw) == ("result" in argspec.args)
+    return out_kw
+
+
+def condition_decorator(is_precondition, conditional, message=None):
+    def deco(f):
+        original_call, preconditions, postconditions = get_wraparound(f)
+
+        if is_precondition:
+            preconditions.insert(0, (conditional, message))
+        else:
+            postconditions.insert(0, (conditional, message))
+
+        def rejects_call_kw(call_kw, stop_at_first_rejection: bool = False) -> list:
+            rejection_reasons = []
+            for precondition, message in preconditions:
+                cond_type = PRE_INIT if original_call.__name__ == "__init__" else PRE
+                cond_kw = get_kw_for_conditional_before(
+                    cond_type, precondition, call_kw
+                )
+                if not precondition(**cond_kw):
+                    cond_kw_str = format_kw(cond_kw)
+                    src = show_source(precondition)
+                    if message is None:
+                        rejection_reasons.append(
+                            f"**caller** of {original_call.__name__}() bug: precondition {src!r} failed: {cond_kw_str}"
+                        )
+                    else:
+                        rejection_reasons.append(
+                            f"**caller** of {original_call.__name__}() bug: precondition {message!r} failed: {cond_kw_str}"
+                        )
+
+                    if stop_at_first_rejection:
+                        break
+
+            return rejection_reasons
+
+        def rejects(*a, **kw) -> bool:
+            call_kw = get_kw_from_call(original_call, a, kw)
+            return bool(rejects_call_kw(call_kw, stop_at_first_rejection=True))
+
+        def accepts(*a, **kw) -> bool:
+            call_kw = get_kw_from_call(original_call, a, kw)
+            return not rejects_call_kw(call_kw, stop_at_first_rejection=True)
+
+        @wraps(f)
+        def call_and_run_contracts(*a, **kw):
+            call_kw = get_kw_from_call(original_call, a, kw)
+
+            reasons = rejects_call_kw(call_kw, stop_at_first_rejection=False)
+            if reasons:
+                raise AssertionError(reasons[0])
+
+            post_kw = []
+            for postcondition, _ in postconditions:
+                cond_kw = get_kw_for_conditional_before(POST, postcondition, call_kw)
+                post_kw.append(cond_kw)
+
+            result = original_call(*a, **kw)
+
+            for i, (postcondition, message) in enumerate(postconditions):
+                cond_kw = post_kw[i]
+                cond_kw.update(
+                    get_kw_for_postcondition_after(result, postcondition, call_kw)
+                )
+                if not postcondition(**cond_kw):
+                    cond_kw_str = format_kw(cond_kw)
+                    src = show_source(postcondition)
+                    if message is None:
+                        raise AssertionError(
+                            f"{original_call.__name__}() bug: postcondition {src!r} failed: {cond_kw_str}"
+                        )
+                    else:
+                        raise AssertionError(
+                            f"{original_call.__name__}() bug: postcondition {message!r} failed: {cond_kw_str}"
+                        )
+
+            return result
+
+        set_wraparound(
+            call_and_run_contracts, original_call, preconditions, postconditions
+        )
+        call_and_run_contracts.accepts = accepts
+        call_and_run_contracts.rejects = rejects
+        return call_and_run_contracts
+
+    return deco
+
+
+def precondition(conditional, message=None):
+    return condition_decorator(True, conditional, message)
+
+
+def postcondition(conditional, message=None):
+    return condition_decorator(False, conditional, message)
+
+
+never_returns = postcondition(lambda: False, "should never return")

contractme-1.0.0/tests/test_contracting.py

@@ -0,0 +1,150 @@
+import pytest
+from contractme import precondition, postcondition
+
+def eps_eq(a, b):
+    return abs(a - b) <= 1e-7 * min(abs(a), abs(b))
+
+def test_square_root():
+    @precondition(lambda x: x > 0)
+    @postcondition(lambda x, result: eps_eq(result * result, x))
+    def square_root(x: float) -> float:
+        return x**0.5
+    
+    for v in (1, 4, 9, 16, 2):
+        _ = square_root(v)
+
+    for v in (-1, -2, -4):
+        with pytest.raises(AssertionError):
+            _ = square_root(v)
+
+def test_append():
+    @precondition(lambda n: n >= 0 and round(n) == n)
+    @postcondition(lambda l: len(l) > 0)
+    @postcondition(lambda l, n: l[-1] == n)
+    @postcondition(lambda l, old: l[:-1] == old.l)
+    def append_count(l: list[int], n: int):
+        l.append(n)
+
+    a: list[int] = []
+    append_count(a, 2)
+
+
+def test_no_append_count():
+    @precondition(lambda l: hasattr(l, "__len__"))
+    @precondition(lambda n: n >= 0 and round(n) == n)
+    @postcondition(lambda l: hasattr(l, "__len__"))
+    @postcondition(lambda l: len(l) > 0)
+    @postcondition(lambda l, n: l[-1] == n)
+    @postcondition(lambda l, old: l[:-1] == old.l)
+    def buggy_append_count(l, n):
+        pass
+
+    with pytest.raises(AssertionError):
+        buggy_append_count(None, 2)
+    with pytest.raises(AssertionError):
+        buggy_append_count([], 2)
+
+def test_printout_error_messages():
+
+    # parsing when parentheses are not before the lambda kw
+    @precondition (
+        lambda a: (False)
+    )
+    def f(a): # pragma: no cover
+        pass
+
+    with pytest.raises(AssertionError):
+        f(None)
+
+    # parsing with a var that is a lambda
+    cond = lambda a: False
+    @precondition (cond)
+    def f(a): # pragma: no cover
+        pass
+
+    with pytest.raises(AssertionError):
+        f(None)
+
+def test_rejects_accepts():
+    @precondition(lambda a: a > 0)
+    def f(a): # pragma: no cover
+        pass
+
+    assert f.rejects(0)
+    assert f.accepts(1)
+
+def test_with_global():
+    count = 0
+    def count_is_reset() -> bool:
+        return count == 0
+
+    @postcondition(count_is_reset)
+    def reset_count():
+        nonlocal count
+        count = 0
+
+    @postcondition(count_is_reset)
+    def failing_reset_count():
+        pass
+
+    count = 1
+    with pytest.raises(AssertionError):
+        failing_reset_count()
+    reset_count()
+
+def test_call_with_default():
+    @precondition(lambda a: a > 0)
+    def f(a=1, b=2, c=3):
+        pass
+
+    f()
+
+def test_failing_pre_with_message():
+    @precondition(lambda: False, "message that should be displayed")
+    def f(): # pragma: no cover
+        pass
+
+    with pytest.raises(AssertionError):
+        f()
+
+def test_failing_post_with_message():
+    @postcondition(lambda: False, "message that should be displayed")
+    def f():
+        pass
+
+    with pytest.raises(AssertionError):
+        f()
+
+def test_rejects_accepts_with_message():
+    @precondition(lambda a: a > 0, "message that should be displayed")
+    def f(a):
+        pass
+
+    f(1)
+    assert f.rejects(0)
+    assert f.accepts(1)
+
+def test_failing_post_with_old():
+    @postcondition(lambda l, old: len(l) > len(old.l))
+    def f(l):
+        pass
+
+    with pytest.raises(AssertionError):
+        f([])
+
+def test_call_with_long_argument_that_requires_shorter_repr():
+    @precondition(lambda a: False)
+    def f(a): # pragma: no cover
+        pass
+
+    with pytest.raises(AssertionError):
+        f("Myh very long argument, I can't believe how long it is, what am I gonna do my console is going to be a mess")
+
+def test_cannot_have_precondition_of_a_constructor():
+    class C:
+        @precondition(lambda self: True)
+        def __init__(self): # pragma: no cover
+            pass
+
+    with pytest.raises(AssertionError):
+        C()

contractme-1.0.0/uv.lock

@@ -0,0 +1,115 @@
+version = 1
+revision = 1
+requires-python = ">=3.13"
+
+[[package]]
+name = "colorama"
+version = "0.4.6"
+source = { registry = "https://pypi.org/simple" }
+sdist = { url = "https://files.pythonhosted.org/packages/d8/53/6f443c9a4a8358a93a6792e2acffb9d9d5cb0a5cfd8802644b7b1c9a02e4/colorama-0.4.6.tar.gz", hash = "sha256:08695f5cb7ed6e0531a20572697297273c47b8cae5a63ffc6d6ed5c201be6e44", size = 27697 }
+wheels = [
+    { url = "https://files.pythonhosted.org/packages/d1/d6/3965ed04c63042e047cb6a3e6ed1a63a35087b6a609aa3a15ed8ac56c221/colorama-0.4.6-py2.py3-none-any.whl", hash = "sha256:4f1d9991f5acc0ca119f9d443620b77f9d6b33703e51011c16baf57afb285fc6", size = 25335 },
+]
+
+[[package]]
+name = "contractme"
+version = "1.0.0"
+source = { editable = "." }
+
+[package.dev-dependencies]
+dev = [
+    { name = "pytest" },
+    { name = "pytest-cov" },
+]
+
+[package.metadata]
+
+[package.metadata.requires-dev]
+dev = [
+    { name = "pytest", specifier = ">=8.3.5" },
+    { name = "pytest-cov", specifier = ">=6.0.0" },
+]
+
+[[package]]
+name = "coverage"
+version = "7.6.12"
+source = { registry = "https://pypi.org/simple" }
+sdist = { url = "https://files.pythonhosted.org/packages/0c/d6/2b53ab3ee99f2262e6f0b8369a43f6d66658eab45510331c0b3d5c8c4272/coverage-7.6.12.tar.gz", hash = "sha256:48cfc4641d95d34766ad41d9573cc0f22a48aa88d22657a1fe01dca0dbae4de2", size = 805941 }
+wheels = [
+    { url = "https://files.pythonhosted.org/packages/76/89/1adf3e634753c0de3dad2f02aac1e73dba58bc5a3a914ac94a25b2ef418f/coverage-7.6.12-cp313-cp313-macosx_10_13_x86_64.whl", hash = "sha256:488c27b3db0ebee97a830e6b5a3ea930c4a6e2c07f27a5e67e1b3532e76b9ef1", size = 208673 },
+    { url = "https://files.pythonhosted.org/packages/ce/64/92a4e239d64d798535c5b45baac6b891c205a8a2e7c9cc8590ad386693dc/coverage-7.6.12-cp313-cp313-macosx_11_0_arm64.whl", hash = "sha256:5d1095bbee1851269f79fd8e0c9b5544e4c00c0c24965e66d8cba2eb5bb535fd", size = 208945 },
+    { url = "https://files.pythonhosted.org/packages/b4/d0/4596a3ef3bca20a94539c9b1e10fd250225d1dec57ea78b0867a1cf9742e/coverage-7.6.12-cp313-cp313-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:0533adc29adf6a69c1baa88c3d7dbcaadcffa21afbed3ca7a225a440e4744bf9", size = 242484 },
+    { url = "https://files.pythonhosted.org/packages/1c/ef/6fd0d344695af6718a38d0861408af48a709327335486a7ad7e85936dc6e/coverage-7.6.12-cp313-cp313-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:53c56358d470fa507a2b6e67a68fd002364d23c83741dbc4c2e0680d80ca227e", size = 239525 },
+    { url = "https://files.pythonhosted.org/packages/0c/4b/373be2be7dd42f2bcd6964059fd8fa307d265a29d2b9bcf1d044bcc156ed/coverage-7.6.12-cp313-cp313-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:64cbb1a3027c79ca6310bf101014614f6e6e18c226474606cf725238cf5bc2d4", size = 241545 },
+    { url = "https://files.pythonhosted.org/packages/a6/7d/0e83cc2673a7790650851ee92f72a343827ecaaea07960587c8f442b5cd3/coverage-7.6.12-cp313-cp313-musllinux_1_2_aarch64.whl", hash = "sha256:79cac3390bfa9836bb795be377395f28410811c9066bc4eefd8015258a7578c6", size = 241179 },
+    { url = "https://files.pythonhosted.org/packages/ff/8c/566ea92ce2bb7627b0900124e24a99f9244b6c8c92d09ff9f7633eb7c3c8/coverage-7.6.12-cp313-cp313-musllinux_1_2_i686.whl", hash = "sha256:9b148068e881faa26d878ff63e79650e208e95cf1c22bd3f77c3ca7b1d9821a3", size = 239288 },
+    { url = "https://files.pythonhosted.org/packages/7d/e4/869a138e50b622f796782d642c15fb5f25a5870c6d0059a663667a201638/coverage-7.6.12-cp313-cp313-musllinux_1_2_x86_64.whl", hash = "sha256:8bec2ac5da793c2685ce5319ca9bcf4eee683b8a1679051f8e6ec04c4f2fd7dc", size = 241032 },
+    { url = "https://files.pythonhosted.org/packages/ae/28/a52ff5d62a9f9e9fe9c4f17759b98632edd3a3489fce70154c7d66054dd3/coverage-7.6.12-cp313-cp313-win32.whl", hash = "sha256:200e10beb6ddd7c3ded322a4186313d5ca9e63e33d8fab4faa67ef46d3460af3", size = 211315 },
+    { url = "https://files.pythonhosted.org/packages/bc/17/ab849b7429a639f9722fa5628364c28d675c7ff37ebc3268fe9840dda13c/coverage-7.6.12-cp313-cp313-win_amd64.whl", hash = "sha256:2b996819ced9f7dbb812c701485d58f261bef08f9b85304d41219b1496b591ef", size = 212099 },
+    { url = "https://files.pythonhosted.org/packages/d2/1c/b9965bf23e171d98505eb5eb4fb4d05c44efd256f2e0f19ad1ba8c3f54b0/coverage-7.6.12-cp313-cp313t-macosx_10_13_x86_64.whl", hash = "sha256:299cf973a7abff87a30609879c10df0b3bfc33d021e1adabc29138a48888841e", size = 209511 },
+    { url = "https://files.pythonhosted.org/packages/57/b3/119c201d3b692d5e17784fee876a9a78e1b3051327de2709392962877ca8/coverage-7.6.12-cp313-cp313t-macosx_11_0_arm64.whl", hash = "sha256:4b467a8c56974bf06e543e69ad803c6865249d7a5ccf6980457ed2bc50312703", size = 209729 },
+    { url = "https://files.pythonhosted.org/packages/52/4e/a7feb5a56b266304bc59f872ea07b728e14d5a64f1ad3a2cc01a3259c965/coverage-7.6.12-cp313-cp313t-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:2458f275944db8129f95d91aee32c828a408481ecde3b30af31d552c2ce284a0", size = 253988 },
+    { url = "https://files.pythonhosted.org/packages/65/19/069fec4d6908d0dae98126aa7ad08ce5130a6decc8509da7740d36e8e8d2/coverage-7.6.12-cp313-cp313t-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:0a9d8be07fb0832636a0f72b80d2a652fe665e80e720301fb22b191c3434d924", size = 249697 },
+    { url = "https://files.pythonhosted.org/packages/1c/da/5b19f09ba39df7c55f77820736bf17bbe2416bbf5216a3100ac019e15839/coverage-7.6.12-cp313-cp313t-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:14d47376a4f445e9743f6c83291e60adb1b127607a3618e3185bbc8091f0467b", size = 252033 },
+    { url = "https://files.pythonhosted.org/packages/1e/89/4c2750df7f80a7872267f7c5fe497c69d45f688f7b3afe1297e52e33f791/coverage-7.6.12-cp313-cp313t-musllinux_1_2_aarch64.whl", hash = "sha256:b95574d06aa9d2bd6e5cc35a5bbe35696342c96760b69dc4287dbd5abd4ad51d", size = 251535 },
+    { url = "https://files.pythonhosted.org/packages/78/3b/6d3ae3c1cc05f1b0460c51e6f6dcf567598cbd7c6121e5ad06643974703c/coverage-7.6.12-cp313-cp313t-musllinux_1_2_i686.whl", hash = "sha256:ecea0c38c9079570163d663c0433a9af4094a60aafdca491c6a3d248c7432827", size = 249192 },
+    { url = "https://files.pythonhosted.org/packages/6e/8e/c14a79f535ce41af7d436bbad0d3d90c43d9e38ec409b4770c894031422e/coverage-7.6.12-cp313-cp313t-musllinux_1_2_x86_64.whl", hash = "sha256:2251fabcfee0a55a8578a9d29cecfee5f2de02f11530e7d5c5a05859aa85aee9", size = 250627 },
+    { url = "https://files.pythonhosted.org/packages/cb/79/b7cee656cfb17a7f2c1b9c3cee03dd5d8000ca299ad4038ba64b61a9b044/coverage-7.6.12-cp313-cp313t-win32.whl", hash = "sha256:eb5507795caabd9b2ae3f1adc95f67b1104971c22c624bb354232d65c4fc90b3", size = 212033 },
+    { url = "https://files.pythonhosted.org/packages/b6/c3/f7aaa3813f1fa9a4228175a7bd368199659d392897e184435a3b66408dd3/coverage-7.6.12-cp313-cp313t-win_amd64.whl", hash = "sha256:f60a297c3987c6c02ffb29effc70eadcbb412fe76947d394a1091a3615948e2f", size = 213240 },
+    { url = "https://files.pythonhosted.org/packages/fb/b2/f655700e1024dec98b10ebaafd0cedbc25e40e4abe62a3c8e2ceef4f8f0a/coverage-7.6.12-py3-none-any.whl", hash = "sha256:eb8668cfbc279a536c633137deeb9435d2962caec279c3f8cf8b91fff6ff8953", size = 200552 },
+]
+
+[[package]]
+name = "iniconfig"
+version = "2.0.0"
+source = { registry = "https://pypi.org/simple" }
+sdist = { url = "https://files.pythonhosted.org/packages/d7/4b/cbd8e699e64a6f16ca3a8220661b5f83792b3017d0f79807cb8708d33913/iniconfig-2.0.0.tar.gz", hash = "sha256:2d91e135bf72d31a410b17c16da610a82cb55f6b0477d1a902134b24a455b8b3", size = 4646 }
+wheels = [
+    { url = "https://files.pythonhosted.org/packages/ef/a6/62565a6e1cf69e10f5727360368e451d4b7f58beeac6173dc9db836a5b46/iniconfig-2.0.0-py3-none-any.whl", hash = "sha256:b6a85871a79d2e3b22d2d1b94ac2824226a63c6b741c88f7ae975f18b6778374", size = 5892 },
+]
+
+[[package]]
+name = "packaging"
+version = "24.2"
+source = { registry = "https://pypi.org/simple" }
+sdist = { url = "https://files.pythonhosted.org/packages/d0/63/68dbb6eb2de9cb10ee4c9c14a0148804425e13c4fb20d61cce69f53106da/packaging-24.2.tar.gz", hash = "sha256:c228a6dc5e932d346bc5739379109d49e8853dd8223571c7c5b55260edc0b97f", size = 163950 }
+wheels = [
+    { url = "https://files.pythonhosted.org/packages/88/ef/eb23f262cca3c0c4eb7ab1933c3b1f03d021f2c48f54763065b6f0e321be/packaging-24.2-py3-none-any.whl", hash = "sha256:09abb1bccd265c01f4a3aa3f7a7db064b36514d2cba19a2f694fe6150451a759", size = 65451 },
+]
+
+[[package]]
+name = "pluggy"
+version = "1.5.0"
+source = { registry = "https://pypi.org/simple" }
+sdist = { url = "https://files.pythonhosted.org/packages/96/2d/02d4312c973c6050a18b314a5ad0b3210edb65a906f868e31c111dede4a6/pluggy-1.5.0.tar.gz", hash = "sha256:2cffa88e94fdc978c4c574f15f9e59b7f4201d439195c3715ca9e2486f1d0cf1", size = 67955 }
+wheels = [
+    { url = "https://files.pythonhosted.org/packages/88/5f/e351af9a41f866ac3f1fac4ca0613908d9a41741cfcf2228f4ad853b697d/pluggy-1.5.0-py3-none-any.whl", hash = "sha256:44e1ad92c8ca002de6377e165f3e0f1be63266ab4d554740532335b9d75ea669", size = 20556 },
+]
+
+[[package]]
+name = "pytest"
+version = "8.3.5"
+source = { registry = "https://pypi.org/simple" }
+dependencies = [
+    { name = "colorama", marker = "sys_platform == 'win32'" },
+    { name = "iniconfig" },
+    { name = "packaging" },
+    { name = "pluggy" },
+]
+sdist = { url = "https://files.pythonhosted.org/packages/ae/3c/c9d525a414d506893f0cd8a8d0de7706446213181570cdbd766691164e40/pytest-8.3.5.tar.gz", hash = "sha256:f4efe70cc14e511565ac476b57c279e12a855b11f48f212af1080ef2263d3845", size = 1450891 }
+wheels = [
+    { url = "https://files.pythonhosted.org/packages/30/3d/64ad57c803f1fa1e963a7946b6e0fea4a70df53c1a7fed304586539c2bac/pytest-8.3.5-py3-none-any.whl", hash = "sha256:c69214aa47deac29fad6c2a4f590b9c4a9fdb16a403176fe154b79c0b4d4d820", size = 343634 },
+]
+
+[[package]]
+name = "pytest-cov"
+version = "6.0.0"
+source = { registry = "https://pypi.org/simple" }
+dependencies = [
+    { name = "coverage" },
+    { name = "pytest" },
+]
+sdist = { url = "https://files.pythonhosted.org/packages/be/45/9b538de8cef30e17c7b45ef42f538a94889ed6a16f2387a6c89e73220651/pytest-cov-6.0.0.tar.gz", hash = "sha256:fde0b595ca248bb8e2d76f020b465f3b107c9632e6a1d1705f17834c89dcadc0", size = 66945 }
+wheels = [
+    { url = "https://files.pythonhosted.org/packages/36/3b/48e79f2cd6a61dbbd4807b4ed46cb564b4fd50a76166b1c4ea5c1d9e2371/pytest_cov-6.0.0-py3-none-any.whl", hash = "sha256:eee6f1b9e61008bd34975a4d5bab25801eb31898b032dd55addc93e96fcaaa35", size = 22949 },
+]