typeprof 0.21.11 → 0.30.0

data/lib/typeprof/version.rb

@@ -1,3 +1,3 @@
 module TypeProf
-  VERSION = "0.21.11"
+  VERSION = "0.30.0"
 end

data/lib/typeprof.rb

@@ -1,20 +1,6 @@
-module TypeProf end
-
 require_relative "typeprof/version"
-require_relative "typeprof/config"
-require_relative "typeprof/insns-def"
-require_relative "typeprof/utils"
-require_relative "typeprof/type"
-require_relative "typeprof/container-type"
-require_relative "typeprof/method"
-require_relative "typeprof/block"
-require_relative "typeprof/iseq"
-require_relative "typeprof/arguments"
-require_relative "typeprof/analyzer"
-require_relative "typeprof/import"
-require_relative "typeprof/export"
-require_relative "typeprof/builtin"
+require_relative "typeprof/code_range"
+require_relative "typeprof/diagnostic"
+require_relative "typeprof/core"
+require_relative "typeprof/lsp"
 require_relative "typeprof/cli"
-require_relative "typeprof/code-range"
-
-require_relative "typeprof/lsp" if RUBY_VERSION >= "3" and RUBY_ENGINE != "truffleruby"

data/typeprof.gemspec

@@ -11,12 +11,10 @@ Gem::Specification.new do |spec|
     TypeProf performs a type analysis of non-annotated Ruby code.
 
     It abstractly executes input Ruby code in a level of types instead of values, gathers what types are passed to and returned by methods, and prints the analysis result in RBS format, a standard type description format for Ruby 3.0.
-
-    This tool is planned to be bundled with Ruby 3.0.
   EOD
   spec.homepage      = "https://github.com/ruby/typeprof"
   spec.license       = "MIT"
-  spec.required_ruby_version = Gem::Requirement.new(">= 2.7")
+  spec.required_ruby_version = Gem::Requirement.new(">= 3.3")
 
   spec.metadata["homepage_uri"] = spec.homepage
   spec.metadata["source_code_uri"] = "https://github.com/ruby/typeprof"
@@ -24,11 +22,11 @@ Gem::Specification.new do |spec|
   # Specify which files should be added to the gem when it is released.
   # The `git ls-files -z` loads the files in the RubyGem that have been added into git.
   spec.files         = Dir.chdir(File.expand_path('..', __FILE__)) do
-    `git ls-files -z`.split("\x0").reject { |f| f.match(%r{^(doc|test|spec|features|smoke|testbed|vscode)/}) }
+    `git ls-files -z`.split("\x0").reject { |f| f.match(%r{^(.devcontainer|.github|scenario|sig|test|tool)/}) } - [ ".gitignore", "Gemfile", "Gemfile.lock", "Rakefile", "typeprof.conf.json"]
   end
-  spec.bindir        = "exe"
-  spec.executables   = spec.files.grep(%r{^exe/}) { |f| File.basename(f) }
+  spec.bindir        = "bin"
+  spec.executables   = spec.files.grep(%r{^bin/}) { |f| File.basename(f) }
   spec.require_paths = ["lib"]
 
-  spec.add_runtime_dependency "rbs", ">= 1.8.1"
+  spec.add_runtime_dependency "rbs", ">= 3.6.0"
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: typeprof
 version: !ruby/object:Gem::Version
-  version: 0.21.11
+  version: 0.30.0
 platform: ruby
+original_platform: ''
 authors:
 - Yusuke Endoh
-autorequire:
-bindir: exe
+bindir: bin
 cert_chain: []
-date: 2024-02-19 00:00:00.000000000 Z
+date: 2024-12-13 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rbs
@@ -16,20 +16,18 @@ dependencies:
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: 1.8.1
+        version: 3.6.0
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: 1.8.1
+        version: 3.6.0
 description: |
   TypeProf performs a type analysis of non-annotated Ruby code.
 
   It abstractly executes input Ruby code in a level of types instead of values, gathers what types are passed to and returned by methods, and prints the analysis result in RBS format, a standard type description format for Ruby 3.0.
