raap 1.2.0 → 1.3.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- checksums.yaml +4 -4
- data/CHANGELOG.md +9 -0
- data/lib/raap/cli.rb +5 -1
- data/lib/raap/minitest.rb +5 -3
- data/lib/raap/version.rb +1 -1
- data/lib/shims.rb +2 -0
- metadata +6 -6
checksums.yaml
CHANGED
@@ -1,7 +1,7 @@
|
|
1
1
|
---
|
2
2
|
SHA256:
|
3
|
-
metadata.gz:
|
4
|
-
data.tar.gz:
|
3
|
+
metadata.gz: ead76e792bb6655630241aacb09a1ea65a90ab7f8a1a9135450f5e6b0113e58e
|
4
|
+
data.tar.gz: 7dd4f37b9fac0f829d7712f2fb24e218c77fa7d9e7dab244ca7368d84a8d19f5
|
5
5
|
SHA512:
|
6
|
-
metadata.gz:
|
7
|
-
data.tar.gz:
|
6
|
+
metadata.gz: df380a356bbe20a0046fbf6c7d0fe786d75e1109fcc9a5c906c535e5b5d6884d97eeac5e7e68f61f41ade53590028bed21b4e10268f3f44b3932d98a2f6646fc
|
7
|
+
data.tar.gz: 6f4dbed79652aa19bfcc9fa0998daff356fced191e3b03bb5ed367d7fb60a9d9a3de660893930762ae19558d4dde85ad0e8af2aa62f4c5ad7ab8b957407f88a7
|
data/CHANGELOG.md
CHANGED
@@ -1,5 +1,14 @@
|
|
1
1
|
## [Unreleased]
|
2
2
|
|
3
|
+
## [1.2.0] - 2025-01-29
|
4
|
+
|
5
|
+
* Skip if fail to call `called_str` by @ksss in https://github.com/ksss/raap/pull/47
|
6
|
+
* Add CLI option `--numeric-positive` by @ksss in https://github.com/ksss/raap/pull/48
|
7
|
+
* Set dynamic types by @ksss in https://github.com/ksss/raap/pull/49
|
8
|
+
* Support `%a{implicitly-returns-nil}` by @ksss in https://github.com/ksss/raap/pull/50
|
9
|
+
* Refactoring by @ksss in https://github.com/ksss/raap/pull/51
|
10
|
+
* Update ruby syntax over 3.0 by @ksss in https://github.com/ksss/raap/pull/52
|
11
|
+
|
3
12
|
## [1.1.0] - 2025-01-13
|
4
13
|
|
5
14
|
* Bundle update by @ksss in https://github.com/ksss/raap/pull/31
|
data/lib/raap/cli.rb
CHANGED
@@ -303,6 +303,10 @@ module RaaP
|
|
303
303
|
rtype = ::RBS::Types::ClassInstance.new(name: rtype.name, args:, location: rtype.location)
|
304
304
|
receiver_type = Type.new(rtype)
|
305
305
|
end
|
306
|
+
annotations = type_def.each_annotation.to_a
|
307
|
+
if !annotations.empty?
|
308
|
+
RaaP.logger.info("## #{annotations.map { |a| "%a{#{a.string}}" }.join(' ')}")
|
309
|
+
end
|
306
310
|
RaaP.logger.info("## def #{prefix}#{method_name}: #{type_def.type}")
|
307
311
|
status = 0
|
308
312
|
reason = nil
|
@@ -320,7 +324,7 @@ module RaaP
|
|
320
324
|
size_step: @option.size_from.step(to: @option.size_to, by: @option.size_by),
|
321
325
|
timeout: @option.timeout,
|
322
326
|
allow_private: @option.allow_private,
|
323
|
-
annotations:
|
327
|
+
annotations:
|
324
328
|
)
|
325
329
|
RaaP::Coverage.start(type_def.type) if @option.coverage
|
326
330
|
start_time = Process.clock_gettime(Process::CLOCK_MONOTONIC)
|
data/lib/raap/minitest.rb
CHANGED
@@ -7,8 +7,9 @@ module RaaP
|
|
7
7
|
def forall(*types, size_step: 0...100)
|
8
8
|
# @type self: Minitest::Test
|
9
9
|
|
10
|
-
if types.length == 1 && types.first.instance_of?(String) && types.first.start_with?("(")
|
10
|
+
if types.length == 1 && types.first.instance_of?(String) && types.first.start_with?("(") # steep:ignore
|
11
11
|
# forall("(Integer) -> String") { |int| Foo.new.int2str(int) }
|
12
|
+
# @type var type: String
|
12
13
|
type = types.first
|
13
14
|
method_type = RaaP::MethodType.new(type)
|
14
15
|
size_step.each do |size|
|
@@ -23,14 +24,15 @@ module RaaP
|
|
23
24
|
end
|
24
25
|
else
|
25
26
|
# forall("Integer", "String") { |int, str| Foo.new.int_str(int, str) }
|
26
|
-
|
27
|
+
# @type var normalized_types: Array[RaaP::Type]
|
28
|
+
normalized_types = types.map! do |type|
|
27
29
|
case type
|
28
30
|
in String then RaaP::Type.new(type)
|
29
31
|
else type
|
30
32
|
end
|
31
33
|
end
|
32
34
|
size_step.each do |size|
|
33
|
-
values =
|
35
|
+
values = normalized_types.map { |t| t.pick(size:) }
|
34
36
|
assert yield(*values)
|
35
37
|
end
|
36
38
|
end
|
data/lib/raap/version.rb
CHANGED
data/lib/shims.rb
CHANGED
@@ -14,6 +14,7 @@ unless defined?(Data)
|
|
14
14
|
def define(*syms)
|
15
15
|
_ = Class.new do |c|
|
16
16
|
define_method(:initialize) do |*args, **kwargs|
|
17
|
+
# @type self: Object
|
17
18
|
if !args.empty?
|
18
19
|
syms.zip(args).each do |sym, arg|
|
19
20
|
instance_variable_set("@#{sym}", arg)
|
@@ -28,6 +29,7 @@ unless defined?(Data)
|
|
28
29
|
|
29
30
|
syms.each do |sym|
|
30
31
|
c.define_method(sym) do
|
32
|
+
# @type self: Object
|
31
33
|
instance_variable_get("@#{sym}")
|
32
34
|
end
|
33
35
|
end
|
metadata
CHANGED
@@ -1,13 +1,13 @@
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
2
2
|
name: raap
|
3
3
|
version: !ruby/object:Gem::Version
|
4
|
-
version: 1.
|
4
|
+
version: 1.3.0
|
5
5
|
platform: ruby
|
6
6
|
authors:
|
7
7
|
- ksss
|
8
8
|
bindir: exe
|
9
9
|
cert_chain: []
|
10
|
-
date: 2025-
|
10
|
+
date: 2025-06-09 00:00:00.000000000 Z
|
11
11
|
dependencies:
|
12
12
|
- !ruby/object:Gem::Dependency
|
13
13
|
name: rbs
|
@@ -15,14 +15,14 @@ dependencies:
|
|
15
15
|
requirements:
|
16
16
|
- - "~>"
|
17
17
|
- !ruby/object:Gem::Version
|
18
|
-
version:
|
18
|
+
version: 3.9.0
|
19
19
|
type: :runtime
|
20
20
|
prerelease: false
|
21
21
|
version_requirements: !ruby/object:Gem::Requirement
|
22
22
|
requirements:
|
23
23
|
- - "~>"
|
24
24
|
- !ruby/object:Gem::Version
|
25
|
-
version:
|
25
|
+
version: 3.9.0
|
26
26
|
- !ruby/object:Gem::Dependency
|
27
27
|
name: timeout
|
28
28
|
requirement: !ruby/object:Gem::Requirement
|
@@ -86,14 +86,14 @@ required_ruby_version: !ruby/object:Gem::Requirement
|
|
86
86
|
requirements:
|
87
87
|
- - ">="
|
88
88
|
- !ruby/object:Gem::Version
|
89
|
-
version: 3.
|
89
|
+
version: 3.2.0
|
90
90
|
required_rubygems_version: !ruby/object:Gem::Requirement
|
91
91
|
requirements:
|
92
92
|
- - ">="
|
93
93
|
- !ruby/object:Gem::Version
|
94
94
|
version: '0'
|
95
95
|
requirements: []
|
96
|
-
rubygems_version: 3.6.
|
96
|
+
rubygems_version: 3.6.6
|
97
97
|
specification_version: 4
|
98
98
|
summary: RBS as a Property
|
99
99
|
test_files: []
|