Fix OpenSSL::BN methods

Arguments with the following characteristics have been modified to use `bn`.
- Cannot allow _ToInt
- Can allow OpenSSL::BN

Also, the test is now managed by RaaP.

Author: ksss

stdlib/openssl/0/openssl.rbs

@@ -1527,28 +1527,28 @@ module OpenSSL
     #   - bn % bn2 => aBN
     # -->
     #
-    def %: (int) -> instance
+    def %: (bn) -> instance
 
     # <!--
     #   rdoc-file=ext/openssl/ossl_bn.c
     #   - bn * bn2 => aBN
     # -->
     #
-    def *: (int) -> instance
+    def *: (bn) -> instance
 
     # <!--
     #   rdoc-file=ext/openssl/ossl_bn.c
     #   - bn ** bn2 => aBN
     # -->
     #
-    def **: (int) -> instance
+    def **: (bn) -> instance
 
     # <!--
     #   rdoc-file=ext/openssl/ossl_bn.c
     #   - bn + bn2 => aBN
     # -->
     #
-    def +: (int) -> instance
+    def +: (bn) -> instance
 
     # <!--
     #   rdoc-file=ext/openssl/ossl_bn.c
@@ -1562,7 +1562,7 @@ module OpenSSL
     #   - bn - bn2 => aBN
     # -->
     #
-    def -: (int) -> instance
+    def -: (bn) -> instance
 
     # <!--
     #   rdoc-file=ext/openssl/ossl_bn.c
@@ -1577,7 +1577,7 @@ module OpenSSL
     # -->
     # Division of OpenSSL::BN instances
     #
-    def /: (int) -> [ instance, instance ]
+    def /: (bn) -> [ instance, instance ]
 
     # <!--
     #   rdoc-file=ext/openssl/ossl_bn.c
@@ -1635,7 +1635,7 @@ module OpenSSL
     #   - bn.cmp(bn2) => integer
     # -->
     #
-    def cmp: (Integer) -> Integer
+    def cmp: (bn) -> Integer
 
     # <!--
     #   rdoc-file=ext/openssl/ossl_bn.c
@@ -1650,7 +1650,7 @@ module OpenSSL
     #   - copy(p1)
     # -->
     #
-    def copy: (int) -> instance
+    def copy: (bn) -> instance
 
     # <!--
     #   rdoc-file=ext/openssl/ossl_bn.c
@@ -1666,7 +1666,7 @@ module OpenSSL
     #   - bn.gcd(bn2) => aBN
     # -->
     #
-    def gcd: (int) -> instance
+    def gcd: (bn) -> instance
 
     # <!--
     #   rdoc-file=ext/openssl/ossl_bn.c
@@ -1692,42 +1692,42 @@ module OpenSSL
     #   - bn.mod_add(bn1, bn2) -> aBN
     # -->
     #
-    def mod_add: (int, int) -> instance
+    def mod_add: (bn, bn) -> instance
 
     # <!--
     #   rdoc-file=ext/openssl/ossl_bn.c
     #   - bn.mod_exp(bn1, bn2) -> aBN
     # -->
     #
-    def mod_exp: (int, int) -> instance
+    def mod_exp: (bn, bn) -> instance
 
     # <!--
     #   rdoc-file=ext/openssl/ossl_bn.c
     #   - bn.mod_inverse(bn2) => aBN
     # -->
     #
-    def mod_inverse: (int) -> instance
+    def mod_inverse: (bn) -> instance
 
     # <!--
     #   rdoc-file=ext/openssl/ossl_bn.c
     #   - bn.mod_mul(bn1, bn2) -> aBN
     # -->
     #
-    def mod_mul: (int, int) -> instance
+    def mod_mul: (bn, bn) -> instance
 
     # <!--
     #   rdoc-file=ext/openssl/ossl_bn.c
     #   - bn.mod_sqr(bn2) => aBN
     # -->
     #
