rdbc 0.3.4 → 0.5.0

checksums.yaml

@@ -0,0 +1,15 @@
+---
+!binary "U0hBMQ==":
+  metadata.gz: !binary |-
+    YzIzMDU2MWJlODM2ZmJlZWJjZmI3YjM0NzI4ZDU2MzQ4MTQ2Mjc5ZQ==
+  data.tar.gz: !binary |-
+    ZWNkOWU1ZmYwNmExYWEzNmNiYjkzZTlkM2NkMjViYzkyYmRhYmE1NA==
+!binary "U0hBNTEy":
+  metadata.gz: !binary |-
+    Mzg1YjQ5Y2I5ZmM4ODBkNzU2YWM0NTU1YzE1ZTZmZjkxMTNlNDkwMjhiODY5
+    MWZkMTJmZjRiMDFiNzM2NzA0YjA1OGRkYWFlYTM2MzlkZDYzYjk4YjdjOTAz
+    Y2Q1MWU5NWNhOWJmYTZlYzJhY2Y5MGIyODVmYjhjZmExODg3MjQ=
+  data.tar.gz: !binary |-
+    MjIwNzA0NGMyYTdlOTdmNGI1YWNlMjc4ZjJkN2VjZDBhNjdmOWYyMjdjN2Qw
+    NjBiYjk4ZjcwMTFkNjc3Y2QzMzQ4YjQyZGYyYmE5MTk1NDkwOTA5NzA0NmNj
+    MGE1MzAzNzJjMDI3MWJlYTc3YWI2YjU2MWZjODNjNGNkYWNkOWM=

data/README.rdoc

@@ -4,42 +4,45 @@ This library supports Design by Contract for Ruby.
 
 =Installation
 
-Install the *rdbc* gem itself by the following command:
+Install the *rdbc* gem by the following command:
 
-  $ gem install armin-joellenbeck-rdbc --source http://gems.github.com
+  $ gem install rdbc
 
 =Usage
 
-Given there is a the class Foo.
-For instances of this class you can define a contract by subclassing
-<b>Rdbc::Contract</b>, in the example the contract is named
-FooContract.
-Then connect the class Foo to its contract FooContract by using the line
-  contract FooContract
-in the class definition of Foo.
+Given there is a the class *Foo*.
 
-Then the following happens when a method of a Foo instance is called:
+For instances of this class you can define a contract by subclassing:
+  FooContract < Rdbc::Contract.
 
-1. the corresponding pre condition is called with the parameters:
+Then connect the class *Foo* to its contract *FooContract* by using
+  class Foo
+    contract FooContract
+    ...
+  end
+
+Then the following happens when a method named *bar* of a *Foo* instance is called:
+
+1. the corresponding pre condition *pre_bar* is called with the parameters:
    * the instance itself
    * the parameters of the method call
 
-2. the method is called
+2. the original method *bar* itself is called
 
-3. the corresponding post condition is called with the parameters:
-   * the instance before the method is called
-   * the instance after the method is called
-   * the return value of the method call
+3. the corresponding post condition *post_bar* is called with the parameters:
+   * the instance before the original method is called
+   * the instance after the original method is called
+   * the return value of the method call respectively a raised exception
    * the parameters of the method call
 
-4. the invariant is called with the parameters:
-   * the instance before the method is called
-   * the instance after the method is called
+4. the mathod *invariant* is called with the parameters:
+   * the instance before the original method is called
+   * the instance after the original method is called
 
-The instance before the execution of *method* in 3. and 4.
+The instance before the execution of the original method in 3. and 4.
 is in fact a copy of the instance before the execution. So you have to implement
 the method *initialize_copy* in the class under contract, i.e. the class
-Foo.
+*Foo*.
 
 =Support
 
@@ -55,7 +58,7 @@ Feel free to send:
 
 =Copyright
 
-Copyright (c) 2007 - 2009 by Armin Jöllenbeck
+Copyright (c) 2007 - 2013 by Armin Jöllenbeck
 <armin@joellenbeck.net[mailto:armin@joellenbeck.net]>
 
 All rights reserved.

data/lib/rdbc.rb

@@ -1,15 +1,2 @@
 module Rdbc
