typeprof 0.1.0 → 0.1.1
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/README.md +5 -23
- data/typeprof.gemspec +2 -2
- metadata +2 -2
checksums.yaml
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
---
|
|
2
2
|
SHA256:
|
|
3
|
-
metadata.gz:
|
|
4
|
-
data.tar.gz:
|
|
3
|
+
metadata.gz: 6b8c2a9fcfc9dcbb115580fa4f317b532bd1dfbf18187b7793e8d4a6753b793e
|
|
4
|
+
data.tar.gz: 04f2a298d9944be2295a51b367394f328173b231489c99139657a419bcd7937b
|
|
5
5
|
SHA512:
|
|
6
|
-
metadata.gz:
|
|
7
|
-
data.tar.gz:
|
|
6
|
+
metadata.gz: c20b7996791a2c433d4d74b1106f8fafb794d1580fbd64814d75d16fc03b6199193d6458c321b55e4895d31be777718fa3a4d696ce6ac504db3a99a42b55ff6e
|
|
7
|
+
data.tar.gz: 19e6e07f9d131c8d295f7e4e017a0848c8da5fec98f85e4a730248acd7feaa5dad2544d99f004e3f3c41162681ce7c9af1b9ad6de791cb6a24fd6298ab05b448
|
data/README.md
CHANGED
|
@@ -1,19 +1,10 @@
|
|
|
1
|
-
# Ruby
|
|
1
|
+
# TypeProf: A type analysis tool for Ruby code based on abstract interpretation
|
|
2
2
|
|
|
3
|
-
|
|
4
|
-
|
|
5
|
-
## Setup
|
|
6
|
-
|
|
7
|
-
```sh
|
|
8
|
-
git clone https://github.com/mame/ruby-type-profiler.git
|
|
9
|
-
cd ruby-type-profiler
|
|
10
|
-
git submodule init
|
|
11
|
-
git submodule update
|
|
12
|
-
bundle install
|
|
13
|
-
```
|
|
3
|
+
## Synopsis
|
|
14
4
|
|
|
15
5
|
```sh
|
|
16
|
-
|
|
6
|
+
gem install typeprof
|
|
7
|
+
typeprof app.rb
|
|
17
8
|
```
|
|
18
9
|
|
|
19
10
|
## Demo
|
|
@@ -32,7 +23,7 @@ foo(42)
|
|
|
32
23
|
```
|
|
33
24
|
|
|
34
25
|
```
|
|
35
|
-
$
|
|
26
|
+
$ typeprof test.rb
|
|
36
27
|
# Classes
|
|
37
28
|
class Object
|
|
38
29
|
def foo : (Integer) -> String?
|
|
@@ -42,12 +33,3 @@ end
|
|
|
42
33
|
## Document
|
|
43
34
|
|
|
44
35
|
[English](doc/doc.md) / [日本語](doc/doc.ja.md)
|
|
45
|
-
|
|
46
|
-
## Todo
|
|
47
|
-
|
|
48
|
-
Contribution is welcome!
|
|
49
|
-
|
|
50
|
-
* Reorganize the test suite (by using minitest framework or something)
|
|
51
|
-
* Design and implement an reasonable CLI UI (nothing is configurable currently)
|
|
52
|
-
* Release a gem
|
|
53
|
-
* Continue to perform an experiment
|
data/typeprof.gemspec
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
Gem::Specification.new do |spec|
|
|
2
2
|
spec.name = "typeprof" # temporal
|
|
3
|
-
spec.version = "0.1.
|
|
3
|
+
spec.version = "0.1.1"
|
|
4
4
|
spec.authors = ["Yusuke Endoh"]
|
|
5
5
|
spec.email = ["mame@ruby-lang.org"]
|
|
6
6
|
|
|
@@ -11,7 +11,7 @@ Gem::Specification.new do |spec|
|
|
|
11
11
|
spec.required_ruby_version = Gem::Requirement.new(">= 2.7")
|
|
12
12
|
|
|
13
13
|
spec.metadata["homepage_uri"] = spec.homepage
|
|
14
|
-
spec.metadata["source_code_uri"] = "https://github.com/
|
|
14
|
+
spec.metadata["source_code_uri"] = "https://github.com/ruby/typeprof"
|
|
15
15
|
|
|
16
16
|
# Specify which files should be added to the gem when it is released.
|
|
17
17
|
# The `git ls-files -z` loads the files in the RubyGem that have been added into git.
|
metadata
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
|
2
2
|
name: typeprof
|
|
3
3
|
version: !ruby/object:Gem::Version
|
|
4
|
-
version: 0.1.
|
|
4
|
+
version: 0.1.1
|
|
5
5
|
platform: ruby
|
|
6
6
|
authors:
|
|
7
7
|
- Yusuke Endoh
|
|
@@ -239,7 +239,7 @@ licenses:
|
|
|
239
239
|
- MIT
|
|
240
240
|
metadata:
|
|
241
241
|
homepage_uri: https://github.com/mame/ruby-type-profiler
|
|
242
|
-
source_code_uri: https://github.com/
|
|
242
|
+
source_code_uri: https://github.com/ruby/typeprof
|
|
243
243
|
post_install_message:
|
|
244
244
|
rdoc_options: []
|
|
245
245
|
require_paths:
|