-    def mod_sqr: (int) -> instance
+    def mod_sqr: (bn) -> instance
 
     # <!--
     #   rdoc-file=ext/openssl/ossl_bn.c
     #   - bn.mod_sub(bn1, bn2) -> aBN
     # -->
     #
-    def mod_sub: (int, int) -> instance
+    def mod_sub: (bn, bn) -> instance
 
     # <!--
     #   rdoc-file=ext/openssl/ossl_bn.c
@@ -1868,7 +1868,7 @@ module OpenSSL
     #   - bn.ucmp(bn2) => integer
     # -->
     #
-    def ucmp: (int bn2) -> ::Integer
+    def ucmp: (bn bn2) -> ::Integer
 
     # <!--
     #   rdoc-file=ext/openssl/ossl_bn.c

test/raap/openssl.rb

@@ -0,0 +1,36 @@
+require 'raap'
+
+RaaP::Type.register('OpenSSL::BN') do
+  sized do |size|
+    [:call, OpenSSL::BN, :new, [integer.pick(size: size)], {}, nil]
+  end
+end
+
+argv = [
+  '--require', 'openssl',
+  '--library', 'openssl',
+  '--size-by', '2',
+  '--log-level', 'info',
+]
+
+%w[
+  +
+  -
+  *
+  /
+  %
+  **
+  cmp
+  copy
+  gcd
+  mod_add
+  mod_exp
+  mod_mul
+  mod_sqr
+  mod_sub
+  ucmp
+].each do |instance_method|
+  argv << "OpenSSL::BN##{instance_method}"
+end
+
+RaaP::CLI.new(argv).load.run

test/stdlib/OpenSSL_test.rb

@@ -241,23 +241,25 @@ class OpenSSLBNTest < Test::Unit::TestCase
   library "openssl"
   testing "::OpenSSL::BN"
 
-  def test_operations
-    assert_send_type "(::Integer) -> OpenSSL::BN",
-      OpenSSL::BN.new(2), :%, 2
-    assert_send_type "(::Integer) -> OpenSSL::BN",
-      OpenSSL::BN.new(2), :*, 2
-    assert_send_type "(::Integer) -> OpenSSL::BN",
-      OpenSSL::BN.new(2), :**, 2
-    assert_send_type "(::Integer) -> OpenSSL::BN",
-      OpenSSL::BN.new(2), :+, 2
-    assert_send_type "(::Integer) -> OpenSSL::BN",
-      OpenSSL::BN.new(2), :-, 2
-    assert_send_type "(::Integer) -> [OpenSSL::BN, OpenSSL::BN]",
-      OpenSSL::BN.new(2), :/, 2
-    assert_send_type "(::Integer) -> OpenSSL::BN",
-      OpenSSL::BN.new(2), :<<, 2
-    assert_send_type "(::Integer) -> OpenSSL::BN",
-      OpenSSL::BN.new(2), :>>, 2
+  def test_mod_inverse
+    assert_send_type "(OpenSSL::BN) -> OpenSSL::BN",
+                     OpenSSL::BN.new(3), :mod_inverse, OpenSSL::BN.new(5)
+    assert_send_type "(Integer) -> OpenSSL::BN",
+                     OpenSSL::BN.new(3), :mod_inverse, 5
+  end
+
+  def test_lshift
+    assert_send_type "(Integer) -> OpenSSL::BN",
+                     OpenSSL::BN.new(3), :<<, 1
+    assert_send_type "(_ToInt) -> OpenSSL::BN",
+                     OpenSSL::BN.new(3), :<<, ToInt.new(1)
+  end
+
+  def test_rshift
+    assert_send_type "(Integer) -> OpenSSL::BN",
+                     OpenSSL::BN.new(3), :>>, 1
+    assert_send_type "(_ToInt) -> OpenSSL::BN",
+                     OpenSSL::BN.new(3), :>>, ToInt.new(1)
   end
 end