-  autoload 'Contract', 'rdbc/contract'
-  autoload 'Decorator', 'rdbc/decorator'
-end
-
-
-class Class
-  def contract(contract_class)
-    old_new = self.method(:new)
-    (class << self; self; end).send(:define_method, :new) do |*args|
-      object = old_new.call(*args)
-      Rdbc::Decorator.new(contract_class.new(object))
-    end
-  end
 end

data/lib/rdbc/contract.rb

@@ -1,87 +1,57 @@
-module Rdbc
-  class Contract
-    def self.method_pre(method)
-       method_with_prefix(method, 'pre')
-    end
+require 'rdbc/translator'
 
-    def self.method_post(method)
-      method_with_prefix(method, 'post')
+class Rdbc::Contract
+  class << self
+  private
+    def pre(method, &block)
+      define_method(Rdbc::Translator.method_pre(method), &block)
     end
 
-    def self.method_with_prefix(method, type)
-      (type + '_' + (operator?(method) ? operator(method) : method.to_s)).to_sym
+    def post(method, &block)
+      define_method(Rdbc::Translator.method_post(method), &block)
     end
 
-    def self.operator?(method)
-      /^[A-Za-z_]/ !~ method.to_s
+    def invariant(&block)
+      define_method(:invariant, &block)
     end
-
-    def self.operator(method)
-      'op_' + OPERATOR[method]
+  end
+  
+private
+  def initialize(object)
+    @object = object
+    send_if_respond_to(:invariant, object)
+  end
+ 
+  def method_missing(method, *args)
+    send_if_respond_to(Rdbc::Translator.method_pre(method), @object, *args)
+    before = @object.dup
+    begin
+      result = @object.send(method, *args)
+    rescue RuntimeError => result
+    end
+    send_if_respond_to(:invariant, @object)
+    send_if_respond_to(Rdbc::Translator.method_post(method), before, @object, result, *args)
+    if result.kind_of?(RuntimeError)
+      raise result
+    else
+      result
     end
+  end
 
-    OPERATOR = {
-      :[]  => 'element_read',
-      :[]= => 'element_write',
-      :**  => 'power',
-      :~   => 'not',
-      :+@  => 'unary_plus',
-      :-@  => 'unary_minus',
-      :*   => 'product',
-      :/   => 'quotient',
-      :%   => 'modulo',
-      :+   => 'plus',
-      :-   => 'minus',
-      :>>  => 'right_shift',
-      :<<  => 'left_shift',
-      :&   => 'and',
-      :^   => 'xor',
-      :|   => 'or',
-      :<=  => 'less_or_equal',
-      :<   => 'less',
-      :>   => 'greater',
-      :>=  => 'greater_or_equal',
-      :<=> => 'comparison',
-      :==  => 'eql',
-      :=== => 'case_comparison',
-      :=~  => 'match'
-    }
-
-    def self.pre(method, &block)
-      define_method(method_pre(method), &block)
+  def send_if_respond_to(method, *args)
+    if respond_to?(method)
+      send(method, *args)
     end
+  end
+end
 
-    def self.post(method, &block)
-      define_method(method_post(method), &block)
-    end
 
-    def self.invariant(&block)
-      define_method(:invariant, &block)
-    end
-    
-    def initialize(object)
-      @object = object
-      @translator = self.class
-    end
-   
-    def method_missing(method, *args)
-      @object_pre = @object.clone
-      send_if_respond_to(@translator.method_pre(method), *args)
-      result = nil
-      begin
-        result = @object.send(method, *args)
-      rescue StandardError => result
-      end
-      send_if_respond_to(:invariant)
-      send_if_respond_to(@translator.method_post(method), result, *args)
-      raise result if result.kind_of?(StandardError)
-      result
-    end
- 
-    def send_if_respond_to(method, *args)
-      if respond_to?(method)
-        send(method, *args)
-      end
+class Class
+  def contract(contract_class)
+    old_new = self.method(:new)
+    (class << self; self; end).send(:define_method, :new) do |*args|
+      object = old_new.call(*args)
+      contract_class.new(object)
     end
   end
-end
+end

data/lib/rdbc/translator.rb

