Module: Contracts
- Defined in:
- lib/contracts/builtin_contracts.rb,
lib/contracts.rb,
lib/contracts/errors.rb,
lib/contracts/modules.rb,
lib/contracts/support.rb,
lib/contracts/version.rb,
lib/contracts/testable.rb,
lib/contracts/decorators.rb,
lib/contracts/eigenclass.rb,
lib/contracts/invariants.rb,
lib/contracts/method_reference.rb
Overview
This module contains all the builtin contracts. If you want to use them, first:
import Contracts
And then use these or write your own!
A simple example:
Contract Num, Num => Num
def add(a, b)
a + b
end
The contract is Contract Num, Num, Num
. That says that the add
function takes two numbers and returns a number.
Defined Under Namespace
Modules: Eigenclass, Invariants, MethodDecorators, Modules, Support Classes: And, Any, Args, ArrayOf, Bool, CallableClass, ContractsNotIncluded, Decorator, Exactly, Func, HashOf, Maybe, MethodReference, Neg, None, Not, Num, Or, Pos, RespondTo, Send, SingletonMethodReference, Testable, Xor
Constant Summary collapse
- VERSION =
"0.6"
Class Method Summary collapse
Class Method Details
.common(base) ⇒ Object
20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 |
# File 'lib/contracts.rb', line 20 def self.common(base) Eigenclass.lift(base) return if base.respond_to?(:Contract) base.extend(MethodDecorators) base.instance_eval do def functype(funcname) contracts = self.decorated_methods[:class_methods][funcname] if contracts.nil? "No contract for #{self}.#{funcname}" else "#{funcname} :: #{contracts[0]}" end end end base.class_eval do unless base.instance_of?(Module) def Contract(*args) return if ENV["NO_CONTRACTS"] self.class.Contract(*args) end end def functype(funcname) contracts = self.class.decorated_methods[:instance_methods][funcname] if contracts.nil? "No contract for #{self.class}.#{funcname}" else "#{funcname} :: #{contracts[0]}" end end end end |
.extended(base) ⇒ Object
16 17 18 |
# File 'lib/contracts.rb', line 16 def self.extended(base) common(base) end |
.included(base) ⇒ Object
12 13 14 |
# File 'lib/contracts.rb', line 12 def self.included(base) common(base) end |