rbs 4.1.0.pre.2-java

data/core/rbs/unnamed/main_class.rbs

@@ -0,0 +1,123 @@
+module RBS
+  module Unnamed
+    class TopLevelSelfClass
+      private
+
+      # <!--
+      #   rdoc-file=eval.c
+      #   - include(module, ...)    -> self
+      # -->
+      # Invokes Module.append_features on each parameter in reverse order.
+      #
+      %a{annotate:rdoc:copy:Module#include}
+      def include: (Module, *Module arg0) -> self
+
+      # <!--
+      #   rdoc-file=eval.c
+      #   - using(module)    -> self
+      # -->
+      # Import class refinements from *module* into the current class or module
+      # definition.
+      #
+      %a{annotate:rdoc:copy:Module#using}
+      def using: (Module arg0) -> self
+
+      # <!--
+      #   rdoc-file=proc.c
+      #   - define_method(symbol, method)     -> symbol
+      #   - define_method(symbol) { block }   -> symbol
+      # -->
+      # Defines an instance method in the receiver. The *method* parameter can be a
+      # `Proc`, a `Method` or an `UnboundMethod` object. If a block is specified, it
+      # is used as the method body. If a block or the *method* parameter has
+      # parameters, they're used as method parameters. This block is evaluated using
+      # #instance_eval.
+      #
+      #     class A
+      #       def fred
+      #         puts "In Fred"
+      #       end
+      #       def create_method(name, &block)
+      #         self.class.define_method(name, &block)
+      #       end
+      #       define_method(:wilma) { puts "Charge it!" }
+      #       define_method(:flint) {|name| puts "I'm #{name}!"}
+      #     end
+      #     class B < A
+      #       define_method(:barney, instance_method(:fred))
+      #     end
+      #     a = B.new
+      #     a.barney
+      #     a.wilma
+      #     a.flint('Dino')
+      #     a.create_method(:betty) { p self }
+      #     a.betty
+      #
+      # <em>produces:</em>
+      #
+      #     In Fred
+      #     Charge it!
+      #     I'm Dino!
+      #     #<B:0x401b39e8>
+      #
+      %a{annotate:rdoc:copy:Module#define_method}
+      def define_method: (interned symbol, ^(?) [self: top] -> untyped | Method | UnboundMethod method) -> Symbol
+                       | (interned symbol) { (?) [self: top] -> untyped } -> Symbol
+
+      # <!--
+      #   rdoc-file=vm_method.c
+      #   - public                                -> nil
+      #   - public(method_name)                   -> method_name
+      #   - public(method_name, method_name, ...) -> array
+      #   - public(array)                         -> array
+      # -->
+      # With no arguments, sets the default visibility for subsequently defined
+      # methods to public. With arguments, sets the named methods to have public
+      # visibility. String arguments are converted to symbols. An Array of Symbols
+      # and/or Strings is also accepted. If a single argument is passed, it is
+      # returned. If no argument is passed, nil is returned. If multiple arguments are
+      # passed, the arguments are returned as an array.
+      #
+      %a{annotate:rdoc:copy:Module#public}
+      def public: () -> nil
+                | (Symbol method_name) -> Symbol
+                | (Symbol, Symbol, *Symbol method_name) -> Array[Symbol]
+                | (string method_name) -> string
+                | (interned, interned, *interned method_name) -> Array[interned]
+                | (Array[interned]) -> Array[interned]
+
+      # <!--
+      #   rdoc-file=vm_method.c
+      #   - private                                -> nil
+      #   - private(method_name)                   -> method_name
+      #   - private(method_name, method_name, ...) -> array
+      #   - private(array)                         -> array
+      # -->
+      # With no arguments, sets the default visibility for subsequently defined
+      # methods to private. With arguments, sets the named methods to have private
+      # visibility. String arguments are converted to symbols. An Array of Symbols
+      # and/or Strings is also accepted. If a single argument is passed, it is
+      # returned. If no argument is passed, nil is returned. If multiple arguments are
+      # passed, the arguments are returned as an array.
+      #
+      #     module Mod
+      #       def a()  end
+      #       def b()  end
+      #       private
+      #       def c()  end
+      #       private :a
+      #     end
+      #     Mod.private_instance_methods   #=> [:a, :c]
+      #
+      # Note that to show a private method on RDoc, use <code>:doc:</code>.
+      #
+      %a{annotate:rdoc:copy:Module#private}
+      def private: () -> nil
+                 | (Symbol method_name) -> Symbol
+                 | (Symbol, Symbol, *Symbol method_name) -> Array[Symbol]
+                 | (string method_name) -> string
+                 | (interned, interned, *interned method_name) -> Array[interned]
+                 | (Array[interned]) -> Array[interned]
+    end
+  end
+end

data/core/rbs/unnamed/random.rbs

@@ -0,0 +1,186 @@
+module RBS
+  module Unnamed
+    %a{annotate:rdoc:copy:Random::Base}
+    class Random_Base
+      include Random_Formatter
+      extend Random_Formatter
+
+      # <!--
+      #   rdoc-file=random.c
+      #   - Random.new(seed = Random.new_seed) -> prng
+      # -->
+      # Creates a new PRNG using `seed` to set the initial state. If `seed` is
+      # omitted, the generator is initialized with Random.new_seed.
+      #
+      # See Random.srand for more information on the use of seed values.
+      #
+      %a{annotate:rdoc:copy:Random.new}
+      def initialize: (?Integer seed) -> void
+
+      # <!--
+      #   rdoc-file=random.c
+      #   - prng.rand -> float
+      #   - prng.rand(max) -> number
+      #   - prng.rand(range) -> number
+      # -->
+      # When `max` is an Integer, `rand` returns a random integer greater than or
+      # equal to zero and less than `max`. Unlike Kernel.rand, when `max` is a
+      # negative integer or zero, `rand` raises an ArgumentError.
+      #
+      #     prng = Random.new
+      #     prng.rand(100)       # => 42
+      #
+      # When `max` is a Float, `rand` returns a random floating point number between
+      # 0.0 and `max`, including 0.0 and excluding `max`. Note that it behaves
+      # differently from Kernel.rand.
+      #
+      #     prng.rand(1.5)  # => 1.4600282860034115
+      #     rand(1.5)       # => 0
+      #
+      # When `range` is a Range, `rand` returns a random number where
+      # <code>range.member?(number) == true</code>.
+      #
+      #     prng.rand(5..9)      # => one of [5, 6, 7, 8, 9]
+      #     prng.rand(5...9)     # => one of [5, 6, 7, 8]
+      #     prng.rand(5.0..9.0)  # => between 5.0 and 9.0, including 9.0
+      #     prng.rand(5.0...9.0) # => between 5.0 and 9.0, excluding 9.0
+      #
+      # Both the beginning and ending values of the range must respond to subtract
+      # (<code>-</code>) and add (<code>+</code>)methods, or rand will raise an
+      # ArgumentError.
+      #
+      %a{annotate:rdoc:copy:Random#rand}
+      def rand: (?0) -> Float
+              | (Integer | ::Range[Integer] max) -> Integer
+              | (Float | ::Range[Float] max) -> Float
+
+      # <!--
+      #   rdoc-file=random.c
+      #   - prng.bytes(size) -> string
+      # -->
+      # Returns a random binary string containing `size` bytes.
+      #
+      #     random_string = Random.new.bytes(10) # => "\xD7:R\xAB?\x83\xCE\xFAkO"
+      #     random_string.size                   # => 10
+      #
+      %a{annotate:rdoc:copy:Random#bytes}
+      def bytes: (Integer size) -> String
+
+      # <!--
+      #   rdoc-file=random.c
+      #   - prng.seed -> integer
+      # -->
+      # Returns the seed value used to initialize the generator. This may be used to
+      # initialize another generator with the same state at a later time, causing it
+      # to produce the same sequence of numbers.
+      #
+      #     prng1 = Random.new(1234)
+      #     prng1.seed       #=> 1234
+      #     prng1.rand(100)  #=> 47
+      #
+      #     prng2 = Random.new(prng1.seed)
+      #     prng2.rand(100)  #=> 47
+      #
+      %a{annotate:rdoc:copy:Random#seed}
+      def seed: () -> Integer
+    end
+
+    # <!-- rdoc-file=lib/random/formatter.rb -->
+    # ## Random number formatter.
+    #
+    # Formats generated random numbers in many manners. When
+    # <code>'random/formatter'</code> is required, several methods are added to
+    # empty core module <code>Random::Formatter</code>, making them available as
+    # Random's instance and module methods.
+    #
+    # Standard library SecureRandom is also extended with the module, and the
+    # methods described below are available as a module methods in it.
+    #
+    # ### Examples
+    #
+    # Generate random hexadecimal strings:
+    #
+    #     require 'random/formatter'
+    #
+    #     prng = Random.new
+    #     prng.hex(10) #=> "52750b30ffbc7de3b362"
+    #     prng.hex(10) #=> "92b15d6c8dc4beb5f559"
+    #     prng.hex(13) #=> "39b290146bea6ce975c37cfc23"
+    #     # or just
+    #     Random.hex #=> "1aed0c631e41be7f77365415541052ee"
+    #
+    # Generate random base64 strings:
+    #
+    #     prng.base64(10) #=> "EcmTPZwWRAozdA=="
+    #     prng.base64(10) #=> "KO1nIU+p9DKxGg=="
+    #     prng.base64(12) #=> "7kJSM/MzBJI+75j8"
+    #     Random.base64(4) #=> "bsQ3fQ=="
+    #
+    # Generate random binary strings:
+    #
+    #     prng.random_bytes(10) #=> "\016\t{\370g\310pbr\301"
+    #     prng.random_bytes(10) #=> "\323U\030TO\234\357\020\a\337"
+    #     Random.random_bytes(6) #=> "\xA1\xE6Lr\xC43"
+    #
+    # Generate alphanumeric strings:
+    #
+    #     prng.alphanumeric(10) #=> "S8baxMJnPl"
+    #     prng.alphanumeric(10) #=> "aOxAg8BAJe"
+    #     Random.alphanumeric #=> "TmP9OsJHJLtaZYhP"
+    #
+    # Generate UUIDs:
+    #
+    #     prng.uuid #=> "2d931510-d99f-494a-8c67-87feb05e1594"
+    #     prng.uuid #=> "bad85eb9-0713-4da7-8d36-07a8e4b00eab"
+    #     Random.uuid #=> "f14e0271-de96-45cc-8911-8910292a42cd"
+    #
+    # All methods are available in the standard library SecureRandom, too:
+    #
+    #     SecureRandom.hex #=> "05b45376a30c67238eb93b16499e50cf"
+    #
+    # <!-- rdoc-file=random.c -->
+    # Generate a random number in the given range as Random does
+    #
+    #     prng.random_number       #=> 0.5816771641321361
+    #     prng.random_number(1000) #=> 485
+    #     prng.random_number(1..6) #=> 3
+    #     prng.rand                #=> 0.5816771641321361
+    #     prng.rand(1000)          #=> 485
+    #     prng.rand(1..6)          #=> 3
+    #
+    %a{annotate:rdoc:copy:Random::Formatter}
+    module Random_Formatter
+      # <!-- rdoc-file=random.c -->
+      # Generates formatted random number from raw random bytes. See Random#rand.
+      #
+      %a{annotate:rdoc:copy:Random::Formatter#rand}
+      def rand: (?0) -> Float
+              | (Float? n) -> Float
+              | (Integer n) -> Integer
+              | (Numeric n) -> Numeric
+              | (::Range[Float] n) -> Float
+              | (::Range[Integer] n) -> Integer
+              | (::Range[Numeric] n) -> Numeric
+
+      # <!--
+      #   rdoc-file=random.c
+      #   - prng.random_number        -> float
+      #   - prng.random_number(max)   -> number
+      #   - prng.random_number(range) -> number
+      #   - prng.rand                 -> float
+      #   - prng.rand(max)            -> number
+      #   - prng.rand(range)          -> number
+      # -->
+      # Generates formatted random number from raw random bytes. See Random#rand.
+      #
+      %a{annotate:rdoc:copy:Random::Formatter#random_number}
+      def random_number: () -> Float
+                       | (?Float? n) -> Float
+                       | (?Integer? n) -> Integer
+                       | (?Numeric? n) -> Numeric
+                       | (?::Range[Float]? n) -> Float
+                       | (?::Range[Integer]? n) -> Integer
+                       | (?::Range[Numeric]? n) -> Numeric
+    end
+  end
+end

data/core/refinement.rbs

@@ -0,0 +1,59 @@
+# <!-- rdoc-file=class.c -->
+# Refinement is a class of the `self` (current context) inside `refine`
+# statement. It allows to import methods from other modules, see
+# #import_methods.
+#
+class Refinement < Module
+  # <!--
+  #   rdoc-file=eval.c
+  #   - target    -> class_or_module
+  # -->
+  # Return the class or module refined by the receiver.
+  #
+  #     module M
+  #       refine String do
+  #       end
+  #     end
+  #
+  #     M.refinements[0].target # => String
+  #
+  def target: () -> Module?
+
+  private
+
+  # <!--
+  #   rdoc-file=class.c
+  #   - import_methods(module, ...)    -> self
+  # -->
+  # Imports methods from modules. Unlike Module#include, Refinement#import_methods
+  # copies methods and adds them into the refinement, so the refinement is
+  # activated in the imported methods.
+  #
+  # Note that due to method copying, only methods defined in Ruby code can be
+  # imported.
+  #
+  #     module StrUtils
+  #       def indent(level)
+  #         ' ' * level + self
+  #       end
+  #     end
+  #
+  #     module M
+  #       refine String do
+  #         import_methods StrUtils
+  #       end
+  #     end
+  #
+  #     using M
+  #     "foo".indent(3)
+  #     #=> "   foo"
+  #
+  #     module M
+  #       refine String do
+  #         import_methods Enumerable
+  #         # Can't import method which is not defined with Ruby code: Enumerable#drop
+  #       end
+  #     end
+  #
+  def import_methods: (Module module, *Module extra_modules) -> self
+end