@@ -0,0 +1,43 @@
+require 'rdbc'
+
+# TODO rename to Rdbc::Translating
+module Rdbc::Translator
+  def self.method_pre(method)
+     method_with_prefix(method, :pre)
+  end
+
+  def self.method_post(method)
+    method_with_prefix(method, :post)
+  end
+
+  def self.method_with_prefix(method, type)
+    :"#{type}_#{OPERATOR[method] || method}"
+  end
+
+  OPERATOR = {
+    :[]  => :op_element_read,
+    :[]= => :op_element_write,
+    :**  => :op_power,
+    :~   => :op_not,
+    :+@  => :op_unary_plus,
+    :-@  => :op_unary_minus,
+    :*   => :op_product,
+    :/   => :op_quotient,
+    :%   => :op_modulo,
+    :+   => :op_plus,
+    :-   => :op_minus,
+    :>>  => :op_right_shift,
+    :<<  => :op_left_shift,
+    :&   => :op_and,
+    :^   => :op_xor,
+    :|   => :op_or,
+    :<=  => :op_less_or_equal,
+    :<   => :op_less,
+    :>   => :op_greater,
+    :>=  => :op_greater_or_equal,
+    :<=> => :op_comparison,
+    :==  => :op_eql,
+    :=== => :op_case_comparison,
+    :=~  => :op_match
+  }
+end

metadata

@@ -1,46 +1,34 @@
---- !ruby/object:Gem::Specification 
+--- !ruby/object:Gem::Specification
 name: rdbc
-version: !ruby/object:Gem::Version 
-  version: 0.3.4
+version: !ruby/object:Gem::Version
+  version: 0.5.0
 platform: ruby
-authors: 
-- Armin Joellenbeck
+authors:
+- Armin Jöllenbeck
 autorequire: 
 bindir: bin
 cert_chain: []
+date: 2013-10-03 00:00:00.000000000 Z
+dependencies: []
+description: ! '    This library supports Design by Contract for the Ruby programming
+  language.
 
-date: 2009-12-25 00:00:00 +01:00
-default_executable: 
-dependencies: 
-- !ruby/object:Gem::Dependency 
-  name: blankslate
-  type: :runtime
-  version_requirement: 
-  version_requirements: !ruby/object:Gem::Requirement 
-    requirements: 
-    - - "="
-      - !ruby/object:Gem::Version 
-        version: 2.1.2.3
-    version: 
-description: "    This library supports Design by Contract for Ruby.\n"
+'
 email: armin@joellenbeck.net
 executables: []
-
 extensions: []
-
-extra_rdoc_files: 
+extra_rdoc_files:
 - README.rdoc
-files: 
+files:
 - README.rdoc
 - lib/rdbc.rb
 - lib/rdbc/contract.rb
-- lib/rdbc/decorator.rb
-has_rdoc: true
-homepage: http://github.com/armin-joellenbeck/rdbc/tree/master
+- lib/rdbc/translator.rb
+homepage: http://github.com/armin-joellenbeck/rdbc
 licenses: []
-
+metadata: {}
 post_install_message: 
-rdoc_options: 
+rdoc_options:
 - --all
 - --charset
 - utf8
@@ -48,26 +36,22 @@ rdoc_options:
 - README.rdoc
 - --title
 - Design by Contract for Ruby
-require_paths: 
+require_paths:
 - lib
-required_ruby_version: !ruby/object:Gem::Requirement 
-  requirements: 
-  - - ">="
-    - !ruby/object:Gem::Version 
-      version: "0"
-  version: 
-required_rubygems_version: !ruby/object:Gem::Requirement 
-  requirements: 
-  - - ">="
-    - !ruby/object:Gem::Version 
-      version: "0"
-  version: 
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ! '>='
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ! '>='
+    - !ruby/object:Gem::Version
+      version: '0'
 requirements: []
-
 rubyforge_project: 
-rubygems_version: 1.3.5
+rubygems_version: 2.0.3
 signing_key: 
-specification_version: 3
+specification_version: 4
 summary: Design by Contract for Ruby.
 test_files: []
-

data/lib/rdbc/decorator.rb

@@ -1,20 +0,0 @@
-require 'blankslate'
-
-module Rdbc
-  class Decorator < BlankSlate
-    instance_methods.reject do |method|
-      /__.*__/ === method
-    end.each do |method|
-      undef_method(method)
-    end
-  
-    def initialize(contract)
-      @contract = contract
-      @contract.send_if_respond_to(:invariant)
-    end
-
-    def method_missing(method, *args)
-      @contract.method_missing(method, *args)
-    end
-  end
-end