philiprehberger-assert 0.4.0 → 0.6.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: f5fea50ef7ac475426e9456b67e82f2be344f3b97fccba75f2e0d1fe944c1ae7
-  data.tar.gz: 5fd7d6aca18f9c06d4ace4a050483b433f014203252d2cd7a0b8fc4c8fdbf5a4
+  metadata.gz: 5ea0634dc2cf5bdb5eeb61e2c7924c082fa9b0528be940055e2fda35d296b061
+  data.tar.gz: 72facd36929574b07e387b14939abab408ebd473d9fe01fae380b8df98f76ce7
 SHA512:
-  metadata.gz: 8ef0576d1e93ec43284b49a11668e1d3fc8412576ab96919a0fbc997c282c1626be2ba91f0fa6118f6b1f7ef6ca0ec1a467402d79113e476914d667d778355a0
-  data.tar.gz: 69aa855412b4409cea2b6071ab560919acee192daa546a4b5bbd18cf2d5a7938e3751ebd947a56dbaf0510f9780525e9791058cf970177799c3112ffa6ecfa6f
+  metadata.gz: 6c3a46cc415a9b64224aadf69bad12e15133f9144f268505c2995d149eac440a734e89b89237dc94cb77b67e4443e95d12a9d5aa1621c751a2c99d14cbe552a7
+  data.tar.gz: 873d5cef9568cac111fb347346c64af94ef685049ad3a893693d475a5615a06d279817519dac054344195eeb4c139048e507cd732733d842eaa602d0dd1ba873

data/CHANGELOG.md

@@ -7,6 +7,16 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.6.0] - 2026-05-02
+
+### Added
+- `Assert.invariant(condition, message)` for Design by Contract class-invariant checks, completing the pre/post/invariant trio
+
+## [0.5.0] - 2026-04-29
+
+### Added
+- `Assert.postcondition(condition, message)` for Design by Contract postcondition checks, complementing the existing `precondition`
+
 ## [0.4.0] - 2026-04-15
 
 ### Added

data/README.md

@@ -92,13 +92,36 @@ end
 Philiprehberger::Assert.precondition(user.active?, 'user must be active')
 ```
 
+### Postconditions (Design by Contract)
+
+```ruby
+def withdraw(amount)
+  Philiprehberger::Assert.precondition(amount.positive?, 'amount must be positive')
+  result = perform_withdrawal(amount)
+  Philiprehberger::Assert.postcondition(result.balance >= 0, 'balance must not go negative')
+  result
+end
+```
+
+### Invariant (Design by Contract)
+
+```ruby
+def transfer(from, to, amount)
+  before = from.balance + to.balance
+  perform_transfer(from, to, amount)
+  Philiprehberger::Assert.invariant(from.balance + to.balance == before, 'total balance must be conserved')
+end
+```
+
 ## API
 
 | Method | Description |
 |--------|-------------|
 | `Assert.that(value, message = nil)` | Start a chainable assertion |
 | `Assert.soft { \|a\| ... }` | Collect failures, raise at end |
-| `Assert.precondition(condition, message)` | Design by Contract check |
+| `Assert.precondition(condition, message)` | Design by Contract precondition check |
+| `Assert.postcondition(condition, message)` | Design by Contract postcondition check |
+| `Assert.invariant(condition, message)` | Design by Contract class-invariant check |
 | `Assertion#is_a(type)` | Assert value is an instance of type |
 | `Assertion#gte(num)` | Assert value >= num |
 | `Assertion#lte(num)` | Assert value <= num |

data/lib/philiprehberger/assert/version.rb

@@ -2,6 +2,6 @@
 
 module Philiprehberger
   module Assert
-    VERSION = '0.4.0'
+    VERSION = '0.6.0'
   end
 end

data/lib/philiprehberger/assert.rb

@@ -33,5 +33,23 @@ module Philiprehberger
     def self.precondition(condition, message)
       raise AssertionError, message unless condition
     end
+
+    # Design by Contract postcondition check.
+    #
+    # @param condition [Boolean] the condition to verify
+    # @param message [String] failure message
+    # @raise [AssertionError] if condition is false
+    def self.postcondition(condition, message)
+      raise AssertionError, message unless condition
+    end
+
+    # Design by Contract invariant check.
+    #
+    # @param condition [Boolean] the condition to verify
+    # @param message [String] failure message
+    # @raise [AssertionError] if condition is false
+    def self.invariant(condition, message)
+      raise AssertionError, message unless condition
+    end
   end
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: philiprehberger-assert
 version: !ruby/object:Gem::Version
-  version: 0.4.0
+  version: 0.6.0
 platform: ruby
 authors:
 - Philip Rehberger
 autorequire:
 bindir: bin
 cert_chain: []
-date: 2026-04-15 00:00:00.000000000 Z
+date: 2026-05-03 00:00:00.000000000 Z
 dependencies: []
 description: A lightweight runtime assertion library for Ruby with chainable matchers,
   soft assertions, and Design by Contract preconditions.