protocol 1.0.1 → 2.0.0

data/tests/protocol_test.rb

@@ -4,8 +4,6 @@ require 'test_helper'
 
 class ProtocolTest < Test::Unit::TestCase
   ProtocolTest_foo = Protocol do
-    check_failure :none
-
     understand :foo
   end
 
@@ -33,8 +31,6 @@ class ProtocolTest < Test::Unit::TestCase
   end
 
   ProtocolTest_foo_bar_2_fail = Protocol do
-    check_failure :error
-
     include ProtocolTest::ProtocolTest_foo
     include ProtocolTest::ProtocolTest_bar
   end
@@ -61,8 +57,6 @@ class ProtocolTest < Test::Unit::TestCase
   end
 
   ProtocolTestPartial = Protocol do
-    check_failure :none
-
     implementation
 
     def map(&block)
@@ -77,8 +71,6 @@ class ProtocolTest < Test::Unit::TestCase
   end
 
   ProtocolTestPartial_fail = Protocol do
-    check_failure :error
-
     def each(&block) end
 
     implementation
@@ -127,11 +119,11 @@ class ProtocolTest < Test::Unit::TestCase
   end
 
   ProtocolTestInheritance = Protocol do
-    inherit ProtocolTest::MyClass, :one_with_block
+    infer ProtocolTest::MyClass, :one_with_block
   end
 
   ProtocolTestInheritanceC = Protocol do
-    inherit ::Array, :each, true
+    infer ::Array, :each, true
   end
 
   def test_define_protocol
@@ -141,7 +133,7 @@ class ProtocolTest < Test::Unit::TestCase
     end
     assert_kind_of Protocol::ProtocolModule, foo_protocol
     assert_raises(Protocol::SpecificationError) do
-      foo2_protocol = Protocol do
+      Protocol do
         understand :foo
         understand :foo
       end
@@ -183,7 +175,7 @@ class ProtocolTest < Test::Unit::TestCase
     assert_equal 1, ProtocolTest_foo_bar_1.check_failures(c1.new).size
 
     c2 = Class.new do
-      conform_to ProtocolTest_foo
+      conform_to? ProtocolTest_foo
     end
     assert !c2.conform_to?(ProtocolTest_foo)
     assert !c2.new.conform_to?(ProtocolTest_foo)
@@ -207,7 +199,7 @@ class ProtocolTest < Test::Unit::TestCase
     assert !c1.new.conform_to?(ProtocolTest_bar)
 
     begin
-      c2 = Class.new do
+      Class.new do
         conform_to ProtocolTest_foo_fail
       end
       assert(false)
@@ -220,7 +212,7 @@ class ProtocolTest < Test::Unit::TestCase
 
   def test_inclusion1_with_fail
     begin
-      c = Class.new do
+      Class.new do
         def bar; end
         conform_to ProtocolTest_foo_bar_1_fail
       end
@@ -272,7 +264,7 @@ class ProtocolTest < Test::Unit::TestCase
   end
 
   def test_arity2
-    c = Class.new do
+    Class.new do
       def bar(x, y) x + y end
       def baz(x, y, z) Math.sqrt(x * x + y * y + z * z) end
       def foo(x) x end
@@ -287,7 +279,7 @@ class ProtocolTest < Test::Unit::TestCase
   end
 
   def test_arity3
-    c = Class.new do
+    Class.new do
       def bar(x, y) x + y end
       def baz(x, y, z) Math.sqrt(x * x + y * y + z * z) end
       def foo(x) x end
@@ -302,7 +294,7 @@ class ProtocolTest < Test::Unit::TestCase
 
   def test_block
     begin
-      c1 = Class.new do
+      Class.new do
         def foo(x) end
 
         conform_to ProtocolTestBlock
@@ -317,7 +309,7 @@ class ProtocolTest < Test::Unit::TestCase
     end
     assert !c1b.new.conform_to?(ProtocolTestBlock)
     begin
-      c2 = Class.new do
+      Class.new do
         def foo(x, &block) block[x] end
 
         conform_to ProtocolTestBlock
@@ -329,7 +321,7 @@ class ProtocolTest < Test::Unit::TestCase
       assert(false)
     end
     begin
-      c3 = Class.new do
+      Class.new do
         def foo(x) yield x end
 
         conform_to ProtocolTestBlock