-
-  This tool is planned to be bundled with Ruby 3.0.
 email:
 - mame@ruby-lang.org
 executables:
@@ -37,36 +35,53 @@ executables:
 extensions: []
 extra_rdoc_files: []
 files:
-- ".github/dependabot.yml"
-- ".github/workflows/main.yml"
-- ".gitignore"
-- Gemfile
-- Gemfile.lock
 - LICENSE
 - README.md
-- Rakefile
-- exe/typeprof
+- bin/typeprof
+- doc/doc.ja.md
+- doc/doc.md
 - lib/typeprof.rb
-- lib/typeprof/analyzer.rb
-- lib/typeprof/arguments.rb
-- lib/typeprof/block.rb
-- lib/typeprof/builtin.rb
 - lib/typeprof/cli.rb
-- lib/typeprof/code-range.rb
-- lib/typeprof/config.rb
-- lib/typeprof/container-type.rb
-- lib/typeprof/export.rb
-- lib/typeprof/import.rb
-- lib/typeprof/insns-def.rb
-- lib/typeprof/iseq.rb
+- lib/typeprof/cli/cli.rb
+- lib/typeprof/code_range.rb
+- lib/typeprof/core.rb
+- lib/typeprof/core/ast.rb
+- lib/typeprof/core/ast/base.rb
+- lib/typeprof/core/ast/call.rb
+- lib/typeprof/core/ast/const.rb
+- lib/typeprof/core/ast/control.rb
+- lib/typeprof/core/ast/meta.rb
+- lib/typeprof/core/ast/method.rb
+- lib/typeprof/core/ast/misc.rb
+- lib/typeprof/core/ast/module.rb
+- lib/typeprof/core/ast/pattern.rb
+- lib/typeprof/core/ast/sig_decl.rb
+- lib/typeprof/core/ast/sig_type.rb
+- lib/typeprof/core/ast/value.rb
+- lib/typeprof/core/ast/variable.rb
+- lib/typeprof/core/builtin.rb
+- lib/typeprof/core/env.rb
+- lib/typeprof/core/env/method.rb
+- lib/typeprof/core/env/method_entity.rb
+- lib/typeprof/core/env/module_entity.rb
+- lib/typeprof/core/env/static_read.rb
+- lib/typeprof/core/env/type_alias_entity.rb
+- lib/typeprof/core/env/value_entity.rb
+- lib/typeprof/core/graph.rb
+- lib/typeprof/core/graph/box.rb
+- lib/typeprof/core/graph/change_set.rb
+- lib/typeprof/core/graph/filter.rb
+- lib/typeprof/core/graph/vertex.rb
+- lib/typeprof/core/service.rb
+- lib/typeprof/core/type.rb
+- lib/typeprof/core/util.rb
+- lib/typeprof/diagnostic.rb
 - lib/typeprof/lsp.rb
-- lib/typeprof/method.rb
-- lib/typeprof/type.rb
-- lib/typeprof/utils.rb
+- lib/typeprof/lsp/messages.rb
+- lib/typeprof/lsp/server.rb
+- lib/typeprof/lsp/text.rb
+- lib/typeprof/lsp/util.rb
 - lib/typeprof/version.rb
-- tools/coverage.rb
-- tools/setup-insns-def.rb
-- typeprof-lsp
 - typeprof.gemspec
 homepage: https://github.com/ruby/typeprof
 licenses:
@@ -74,7 +89,6 @@ licenses:
 metadata:
   homepage_uri: https://github.com/ruby/typeprof
   source_code_uri: https://github.com/ruby/typeprof
-post_install_message:
 rdoc_options: []
 require_paths:
 - lib
@@ -82,7 +96,7 @@ required_ruby_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
-      version: '2.7'
+      version: '3.3'
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
@@ -90,7 +104,6 @@ required_rubygems_version: !ruby/object:Gem::Requirement
       version: '0'
 requirements: []
 rubygems_version: 3.6.0.dev
-signing_key:
 specification_version: 4
 summary: TypeProf is a type analysis tool for Ruby code based on abstract interpretation
 test_files: []

