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