@@ -346,30 +338,6 @@ class ProtocolTest < Test::Unit::TestCase
     assert obj.conform_to?(ProtocolTestBlock)
   end
 
-  def test_partial_without_fail
-    c1 = Class.new do
-      def each(&block)
-        (1..3).each(&block)
-        self
-      end
-
-      conform_to ProtocolTestPartial
-    end
-    obj = c1.new
-    assert c1.conform_to?(ProtocolTestPartial)
-    assert obj.conform_to?(ProtocolTestPartial)
-    assert_equal [ 1, 4, 9], obj.map { |x| x * x }
-    assert_equal obj, obj.each { |x| x * x }
-
-    c2 = Class.new do
-      conform_to ProtocolTestPartial
-    end
-    assert !c2.conform_to?(ProtocolTestPartial)
-    assert !c2.new.conform_to?(ProtocolTestPartial)
-    assert_raises(NoMethodError) { c2.new.map { |x| x * x } }
-    assert_equal obj, obj.each { |x| x * x }
-  end
-
   def test_partial_with_fail
     c1 = Class.new do
       def each(&block)
@@ -386,7 +354,7 @@ class ProtocolTest < Test::Unit::TestCase
     assert_equal obj, obj.each { |x| x * x }
 
     begin
-      c2 = Class.new do
+      Class.new do
         conform_to ProtocolTestPartial_fail
       end
       assert(false)
@@ -552,9 +520,9 @@ class ProtocolTest < Test::Unit::TestCase
     assert_raises(Protocol::PostconditionCheckError) { o2.foo_bar(5, 7) }
   end
 
-  def test_inheritance
+  def test_inference
     begin
-      c1 = Class.new do
+      Class.new do
         conform_to ProtocolTestInheritance
       end
     rescue Protocol::CheckFailed
@@ -563,7 +531,7 @@ class ProtocolTest < Test::Unit::TestCase
       assert(false)
     end
     begin
-      c2 = Class.new do
+      Class.new do
         def one_with_block() end
         conform_to ProtocolTestInheritance
       end
@@ -573,7 +541,7 @@ class ProtocolTest < Test::Unit::TestCase
       assert(false)
     end
     begin
-      c3 = Class.new do
+      Class.new do
         def one_with_block(foo) end
         conform_to ProtocolTestInheritance
       end
@@ -583,7 +551,7 @@ class ProtocolTest < Test::Unit::TestCase
       assert(false)
     end
     begin
-      c4 = Class.new do
+      Class.new do
         def one_with_block(foo, &block) end
         conform_to ProtocolTestInheritance
       end
@@ -594,7 +562,7 @@ class ProtocolTest < Test::Unit::TestCase
       assert(false)
     end
     begin
-      c5 = Class.new do
+      Class.new do
         def each() end
         conform_to ProtocolTestInheritanceC
       end
@@ -604,7 +572,7 @@ class ProtocolTest < Test::Unit::TestCase
       assert(false)
     end
     begin
-      c6 = Class.new do
+      Class.new do
         def each(&block) end
         conform_to ProtocolTestInheritanceC
       end

metadata

@@ -1,55 +1,69 @@
 --- !ruby/object:Gem::Specification
 name: protocol
 version: !ruby/object:Gem::Version
-  version: 1.0.1
+  version: 2.0.0
 platform: ruby
 authors:
 - Florian Frank
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2013-07-19 00:00:00.000000000 Z
+date: 2019-11-05 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: gem_hadar
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - ~>
+    - - "~>"
       - !ruby/object:Gem::Version
-        version: 0.3.2
+        version: 1.9.1
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - ~>
+    - - "~>"
       - !ruby/object:Gem::Version
-        version: 0.3.2
+        version: 1.9.1
 - !ruby/object:Gem::Dependency
   name: simplecov
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - '>='
+    - - ">="
       - !ruby/object:Gem::Version
         version: '0'
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - '>='
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: test-unit
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
       - !ruby/object:Gem::Version
         version: '0'
 - !ruby/object:Gem::Dependency
   name: ruby_parser
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - ~>
+    - - "~>"
       - !ruby/object:Gem::Version
         version: '3.0'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - ~>
+    - - "~>"
       - !ruby/object:Gem::Version
         version: '3.0'
 description: |
@@ -75,8 +89,9 @@ extra_rdoc_files:
 - lib/protocol/version.rb
 - lib/protocol/xt.rb
 files:
