armin-joellenbeck-rdbc 0.2.3 → 0.2.4

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification 
 name: armin-joellenbeck-rdbc
 version: !ruby/object:Gem::Version 
-  version: 0.2.3
+  version: 0.2.4
 platform: ruby
 authors: 
 - Armin Joellenbeck
@@ -23,16 +23,10 @@ extra_rdoc_files:
 - README.rdoc
 files: 
 - README.rdoc
-- Rakefile
 - lib/rdbc.rb
 - lib/rdbc/contract.rb
 - lib/rdbc/decorator.rb
 - lib/rdbc/translating.rb
-- spec/spec_helper.rb
-- spec/stack_spec.rb
-- spec/contract_spec.rb
-- spec/decorator_spec.rb
-- spec/translating_spec.rb
 has_rdoc: true
 homepage: http://github.com/armin-joellenbeck/rdbc/tree/master
 post_install_message: 

data/Rakefile

@@ -1,37 +0,0 @@
-require 'rake/gempackagetask'
-require 'rake/rdoctask'
-require 'spec/rake/spectask'
-
-task :default => 'spec'
-
-task :all =>  [:clobber, :spec, :doc, :package]
-
-Spec::Rake::SpecTask.new do |t|
-  t.libs << 'spec' << 'lib'
-  t.ruby_opts << '-r' << 'spec_helper' << '-r' << 'rdbc'
-  t.spec_opts << 
-    '--color' <<
-    '--diff' << 'unified' <<
-    '--format' << 'progress'
-end
-
-Spec::Rake::SpecTask.new(:heckle) do |t|
-  t.libs << 'spec' << 'lib'
-  t.ruby_opts << '-r' << 'spec_helper' << '-r' << 'rdbc'
-  t.spec_opts << '--heckle' << ENV['HECKLE']
-end
-
-Rake::RDocTask.new(:doc) do |t|
-  t.rdoc_dir = 'doc'
-  t.rdoc_files.include('README.rdoc', 'lib/**/*.rb')
-  t.options = [
-    '--all',
-    '--charset', 'utf8',
-    '--inline-source',
-    '--main', 'README.rdoc',
-    '--title', 'Design by Contract for Ruby'
-  ]
-end
-
-Rake::GemPackageTask.new(eval(File.read('rdbc.gemspec'))) do |pkg|
-end

data/spec/contract_spec.rb

@@ -1,2 +0,0 @@
-describe Rdbc::Contract do
-end

data/spec/decorator_spec.rb

@@ -1,13 +0,0 @@
-describe Rdbc::Decorator, 'calling the method :foo' do
-  before do
-    @object = Object.new
-    stub(@object).foo(:argument) { :result }
-    @contract = Rdbc::Contract.new
-    @decorator = Rdbc::Decorator.new(@object, @contract)
-  end
-  
-  it 'should delegate to method :foo of the decorated object' do
-    mock(@object).foo(:argument) { :result }
-    @decorator.foo(:argument).should be_equal(:result)
-  end
-end

data/spec/spec_helper.rb

@@ -1,8 +0,0 @@
-require 'rubygems'
-
-require 'rr'
-require 'spec'
-
-Spec::Runner.configure do |config|
-  config.mock_with :rr
-end

data/spec/stack_spec.rb

@@ -1,96 +0,0 @@
-class StackContract < Rdbc::Contract
-
-  post :push do |stack_pre, stack, exception, result, element|
-    assert(result.nil?)
-    assert(stack.top == element)
-    assert(stack.size ==stack_pre.size + 1)
-  end
-
-  pre :pop do |stack|
-    assert(stack.size >= 1)
-  end
-
-  post :pop do |stack_pre, stack, exception, result|
-    assert(result.nil?)
-    assert(stack_pre.size - 1 == stack.size)
-  end
-
-  pre :top do |stack|
-    assert(stack.size >= 1)
-  end
-
-  post :top do |stack_pre, stack, exception, result|
-    assert(stack_pre.size == stack.size)
-  end
-
-  invariant do |stack|
-    assert(stack.size >= 0)
-  end
-
-end
-
-
-class Stack
-
-  contract StackContract
-
-  def initialize
-    @objects = []
-  end
-
-  def initialize_copy(orig)
-    @objects = orig.objects
-  end
-
-  def objects
-    @objects.dup
-  end
-
-  def size
-    @objects.size
-  end
-
-  def empty?
-    size == 0
-  end
-
-  def top
-    @objects.last
-  end
-
-  def pop
-    @objects.pop
-    nil
-  end
-
-  def push(object)
-    @objects.push(object)
-    nil
-  end
-
-end
-
-
-describe 'A new Stack' do
-  before do
-    @stack = Stack.new
-  end
-
-  it 'should be empty.' do
-    @stack.empty?
-  end
-
-  it 'should have no object on its top' do
-     lambda{@stack.top}.should raise_error(Rdbc::Contract::AssertionFailed)
-  end
-
-  it 'should be so that no object can be popped' do
-     lambda{@stack.pop}.should raise_error(Rdbc::Contract::AssertionFailed)
-  end
-
-  it 'A pushed object should be on the top' do
-    object = Object.new
-    @stack.push(object)
-    @stack.top.should equal(object)
-  end
-end

data/spec/translating_spec.rb

@@ -1,46 +0,0 @@
-describe Rdbc::Translating do
-  before do
-    @translator = Object.new
-    @translator.extend(Rdbc::Translating)
-  end
-  
-  it 'should give the pre method for a normal method' do
-    @translator.method_pre(:method).should == :pre_method 
-  end
-
-  it 'should give the pre method for a question method' do
-    @translator.method_pre(:method?).should == :pre_method?
-  end
-
-  it 'should give the pre method for an exclamation method' do
-    @translator.method_pre(:method!).should == :pre_method!
-  end
-  
-  it 'should give the pre method for an assignment method' do
-    @translator.method_pre(:method=).should == :pre_method=
-  end
-
-  it 'should give the pre method for an operator' do
-    @translator.method_pre(:+).should == :pre_op_plus
-  end
-
-  it 'should give the post method for a normal method' do
-    @translator.method_post(:method).should == :post_method
-  end
-
-  it 'should give the post method for a question method' do
-    @translator.method_post(:method?).should == :post_method?
-  end
-
-  it 'should give the post method for an exclamation method' do
-    @translator.method_post(:method!).should == :post_method!
-  end
-
-  it 'should give the post method for an assignment method' do
-    @translator.method_post(:method=).should == :post_method=
-  end
-
-  it 'should give the post method for an operator' do
-    @translator.method_post(:+).should == :post_op_plus
-  end
-end