rtype-java 0.6.4 → 0.6.5

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: e3760485d15ecd4272d5e6d419579a3c1c837ea1
-  data.tar.gz: 4ba52f011231c59f011d9d5026008473138c13b8
+  metadata.gz: 26d9b5f52a0751920c528ad09892902417a87c6a
+  data.tar.gz: 17914c634ee6098bad49631b880639f198177395
 SHA512:
-  metadata.gz: 432e3b0890ed2bd5e50e77525e79ed062827e59845825dd34ee8817bc9409f163297693fd380314bcd914f846c4c5ced58d79eb639dab011aeed8a51e536dc42
-  data.tar.gz: 1ffb50b5d2e3cf5236406836a3cd2979eb64f1ecba01cf42f36f5b3f6b121eb97b988a3df9ee36fab5aa8a7614e5ad935a6da1a0028e6b488ce2af8140524e15
+  metadata.gz: 31b92c9b62a23d35acb9b2552c7c52dc5e94a3760bc513cc63d7439757e5e0d2a690c312ad3edaf0046ce48f4077c9a0d56000867afbb5434cd0e2d0a610864f
+  data.tar.gz: a7fd347eeb62797636bd729115b2c9a0df323a6a7d7e3285353e89ea6805761d191cdcfbb46669645974e61a062a9ff3324cc4108e3142f6d80e048948855f1c

data/README.md

@@ -29,6 +29,7 @@ Test::invert(state: 0)
 
 ## Requirements
 - Ruby >= 2.1