-- .gitignore
-- .travis.yml
+- ".gitignore"
+- ".travis.yml"
+- ".utilsrc"
 - CHANGES
 - COPYING
 - Gemfile
@@ -91,9 +106,9 @@ files:
 - examples/game.rb
 - examples/hello_world_patternitis.rb
 - examples/indexing.rb
-- examples/locking.rb
 - examples/queue.rb
 - examples/stack.rb
+- examples/synchronizing.rb
 - install.rb
 - lib/protocol.rb
 - lib/protocol/core.rb
@@ -107,6 +122,7 @@ files:
 - lib/protocol/version.rb
 - lib/protocol/xt.rb
 - protocol.gemspec
+- tests/protocol_core_test.rb
 - tests/protocol_method_parser_test.rb
 - tests/protocol_test.rb
 - tests/test_helper.rb
@@ -116,29 +132,29 @@ licenses:
 metadata: {}
 post_install_message: 
 rdoc_options:
-- --title
+- "--title"
 - Protocol - Method Protocols for Ruby Classes
-- --main
+- "--main"
 - README.rdoc
 require_paths:
 - lib
 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: 2.0.4
+rubygems_version: 3.0.6
 signing_key: 
 specification_version: 4
 summary: Method Protocols for Ruby Classes
 test_files:
+- tests/protocol_core_test.rb
 - tests/protocol_method_parser_test.rb
 - tests/protocol_test.rb
 - tests/test_helper.rb

data/examples/locking.rb

@@ -1,111 +0,0 @@
-require 'protocol'
-
-Locking = Protocol do
-  specification # not necessary, because Protocol defaults to specification
-                # mode already
-
-  def lock() end
-
-  def unlock() end
-
-  implementation
-
-  def synchronize
-    lock
-    begin
-      yield
-    ensure
-      unlock
-    end
-  end
-end
-
-if $0 == __FILE__
-  require 'thread'
-  require 'tempfile'
-
-  class FileMutex
-    def initialize
-      @tempfile = Tempfile.new 'file-mutex'
-    end
-
-    def path
-      @tempfile.path
-    end
-
-    def lock
-      puts "Locking '#{path}'."
-      @tempfile.flock File::LOCK_EX
-    end
-
-    def unlock
-      puts "Unlocking '#{path}'."
-      @tempfile.flock File::LOCK_UN
-    end
-
-    conform_to Locking
-  end
-
-  FileMutex.conform_to? Locking     # => true
-  FileMutex.new.conform_to? Locking # => true
-
-  # Outputs something like:
-  #  Locking '...'.
-  #  Synchronized with '...'..
-  #  Unlocking '...'.
-  p mutex = FileMutex.new
-  mutex.synchronize do
-    puts "Synchronized with '#{mutex.path}'."
-  end
-
-  class MemoryMutex
-    def initialize
-      @mutex = Mutex.new
-    end
-
-    def lock
-      @mutex.lock
-    end
-
-    def unlock
-      @mutex.unlock
-    end
-
-    conform_to Locking # actually Mutex itself would conform as well ;)
-  end
-
-  p mutex = MemoryMutex.new
-  mutex.synchronize do
-    puts "Synchronized in memory."
-  end
-
-  puts MemoryMutex.conform_to?(Locking).to_s     + ' (true)'
-  puts MemoryMutex.new.conform_to?(Locking).to_s + ' (true)'
-
-  class MyClass
-    def initialize
-      @mutex = FileMutex.new
-    end
-
-    attr_reader :mutex
-
-    def mutex=(mutex)
-      Locking =~ mutex
-      @mutex = mutex
-    end
-  end
-
-  obj = MyClass.new
-  p obj.mutex # => #<FileMutex:0xb788f9ac @tempfile=#<File:/tmp/file-mutex.26553.2>>
-  begin
-    obj.mutex = Object.new
-    puts "Should have thrown Protocol::CheckFailed!"
-  rescue Protocol::CheckFailed => e
-    p e
-  end
-  p obj.mutex = MemoryMutex.new # => #<MemoryMutex:0xb788f038 @mutex=#<Mutex:0xb788eea8>>
-  # This works as well:
-  obj.mutex = Mutex.new
-  puts Locking.check(Mutex).to_s        + ' (true)'
-  puts Mutex.conform_to?(Locking).to_s  + ' (true)'
-end