data/.github/dependabot.yml

@@ -1,6 +0,0 @@
-version: 2
-updates:
-  - package-ecosystem: 'github-actions'
-    directory: '/'
-    schedule:
-      interval: 'weekly'

data/.github/workflows/main.yml

@@ -1,39 +0,0 @@
-name: Ruby
-
-on:
-  push:
-  pull_request:
-  workflow_dispatch:
-  schedule:
-    #  # This job runs at 00:00 on Friday.
-    - cron: '0 15 * * 5'
-
-jobs:
-  ruby-versions:
-    uses: ruby/actions/.github/workflows/ruby_versions.yml@master
-    with:
-      engine: cruby-truffleruby
-      min_version: 3.0
-
-  build:
-    needs: ruby-versions
-    name: build (${{ matrix.ruby }})
-    strategy:
-      fail-fast: false
-      matrix:
-        ruby: ${{ fromJson(needs.ruby-versions.outputs.versions) }}
-    runs-on: ubuntu-latest
-    steps:
-    - uses: actions/checkout@v4
-    - name: Set up Ruby
-      uses: ruby/setup-ruby@v1
-      with:
-        ruby-version: ${{ matrix.ruby }}
-    - name: Bundle install
-      run: |
-        bundle install
-    - run: bundle exec typeprof --version
-    - name: Run the test suite
-      run: |
-        bundle exec rake TESTOPT=-v
-      if: ${{ !startsWith(matrix.ruby, 'truffle') }}

data/.gitignore

@@ -1,9 +0,0 @@
-coverage.dump
-coverage.info
-coverage/
-stackprof*.dump
-testbed/diff-lcs
-pkg/
-*.log
-.*.sw*
-*.dump

data/Gemfile

@@ -1,17 +0,0 @@
-source "https://rubygems.org"
-
-if ENV["RBS_VERSION"]
-  gem "rbs", github: "ruby/rbs", ref: ENV["RBS_VERSION"]
-else
-  # Specify your gem's dependencies in typeprof.gemspec
-  gemspec
-end
-
-group :development do
-  gem "rake"
-  gem "stackprof", platforms: :mri
-  gem "test-unit"
-  gem "simplecov"
-  gem "simplecov-html"
-  gem "coverage-helpers"
-end

data/Gemfile.lock

@@ -1,41 +0,0 @@
-PATH
-  remote: .
-  specs:
-    typeprof (0.21.11)
-      rbs (>= 1.8.1)
-
-GEM
-  remote: https://rubygems.org/
-  specs:
-    abbrev (0.1.2)
-    coverage-helpers (1.0.0)
-    docile (1.4.0)
-    power_assert (2.0.1)
-    rake (13.0.1)
-    rbs (3.4.4)
-      abbrev
-    simplecov (0.21.2)
-      docile (~> 1.1)
-      simplecov-html (~> 0.11)
-      simplecov_json_formatter (~> 0.1)
-    simplecov-html (0.12.3)
-    simplecov_json_formatter (0.1.4)
-    stackprof (0.2.19)
-    test-unit (3.5.3)
-      power_assert
-
-PLATFORMS
-  ruby
-  x86_64-linux
-
-DEPENDENCIES
-  coverage-helpers
-  rake
-  simplecov
-  simplecov-html
-  stackprof
-  test-unit
-  typeprof!
-
-BUNDLED WITH
-   2.3.11

data/Rakefile

@@ -1,10 +0,0 @@
-require "bundler/gem_tasks"
-require "rake/testtask"
-
-Rake::TestTask.new(:test) do |t|
-  t.libs << "test"
-  t.libs << "lib"
-  t.test_files = FileList["test/**/*_test.rb"]
-end
-
-task :default => :test

data/exe/typeprof

@@ -1,10 +0,0 @@
-#!/usr/bin/env ruby
-
-require_relative "../lib/typeprof"
-
-config = TypeProf::CLI.parse(ARGV)
-if config.options[:lsp]
-  TypeProf.start_lsp_server(config)
-else
-  TypeProf.analyze(config)
-end