+  - If you need to use old ruby, see [rtype-legacy](https://github.com/sputnikgugja/rtype-legacy) for ruby 1.9+
 - MRI
   - If C native extension is used. otherwise it is not required
 - JRuby (JRuby 9000+)
@@ -40,6 +41,7 @@ Test::invert(state: 0)
 - [Type checking for hash elements](#hash)
 - [Duck Typing](#duck-typing)
 - [Typed Array](#typed-array)
+- [Numeric check](#special-behaviors). e.g. `Int >= 0`
 - Custom type behavior
 - ...
 
@@ -79,22 +81,21 @@ then, Rtype uses it. (**Do not** `require 'rtype-java'`)
 ## Usage
 
 ### Supported Type Behaviors
-- `Module`
-  - Value must be of this module (`is_a?`)
+- `Module` : Value must be of this module (`is_a?`)
   - `Any` : Alias for `BasicObject` (means Any Object)
   - `Boolean` : `true` or `false`
-- `Symbol`
-  - Value must respond to a method with this name
-- `Regexp`
-  - Value must match this regexp pattern
-- `Range`
-  - Value must be included in this range
-- `Array`
-  - Value can be any type in this array
+- `Symbol` : Value must respond to a method with this name
+- `Regexp` : Value must match this regexp pattern
+- `Range` : Value must be included in this range
+- `Array` : Value can be any type in this array
+- `Proc` : Value must return a truthy value for this proc
+- `true` : Value must be truthy
+- `false` : Value must be falsy
+- `nil` : Value must be nil
 - `Hash`
   - Value must be a hash
   - Each of elements must be valid
-  - Value's keys must be equal to this hash's keys
+  - Keys of the value must be equal to keys of this hash
   - **String** key is **different** from **symbol** key
   - vs. Keyword arguments (e.g.)
     - `[{}]` is **not** hash argument. it is keyword argument, because its position is last
@@ -103,44 +104,9 @@ then, Rtype uses it. (**Do not** `require 'rtype-java'`)
     - `{}` is keyword argument. non-keyword arguments must be in array.
   - Of course, nested hash works
   - Example: [Hash](#hash)
-- `Proc`
-  - Value must return a truthy value for this proc
-- `true`
-  - Value must be truthy
-- `false`
-  - Value must be falsy
-- `nil`
-  - Value must be nil
   
-- Special Behaviors
-  - `TypedArray` : Ensures value is an array with the type (type signature)
-    - `Array::of(type)` (recommended)
-    - or `Rtype::Behavior::TypedArray[type]`
-    - Example: [TypedArray](#typed-array)
-  
-  - `Num, Int, Flo` : Numeric check
-    - `Num/Int/Flo >/>=/</<=/== x`
-    - e.g. `Num >= 2` means value must be a `Numeric` and >= 2
-    - e.g. `Int >= 2` means value must be a `Integer` and >= 2
-    - e.g. `Flo >= 2` means value must be a `Float` and >= 2
-  
-  - `And` : Ensures value is valid for all given types
-    - `Rtype::and(*types)`, `Rtype::Behavior::And[*types]`
-    - or `Array#comb`, `Object#and(*others)`
-    
-  - `Xor` : Ensures value is valid for only one of given types
-    - `Rtype::xor(*types)`, `Rtype::Behavior::Xor[*types]`
-    - or `Object#xor(*others)`
-
-  - `Not` : Ensures value is not valid for all given types
-    - `Rtype::not(*types)`, `Rtype::Behavior::Not[*types]`
-    - or `Object#not`
-
-  - `Nilable` : Value can be nil
-    - `Rtype::nilable(type)`, `Rtype::Behavior::Nilable[type]`
-    - or `Object#nilable`, `Object#or_nil`
-
-  - You can create custom behavior by extending `Rtype::Behavior::Base`
+- [Special Behaviors](#special-behaviors)
+  - `TypedArray`, `Num, Int, Flo`, `And`, `Xor`, `Not`, `Nilable`
 
 ### Examples
 
@@ -424,6 +390,36 @@ Example.new.method(:test).return_type
 # => Any
 ```
 
+#### Special Behaviors
+  - `TypedArray` : Ensures value is an array with the type (type signature)
+    - `Array::of(type)` (recommended)
+    - or `Rtype::Behavior::TypedArray[type]`
+    - Example: [TypedArray](#typed-array)
+  
+  - `Num, Int, Flo` : Numeric check
+    - `Num/Int/Flo >/>=/</<=/== x`
+    - e.g. `Num >= 2` means value must be a `Numeric` and >= 2
+    - e.g. `Int >= 2` means value must be a `Integer` and >= 2
+    - e.g. `Flo >= 2` means value must be a `Float` and >= 2
+  
+  - `And` : Ensures value is valid for all given types
+    - `Rtype::and(*types)`, `Rtype::Behavior::And[*types]`
+    - or `Array#comb`, `Object#and(*others)`
+    
+  - `Xor` : Ensures value is valid for only one of given types
+    - `Rtype::xor(*types)`, `Rtype::Behavior::Xor[*types]`
+    - or `Object#xor(*others)`
+
+  - `Not` : Ensures value is not valid for all given types
+    - `Rtype::not(*types)`, `Rtype::Behavior::Not[*types]`
+    - or `Object#not`
+
+  - `Nilable` : Value can be nil
+    - `Rtype::nilable(type)`, `Rtype::Behavior::Nilable[type]`
+    - or `Object#nilable`, `Object#or_nil`
+
+  - You can create custom behaviors by extending `Rtype::Behavior::Base`
+
 ## Documentation
 [RubyDoc.info](http://www.rubydoc.info/gems/rtype)
 

data/benchmark/benchmark.rb

@@ -19,6 +19,14 @@ puts "Sig version: #{Sig::VERSION}"
 puts "Contracts version: #{Contracts::VERSION}"
 puts "Typecheck version: #{Typecheck::VERSION}"
 
+if !Rtype::NATIVE_EXT_VERSION.nil?
+	puts "Rtype with native extension"
+elsif !Rtype::JAVA_EXT_VERSION.nil?
+	puts "Rtype with java extension"
+else
+	puts "Rtype without native extension"
+end
+
 class PureTest
 	def sum(x, y)
 		x + y
@@ -189,4 +197,4 @@ Benchmark.ips do |x|
 	end
 
 	x.compare!
-end
+end

data/spec/rtype_spec.rb

@@ -274,12 +274,12 @@ describe Rtype do
 		describe 'Hash' do
 			it "is right" do
 				klass.send :rtype, :return_arg, [{k: Integer}, {}] => Any
-				instance.return_arg({k: 123}, {})
+				instance.return_arg({k: 123})
 			end
 			it "is wrong args" do
 				klass.send :rtype, :return_arg, [{k: Integer}, {}] => Any
 				expect {
-					instance.return_arg({k: "str"}, {})
+					instance.return_arg({k: "str"})
 				}.to raise_error Rtype::ArgumentTypeError
 			end
 			it "is wrong result" do
@@ -556,15 +556,15 @@ describe Rtype do
 
 			it 'two hash' do
 				klass.send :rtype, :two_args, [{k: Integer}, {k: Integer}, {}] => Any
-				instance.two_args({k: 123}, {k: 456}, {})
+				instance.two_args({k: 123}, {k: 456})
 				expect {
-					instance.two_args({k: 123}, {}, {})
+					instance.two_args({k: 123}, {})
 				}.to raise_error Rtype::ArgumentTypeError
 				expect {
-					instance.two_args({k: 123}, 456, {})
+					instance.two_args({k: 123}, 456)
 				}.to raise_error Rtype::ArgumentTypeError
 				expect {
-					instance.two_args({k: 123}, {k: "str"}, {})
+					instance.two_args({k: 123}, {k: "str"})
 				}.to raise_error Rtype::ArgumentTypeError
 			end
 

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: rtype-java
 version: !ruby/object:Gem::Version
-  version: 0.6.4
+  version: 0.6.5
 platform: ruby
 authors:
 - Sputnik Gugja
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2016-07-27 00:00:00.000000000 Z
+date: 2016-07-31 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rtype
@@ -16,14 +16,14 @@ dependencies:
     requirements:
     - - '='
       - !ruby/object:Gem::Version
-        version: 0.6.4
+        version: 0.6.5
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - '='
       - !ruby/object:Gem::Version
-        version: 0.6.4
+        version: 0.6.5
 - !ruby/object:Gem::Dependency
   name: rake
   requirement: !ruby/object:Gem::Requirement