module Contracts::Invariants::InvariantExtension
Public Instance Methods
invariant(name, &condition)
click to toggle source
# File lib/contracts/invariants.rb, line 28 def invariant(name, &condition) return if ENV["NO_CONTRACTS"] invariants << Invariant.new(self, name, &condition) end
invariants()
click to toggle source
# File lib/contracts/invariants.rb, line 34 def invariants @invariants ||= [] end