rbs 0.13.1 → 0.18.0
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/.github/workflows/ruby.yml +9 -5
- data/.gitignore +0 -1
- data/CHANGELOG.md +38 -2
- data/Gemfile +4 -0
- data/README.md +9 -3
- data/Rakefile +19 -1
- data/Steepfile +1 -1
- data/bin/annotate-with-rdoc +1 -1
- data/bin/setup +0 -2
- data/bin/test_runner.rb +15 -1
- data/{stdlib/builtin → core}/array.rbs +124 -120
- data/{stdlib/builtin → core}/basic_object.rbs +54 -54
- data/{stdlib/builtin → core}/binding.rbs +42 -42
- data/core/builtin.rbs +70 -0
- data/{stdlib/builtin → core}/class.rbs +33 -33
- data/{stdlib/builtin → core}/comparable.rbs +0 -0
- data/{stdlib/builtin → core}/complex.rbs +90 -90
- data/{stdlib/builtin → core}/constants.rbs +0 -0
- data/{stdlib/builtin → core}/data.rbs +0 -0
- data/{stdlib/builtin → core}/deprecated.rbs +0 -0
- data/{stdlib/builtin → core}/dir.rbs +1 -1
- data/{stdlib/builtin → core}/encoding.rbs +33 -33
- data/{stdlib/builtin → core}/enumerable.rbs +99 -92
- data/{stdlib/builtin → core}/enumerator.rbs +40 -40
- data/{stdlib/builtin → core}/errno.rbs +0 -0
- data/{stdlib/builtin → core}/errors.rbs +2 -2
- data/{stdlib/builtin → core}/exception.rbs +50 -50
- data/{stdlib/builtin → core}/false_class.rbs +6 -6
- data/{stdlib/builtin → core}/fiber.rbs +14 -14
- data/{stdlib/builtin → core}/fiber_error.rbs +1 -1
- data/{stdlib/builtin → core}/file.rbs +0 -0
- data/{stdlib/builtin → core}/file_test.rbs +0 -0
- data/{stdlib/builtin → core}/float.rbs +161 -161
- data/{stdlib/builtin → core}/gc.rbs +3 -3
- data/{stdlib/builtin → core}/hash.rbs +15 -15
- data/{stdlib/builtin → core}/integer.rbs +0 -0
- data/{stdlib/builtin → core}/io.rbs +89 -89
- data/{stdlib/builtin → core}/kernel.rbs +70 -154
- data/{stdlib/builtin → core}/marshal.rbs +0 -0
- data/{stdlib/builtin → core}/match_data.rbs +1 -1
- data/{stdlib/builtin → core}/math.rbs +0 -0
- data/{stdlib/builtin → core}/method.rbs +19 -19
- data/{stdlib/builtin → core}/module.rbs +13 -13
- data/{stdlib/builtin → core}/nil_class.rbs +20 -20
- data/{stdlib/builtin → core}/numeric.rbs +101 -101
- data/{stdlib/builtin → core}/object.rbs +173 -173
- data/core/object_space.rbs +98 -0
- data/{stdlib/builtin → core}/proc.rbs +91 -91
- data/{stdlib/builtin → core}/process.rbs +0 -0
- data/{stdlib/builtin → core}/random.rbs +1 -1
- data/{stdlib/builtin → core}/range.rbs +4 -6
- data/{stdlib/builtin → core}/rational.rbs +83 -83
- data/{stdlib/builtin → core}/rb_config.rbs +0 -0
- data/{stdlib/builtin → core}/regexp.rbs +0 -0
- data/{stdlib/builtin → core}/ruby_vm.rbs +0 -0
- data/{stdlib/builtin → core}/signal.rbs +7 -7
- data/{stdlib/builtin → core}/string.rbs +10 -10
- data/{stdlib/builtin → core}/string_io.rbs +8 -8
- data/{stdlib/builtin → core}/struct.rbs +2 -2
- data/{stdlib/builtin → core}/symbol.rbs +1 -1
- data/{stdlib/builtin → core}/thread.rbs +189 -189
- data/{stdlib/builtin → core}/thread_group.rbs +2 -2
- data/{stdlib/builtin → core}/time.rbs +0 -0
- data/{stdlib/builtin → core}/trace_point.rbs +0 -0
- data/{stdlib/builtin → core}/true_class.rbs +10 -10
- data/{stdlib/builtin → core}/unbound_method.rbs +0 -0
- data/{stdlib/builtin → core}/warning.rbs +1 -1
- data/docs/CONTRIBUTING.md +1 -0
- data/docs/repo.md +125 -0
- data/docs/syntax.md +50 -6
- data/goodcheck.yml +22 -5
- data/lib/rbs.rb +1 -0
- data/lib/rbs/ast/comment.rb +1 -1
- data/lib/rbs/cli.rb +105 -103
- data/lib/rbs/definition.rb +9 -4
- data/lib/rbs/definition_builder.rb +54 -22
- data/lib/rbs/environment.rb +1 -1
- data/lib/rbs/environment_loader.rb +79 -105
- data/lib/rbs/environment_walker.rb +58 -29
- data/lib/rbs/namespace.rb +1 -1
- data/lib/rbs/parser.rb +3153 -0
- data/lib/rbs/parser.y +25 -11
- data/lib/rbs/prototype/rb.rb +186 -25
- data/lib/rbs/prototype/runtime.rb +18 -7
- data/lib/rbs/repository.rb +121 -0
- data/lib/rbs/test/hook.rb +27 -15
- data/lib/rbs/test/setup.rb +5 -3
- data/lib/rbs/test/setup_helper.rb +4 -4
- data/lib/rbs/test/tester.rb +4 -1
- data/lib/rbs/test/type_check.rb +18 -7
- data/lib/rbs/type_name.rb +3 -2
- data/lib/rbs/variance_calculator.rb +1 -1
- data/lib/rbs/vendorer.rb +38 -16
- data/lib/rbs/version.rb +1 -1
- data/lib/rbs/writer.rb +1 -1
- data/sig/cli.rbs +58 -0
- data/sig/constant.rbs +2 -2
- data/sig/constant_table.rbs +11 -11
- data/sig/declarations.rbs +2 -2
- data/sig/definition.rbs +10 -5
- data/sig/definition_builder.rbs +4 -1
- data/sig/environment_loader.rbs +92 -46
- data/sig/members.rbs +2 -2
- data/sig/method_types.rbs +1 -1
- data/sig/namespace.rbs +4 -4
- data/sig/parser.rbs +25 -0
- data/sig/polyfill.rbs +42 -0
- data/sig/rbs.rbs +8 -0
- data/sig/repository.rbs +79 -0
- data/sig/substitution.rbs +3 -3
- data/sig/typename.rbs +1 -1
- data/sig/types.rbs +1 -1
- data/sig/vendorer.rbs +44 -0
- data/sig/writer.rbs +15 -15
- data/stdlib/abbrev/{abbrev.rbs → 0/abbrev.rbs} +0 -0
- data/stdlib/base64/{base64.rbs → 0/base64.rbs} +1 -1
- data/stdlib/benchmark/{benchmark.rbs → 0/benchmark.rbs} +2 -2
- data/stdlib/{bigdecimal/math → bigdecimal-math/0}/big_math.rbs +0 -0
- data/stdlib/bigdecimal/{big_decimal.rbs → 0/big_decimal.rbs} +0 -0
- data/stdlib/coverage/{coverage.rbs → 0/coverage.rbs} +2 -2
- data/stdlib/csv/{csv.rbs → 0/csv.rbs} +4 -4
- data/stdlib/date/{date.rbs → 0/date.rbs} +4 -4
- data/stdlib/date/{date_time.rbs → 0/date_time.rbs} +1 -1
- data/stdlib/dbm/0/dbm.rbs +277 -0
- data/stdlib/erb/{erb.rbs → 0/erb.rbs} +0 -0
- data/stdlib/fiber/{fiber.rbs → 0/fiber.rbs} +0 -0
- data/stdlib/find/{find.rbs → 0/find.rbs} +12 -12
- data/stdlib/forwardable/{forwardable.rbs → 0/forwardable.rbs} +0 -0
- data/stdlib/ipaddr/{ipaddr.rbs → 0/ipaddr.rbs} +0 -0
- data/stdlib/json/{json.rbs → 0/json.rbs} +0 -0
- data/stdlib/logger/{formatter.rbs → 0/formatter.rbs} +0 -0
- data/stdlib/logger/{log_device.rbs → 0/log_device.rbs} +1 -1
- data/stdlib/logger/{logger.rbs → 0/logger.rbs} +1 -1
- data/stdlib/logger/{period.rbs → 0/period.rbs} +0 -0
- data/stdlib/logger/{severity.rbs → 0/severity.rbs} +0 -0
- data/stdlib/mutex_m/{mutex_m.rbs → 0/mutex_m.rbs} +0 -0
- data/stdlib/pathname/{pathname.rbs → 0/pathname.rbs} +40 -40
- data/stdlib/prime/{integer-extension.rbs → 0/integer-extension.rbs} +0 -0
- data/stdlib/prime/{prime.rbs → 0/prime.rbs} +1 -1
- data/stdlib/pstore/0/pstore.rbs +287 -0
- data/stdlib/pty/{pty.rbs → 0/pty.rbs} +1 -1
- data/stdlib/securerandom/{securerandom.rbs → 0/securerandom.rbs} +0 -0
- data/stdlib/set/{set.rbs → 0/set.rbs} +10 -10
- data/stdlib/singleton/0/singleton.rbs +111 -0
- data/stdlib/tmpdir/{tmpdir.rbs → 0/tmpdir.rbs} +12 -12
- data/stdlib/tsort/0/cyclic.rbs +4 -0
- data/stdlib/tsort/0/interfaces.rbs +19 -0
- data/stdlib/tsort/0/tsort.rbs +363 -0
- data/stdlib/uri/{file.rbs → 0/file.rbs} +0 -0
- data/stdlib/uri/{generic.rbs → 0/generic.rbs} +1 -1
- data/stdlib/uri/{http.rbs → 0/http.rbs} +0 -0
- data/stdlib/uri/{https.rbs → 0/https.rbs} +0 -0
- data/stdlib/uri/{ldap.rbs → 0/ldap.rbs} +0 -0
- data/stdlib/uri/{ldaps.rbs → 0/ldaps.rbs} +0 -0
- data/stdlib/yaml/0/dbm.rbs +221 -0
- data/stdlib/yaml/0/store.rbs +53 -0
- data/stdlib/zlib/{zlib.rbs → 0/zlib.rbs} +0 -0
- data/steep/Gemfile.lock +9 -9
- metadata +109 -94
- data/stdlib/builtin/builtin.rbs +0 -42
data/lib/rbs/version.rb
CHANGED
data/lib/rbs/writer.rb
CHANGED
data/sig/cli.rbs
ADDED
@@ -0,0 +1,58 @@
|
|
1
|
+
module RBS
|
2
|
+
class CLI
|
3
|
+
class LibraryOptions
|
4
|
+
attr_accessor core_root: Pathname?
|
5
|
+
|
6
|
+
attr_reader libs: Array[String]
|
7
|
+
attr_reader dirs: Array[String]
|
8
|
+
attr_reader repos: Array[String]
|
9
|
+
|
10
|
+
def initialize: () -> void
|
11
|
+
|
12
|
+
def loader: () -> EnvironmentLoader
|
13
|
+
end
|
14
|
+
|
15
|
+
attr_reader stdout: IO
|
16
|
+
attr_reader stderr: IO
|
17
|
+
|
18
|
+
def initialize: (stdout: IO, stderr: IO) -> void
|
19
|
+
|
20
|
+
COMMANDS: Array[Symbol]
|
21
|
+
|
22
|
+
def library_parse: (OptionParser, options: LibraryOptions) -> void
|
23
|
+
|
24
|
+
def parse_logging_options: (OptionParser) -> void
|
25
|
+
|
26
|
+
def has_parser?: () -> bool
|
27
|
+
|
28
|
+
def run: (Array[String] args) -> void
|
29
|
+
|
30
|
+
def run_ast: (Array[String], LibraryOptions) -> void
|
31
|
+
|
32
|
+
def run_list: (Array[String], LibraryOptions) -> void
|
33
|
+
|
34
|
+
def run_ancestors: (Array[String], LibraryOptions) -> void
|
35
|
+
|
36
|
+
def run_methods: (Array[String], LibraryOptions) -> void
|
37
|
+
|
38
|
+
def run_method: (Array[String], LibraryOptions) -> void
|
39
|
+
|
40
|
+
def run_validate: (Array[String], LibraryOptions) -> void
|
41
|
+
|
42
|
+
def run_constant: (Array[String], LibraryOptions) -> void
|
43
|
+
|
44
|
+
def run_paths: (Array[String], LibraryOptions) -> void
|
45
|
+
|
46
|
+
def run_prototype: (Array[String], LibraryOptions) -> void
|
47
|
+
|
48
|
+
def run_prototype_file: (String format, Array[String]) -> void
|
49
|
+
|
50
|
+
def run_vendor: (Array[String], LibraryOptions) -> void
|
51
|
+
|
52
|
+
def run_parse: (Array[String], LibraryOptions) -> void
|
53
|
+
|
54
|
+
def run_test: (Array[String], LibraryOptions) -> void
|
55
|
+
|
56
|
+
def test_opt: (LibraryOptions) -> String?
|
57
|
+
end
|
58
|
+
end
|
data/sig/constant.rbs
CHANGED
data/sig/constant_table.rbs
CHANGED
@@ -6,25 +6,25 @@ module RBS
|
|
6
6
|
attr_reader env(): Environment
|
7
7
|
|
8
8
|
def initialize: (builder: DefinitionBuilder) -> void
|
9
|
-
|
9
|
+
|
10
10
|
def absolute_type: (Types::t, context: Array[Namespace]) -> Types::t
|
11
|
-
|
11
|
+
|
12
12
|
def absolute_type_name: (TypeName, context: Array[Namespace], location: Location?) -> TypeName
|
13
|
-
|
13
|
+
|
14
14
|
def name_to_constant: (TypeName) -> Constant?
|
15
|
-
|
15
|
+
|
16
16
|
def split_name: (TypeName) -> Array[Symbol]
|
17
|
-
|
17
|
+
|
18
18
|
def resolve_constant_reference: (TypeName name, context: Array[Namespace]) -> Constant?
|
19
|
-
|
19
|
+
|
20
20
|
def resolve_constant_reference_context: (Symbol, context: Array[Namespace]) -> Constant?
|
21
|
-
|
22
|
-
def resolve_constant_reference_inherit: (Symbol, scopes: Array[Namespace], ?no_object:
|
23
|
-
|
21
|
+
|
22
|
+
def resolve_constant_reference_inherit: (Symbol, scopes: Array[Namespace], ?no_object: boolish) -> Constant?
|
23
|
+
|
24
24
|
def constant_scopes: (TypeName) -> Array[Namespace]
|
25
|
-
|
25
|
+
|
26
26
|
def constant_scopes_module: (TypeName, scopes: Array[Namespace]) -> Array[Namespace]
|
27
|
-
|
27
|
+
|
28
28
|
def constant_scopes0: (TypeName, ?scopes: Array[Namespace]) -> Array[Namespace]
|
29
29
|
end
|
30
30
|
end
|
data/sig/declarations.rbs
CHANGED
@@ -2,7 +2,7 @@ module RBS
|
|
2
2
|
module AST
|
3
3
|
module Declarations
|
4
4
|
type t = Class | Module | Interface | Constant | Global | Alias
|
5
|
-
|
5
|
+
|
6
6
|
class Base
|
7
7
|
end
|
8
8
|
|
@@ -14,7 +14,7 @@ module RBS
|
|
14
14
|
attr_reader variance: variance
|
15
15
|
attr_reader skip_validation: bool
|
16
16
|
|
17
|
-
def initialize: (name: Symbol, variance: variance, skip_validation:
|
17
|
+
def initialize: (name: Symbol, variance: variance, skip_validation: boolish) -> void
|
18
18
|
|
19
19
|
include _ToJson
|
20
20
|
end
|
data/sig/definition.rbs
CHANGED
@@ -18,17 +18,17 @@ module RBS
|
|
18
18
|
class TypeDef
|
19
19
|
attr_reader type: MethodType
|
20
20
|
attr_reader member: method_member
|
21
|
-
attr_reader defined_in: TypeName
|
21
|
+
attr_reader defined_in: TypeName
|
22
22
|
attr_reader implemented_in: TypeName?
|
23
23
|
|
24
|
-
def initialize: (type: MethodType, member: method_member, defined_in: TypeName
|
24
|
+
def initialize: (type: MethodType, member: method_member, defined_in: TypeName, implemented_in: TypeName?) -> void
|
25
25
|
|
26
26
|
def comment: () -> AST::Comment?
|
27
27
|
|
28
28
|
def annotations: () -> Array[AST::Annotation]
|
29
29
|
|
30
|
-
def update: (?type: MethodType, ?member: method_member, ?defined_in: TypeName
|
31
|
-
|
30
|
+
def update: (?type: MethodType, ?member: method_member, ?defined_in: TypeName, ?implemented_in: TypeName?) -> TypeDef
|
31
|
+
|
32
32
|
def overload?: () -> bool
|
33
33
|
end
|
34
34
|
|
@@ -42,8 +42,13 @@ module RBS
|
|
42
42
|
attr_reader comments: Array[AST::Comment]
|
43
43
|
attr_reader annotations: Array[AST::Annotation]
|
44
44
|
attr_reader members: Array[method_member]
|
45
|
+
attr_reader alias_of: Method?
|
45
46
|
|
46
|
-
def initialize: (super_method: Method?,
|
47
|
+
def initialize: (super_method: Method?,
|
48
|
+
defs: Array[TypeDef],
|
49
|
+
accessibility: accessibility,
|
50
|
+
alias_of: Method?,
|
51
|
+
?annotations: Array[AST::Annotation]) -> void
|
47
52
|
|
48
53
|
def public?: () -> bool
|
49
54
|
|
data/sig/definition_builder.rbs
CHANGED
@@ -61,6 +61,8 @@ module RBS
|
|
61
61
|
|
62
62
|
def ensure_namespace!: (Namespace, location: Location?) -> void
|
63
63
|
|
64
|
+
def build_singleton: (TypeName) -> Definition
|
65
|
+
|
64
66
|
def build_instance: (TypeName) -> Definition
|
65
67
|
|
66
68
|
def build_interface: (TypeName) -> Definition
|
@@ -69,11 +71,12 @@ module RBS
|
|
69
71
|
|
70
72
|
def build_one_singleton: (TypeName) -> Definition
|
71
73
|
|
74
|
+
type ancestors = Definition::InstanceAncestors | Definition::SingletonAncestors | nil
|
72
75
|
def merge_definitions: (TypeName,
|
73
76
|
Array[[Definition::Ancestor::t, Definition]],
|
74
77
|
entry: Environment::ModuleEntry | Environment::ClassEntry,
|
75
78
|
self_type: Definition::self_type,
|
76
|
-
ancestors:
|
79
|
+
ancestors: ancestors) -> Definition
|
77
80
|
|
78
81
|
type method_kind = :instance | :singleton
|
79
82
|
def merge_method: (TypeName, Hash[Symbol, Definition::Method], Symbol, Definition::Method, Substitution, kind: method_kind) -> void
|
data/sig/environment_loader.rbs
CHANGED
@@ -1,58 +1,104 @@
|
|
1
1
|
module RBS
|
2
|
+
# EnvironmentLoader is an object to load RBS files from filesystem.
|
3
|
+
#
|
4
|
+
# Set up your configuration through repository and `#add` method.
|
5
|
+
#
|
6
|
+
# # Set up the repository to load library RBSs from.
|
7
|
+
# repo = RBS::Repository.default
|
8
|
+
# repo.add(Pathname("vendor/rbs/gem-rbs"))
|
9
|
+
# repo.add(Pathname("vendor/rbs/internal-rbs"))
|
10
|
+
#
|
11
|
+
# loader = RBS::EnvironmentLoader.new(repository: repo)
|
12
|
+
#
|
13
|
+
# # Add libraries to load RBS files.
|
14
|
+
# loader.add(library: "minitest")
|
15
|
+
# loader.add(library: "rbs", version: "1.0.0")
|
16
|
+
#
|
17
|
+
# # Add dirs to load RBS files from.
|
18
|
+
# loader.add(path: Pathname("sig"))
|
19
|
+
#
|
20
|
+
# # Load RBSs into an environment.
|
21
|
+
# environment = RBS::Environment.new()
|
22
|
+
# loader.load(env: environment)
|
23
|
+
#
|
2
24
|
class EnvironmentLoader
|
3
|
-
class
|
4
|
-
attr_reader
|
5
|
-
|
6
|
-
def initialize: (name: String) -> void
|
7
|
-
end
|
8
|
-
|
9
|
-
class LibraryPath
|
10
|
-
attr_reader name: String
|
11
|
-
attr_reader path: Pathname
|
25
|
+
class UnknownLibraryError < StandardError
|
26
|
+
attr_reader library: Library
|
12
27
|
|
13
|
-
def initialize: (
|
28
|
+
def initialize: (lib: Library) -> void
|
14
29
|
end
|
15
30
|
|
16
|
-
class
|
31
|
+
class Library < Struct[String | String?]
|
17
32
|
attr_reader name: String
|
18
33
|
attr_reader version: String?
|
19
|
-
attr_reader path: Pathname
|
20
34
|
|
21
|
-
def initialize: (name: String, version: String
|
35
|
+
def initialize: (name: String, version: String?) -> void
|
22
36
|
end
|
23
37
|
|
24
|
-
|
25
|
-
|
26
|
-
|
27
|
-
|
28
|
-
|
29
|
-
attr_reader
|
30
|
-
attr_reader
|
31
|
-
|
32
|
-
|
33
|
-
|
34
|
-
|
35
|
-
|
36
|
-
|
37
|
-
|
38
|
-
|
39
|
-
|
40
|
-
|
41
|
-
|
42
|
-
|
43
|
-
|
44
|
-
|
45
|
-
|
46
|
-
|
47
|
-
|
48
|
-
|
49
|
-
|
50
|
-
|
51
|
-
|
52
|
-
|
53
|
-
|
54
|
-
|
55
|
-
|
56
|
-
|
38
|
+
DEFAULT_CORE_ROOT: Pathname
|
39
|
+
|
40
|
+
attr_reader core_root: Pathname?
|
41
|
+
attr_reader repository: Repository
|
42
|
+
|
43
|
+
attr_reader libs: Array[Library]
|
44
|
+
attr_reader dirs: Array[Pathname]
|
45
|
+
|
46
|
+
# The source where the RBS comes from.
|
47
|
+
#
|
48
|
+
# `:core` means it is part of core library.
|
49
|
+
# `Library` means it is from library.
|
50
|
+
# `Pathname` means it is loaded from a directory.
|
51
|
+
#
|
52
|
+
type source = :core
|
53
|
+
| Library
|
54
|
+
| Pathname
|
55
|
+
|
56
|
+
# Accepts two optional keyword arguments.
|
57
|
+
#
|
58
|
+
# `core_root` is the path to the directory with RBSs for core classes.
|
59
|
+
# The default value is the core library included in RBS gem. (EnvironmentLoader::DEFAULT_CORE_ROOT)
|
60
|
+
# Passing `nil` means it skips loading core class definitions.
|
61
|
+
#
|
62
|
+
# `repository` is the repository for library classes.
|
63
|
+
# The default value is repository only with stdlib classes. (Repository.new)
|
64
|
+
#
|
65
|
+
def initialize: (?core_root: Pathname?, ?repository: Repository) -> void
|
66
|
+
|
67
|
+
# Add a path or library to load RBSs from.
|
68
|
+
#
|
69
|
+
# `path` can be a file or a directory.
|
70
|
+
# All `.rbs` files from the given directory will be loaded.
|
71
|
+
# Specifying a file will load the file regardless the extension of the file is.
|
72
|
+
#
|
73
|
+
# `library` can be a name of a gem.
|
74
|
+
# Specifying `nil` to `version` will load any version available.
|
75
|
+
# It first tries to load RBS files from gem with specified version.
|
76
|
+
# If RBS files cannot be found in the gem, it tries to load RBSs from repository.
|
77
|
+
#
|
78
|
+
def add: (path: Pathname) -> void
|
79
|
+
| (library: String, version: String?) -> void
|
80
|
+
|
81
|
+
# This is helper function to test if RBS for a library is available or not.
|
82
|
+
#
|
83
|
+
def has_library?: (library: String, version: String?) -> bool
|
84
|
+
|
85
|
+
# Add all declarations to environment.
|
86
|
+
#
|
87
|
+
# Raises `UnknownLibraryError` if RBS cannot be loaded from a library.
|
88
|
+
#
|
89
|
+
# Returns an array of tuples of the declaration, path to the file, and the source.
|
90
|
+
#
|
91
|
+
def load: (env: Environment) -> Array[[AST::Declarations::t, Pathname, source]]
|
92
|
+
|
93
|
+
# Returns a pair of spec and path for a gem with RBS.
|
94
|
+
# Returns nil if the gem is not installed, or the gem doesn't provide RBS.
|
95
|
+
#
|
96
|
+
def self.gem_sig_path: (String name, String? version) -> [Gem::Specification, Pathname]?
|
97
|
+
|
98
|
+
def each_decl: () { (AST::Declarations::t, Buffer, source, Pathname) -> void } -> void
|
99
|
+
|
100
|
+
def each_dir: { (source, Pathname) -> void } -> void
|
101
|
+
|
102
|
+
def each_file: (Pathname path, immediate: boolish, skip_hidden: boolish) { (Pathname) -> void } -> void
|
57
103
|
end
|
58
104
|
end
|
data/sig/members.rbs
CHANGED
@@ -23,7 +23,7 @@ module RBS
|
|
23
23
|
attr_reader comment: Comment?
|
24
24
|
attr_reader overload: bool
|
25
25
|
|
26
|
-
def initialize: (name: Symbol, kind: kind, types: Array[MethodType], annotations: Array[Annotation], location: Location?, comment: Comment?, overload:
|
26
|
+
def initialize: (name: Symbol, kind: kind, types: Array[MethodType], annotations: Array[Annotation], location: Location?, comment: Comment?, overload: boolish) -> void
|
27
27
|
|
28
28
|
include _HashEqual
|
29
29
|
include _ToJson
|
@@ -34,7 +34,7 @@ module RBS
|
|
34
34
|
|
35
35
|
def overload?: () -> bool
|
36
36
|
|
37
|
-
def update: (?name: Symbol, ?kind: kind, ?types: Array[MethodType], ?annotations: Array[Annotation], ?location: Location?, ?comment: Comment?, ?overload:
|
37
|
+
def update: (?name: Symbol, ?kind: kind, ?types: Array[MethodType], ?annotations: Array[Annotation], ?location: Location?, ?comment: Comment?, ?overload: boolish) -> MethodDefinition
|
38
38
|
end
|
39
39
|
|
40
40
|
module Var
|
data/sig/method_types.rbs
CHANGED
data/sig/namespace.rbs
CHANGED
@@ -1,6 +1,6 @@
|
|
1
1
|
module RBS
|
2
2
|
# Namespace instance represents a _prefix of module names_.
|
3
|
-
#
|
3
|
+
#
|
4
4
|
# vvvvvvvvvvvvvv TypeName
|
5
5
|
# RBS::Namespace
|
6
6
|
# ^^^^^ Namespace
|
@@ -28,7 +28,7 @@ module RBS
|
|
28
28
|
class Namespace
|
29
29
|
attr_reader path: Array[Symbol]
|
30
30
|
|
31
|
-
def initialize: (path: Array[Symbol], absolute:
|
31
|
+
def initialize: (path: Array[Symbol], absolute: boolish) -> void
|
32
32
|
|
33
33
|
# Returns new _empty_ namespace.
|
34
34
|
def self.empty: () -> Namespace
|
@@ -44,7 +44,7 @@ module RBS
|
|
44
44
|
# If `other` is an absolute namespace, it returns `other`.
|
45
45
|
#
|
46
46
|
# Namespace("Foo::") + Namespace("::Bar::") # => ::Bar::
|
47
|
-
#
|
47
|
+
#
|
48
48
|
def +: (Namespace other) -> Namespace
|
49
49
|
|
50
50
|
# Add one path component to self.
|
@@ -62,7 +62,7 @@ module RBS
|
|
62
62
|
|
63
63
|
# Returns true if self is absolute namespace.
|
64
64
|
def absolute?: () -> bool
|
65
|
-
|
65
|
+
|
66
66
|
# Returns true if self is relative namespace.
|
67
67
|
def relative?: () -> bool
|
68
68
|
|
data/sig/parser.rbs
ADDED
@@ -0,0 +1,25 @@
|
|
1
|
+
module RBS
|
2
|
+
class Parser
|
3
|
+
class SyntaxError < StandardError
|
4
|
+
attr_reader token_str: String
|
5
|
+
attr_reader error_value: untyped
|
6
|
+
attr_reader value_stack: untyped?
|
7
|
+
|
8
|
+
def initialize: (token_str: String, error_value: untyped, ?value_stack: untyped?) -> void
|
9
|
+
end
|
10
|
+
|
11
|
+
class SemanticsError < StandardError
|
12
|
+
attr_reader subject: untyped
|
13
|
+
attr_reader location: Location
|
14
|
+
attr_reader original_message: String
|
15
|
+
|
16
|
+
def initialize: (String message, subject: untyped, location: Location) -> void
|
17
|
+
end
|
18
|
+
|
19
|
+
def self.parse_method_type: (String | Buffer, ?variables: Array[Symbol], ?eof_re: Regexp?) -> MethodType
|
20
|
+
|
21
|
+
def self.parse_type: (String | Buffer, ?variables: Array[Symbol], ?eof_re: Regexp?) -> Types::t
|
22
|
+
|
23
|
+
def self.parse_signature: (String | Buffer, ?eof_re: Regexp?) -> Array[AST::Declarations::t]
|
24
|
+
end
|
25
|
+
end
|
data/sig/polyfill.rbs
CHANGED
@@ -1,3 +1,45 @@
|
|
1
1
|
module Kernel
|
2
2
|
def to_json: (*untyped) -> String
|
3
3
|
end
|
4
|
+
|
5
|
+
module Gem
|
6
|
+
class Version
|
7
|
+
def self.correct?: (String) -> bool
|
8
|
+
|
9
|
+
def self.create: (String?) -> instance?
|
10
|
+
|
11
|
+
include Comparable
|
12
|
+
|
13
|
+
def prerelease?: () -> bool
|
14
|
+
|
15
|
+
def release: () -> self
|
16
|
+
|
17
|
+
def version: () -> String
|
18
|
+
end
|
19
|
+
|
20
|
+
class Specification
|
21
|
+
attr_reader version (): Version
|
22
|
+
|
23
|
+
attr_reader gem_dir (): String
|
24
|
+
|
25
|
+
def self.find_by_name: (String name, ?String? version) -> instance
|
26
|
+
end
|
27
|
+
end
|
28
|
+
|
29
|
+
class OptionParser
|
30
|
+
def initialize: () ?{ (instance) -> void } -> void
|
31
|
+
|
32
|
+
def on: (*String) { (String) -> void } -> void
|
33
|
+
|
34
|
+
attr_accessor version: String
|
35
|
+
|
36
|
+
attr_accessor banner: String
|
37
|
+
|
38
|
+
def order!: (Array[String]) -> void
|
39
|
+
|
40
|
+
def parse!: (Array[String]) -> void
|
41
|
+
|
42
|
+
def ver: () -> String
|
43
|
+
|
44
|
+
def help: () -> String
|
45
|
+
end
|