--- !ruby/object:Gem::Specification
name: typeprof
version: !ruby/object:Gem::Version
  version: 0.10.0
platform: ruby
authors:
- Yusuke Endoh
autorequire: 
bindir: exe
cert_chain: []
date: 2020-12-18 00:00:00.000000000 Z
dependencies:
- !ruby/object:Gem::Dependency
  name: rbs
  requirement: !ruby/object:Gem::Requirement
    requirements:
    - - ">="
      - !ruby/object:Gem::Version
        version: 0.20.1
  type: :runtime
  prerelease: false
  version_requirements: !ruby/object:Gem::Requirement
    requirements:
    - - ">="
      - !ruby/object:Gem::Version
        version: 0.20.1
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:
- typeprof
extensions: []
extra_rdoc_files: []
files:
- ".github/workflows/main.yml"
- ".gitignore"
- Gemfile
- Gemfile.lock
- LICENSE
- README.md
- Rakefile
- doc/demo.md
- doc/doc.ja.md
- doc/doc.md
- doc/ppl2019.pdf
- exe/typeprof
- 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/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/method.rb
- lib/typeprof/type.rb
- lib/typeprof/utils.rb
- lib/typeprof/version.rb
- smoke/alias.rb
- smoke/alias2.rb
- smoke/any-cbase.rb
- smoke/any1.rb
- smoke/any2.rb
- smoke/arguments.rb
- smoke/arguments2.rb
- smoke/array-each.rb
- smoke/array-each2.rb
- smoke/array-each3.rb
- smoke/array-ltlt.rb
- smoke/array-ltlt2.rb
- smoke/array-map.rb
- smoke/array-map2.rb
- smoke/array-map3.rb
- smoke/array-mul.rb
- smoke/array-plus1.rb
- smoke/array-plus2.rb
- smoke/array-pop.rb
- smoke/array-range-aref.rb
- smoke/array-replace.rb
- smoke/array-s-aref.rb
- smoke/array1.rb
- smoke/array10.rb
- smoke/array11.rb
- smoke/array12.rb
- smoke/array13.rb
- smoke/array14.rb
- smoke/array15.rb
- smoke/array2.rb
- smoke/array3.rb
- smoke/array4.rb
- smoke/array5.rb
- smoke/array6.rb
- smoke/array7.rb
- smoke/array8.rb
- smoke/array9.rb
- smoke/attr-module.rb
- smoke/attr-vis.rb
- smoke/attr-vis.rbs
- smoke/attr.rb
- smoke/autoload.rb
- smoke/backtrace.rb
- smoke/block-ambiguous.rb
- smoke/block-args1-rest.rb
- smoke/block-args1.rb
- smoke/block-args2-rest.rb
- smoke/block-args2.rb
- smoke/block-args3-rest.rb
- smoke/block-args3.rb
- smoke/block-blockarg.rb
- smoke/block-kwarg.rb
- smoke/block1.rb
- smoke/block10.rb
- smoke/block11.rb
- smoke/block12.rb
- smoke/block13.rb
- smoke/block13.rbs
- smoke/block14.rb
- smoke/block2.rb
- smoke/block3.rb
- smoke/block4.rb
- smoke/block5.rb
- smoke/block6.rb
- smoke/block7.rb
- smoke/block8.rb
- smoke/block9.rb
- smoke/block_given.rb
- smoke/blown.rb
- smoke/break1.rb
- smoke/break2.rb
- smoke/break3.rb
- smoke/case.rb
- smoke/case2.rb
- smoke/case3.rb
- smoke/class-hierarchy.rb
- smoke/class-hierarchy2.rb
- smoke/class-new.rb
- smoke/class.rb
- smoke/class_instance_var.rb
- smoke/class_method.rb
- smoke/class_method2.rb
- smoke/class_method3.rb
- smoke/constant1.rb
- smoke/constant2.rb
- smoke/constant3.rb
- smoke/constant4.rb
- smoke/context-sensitive1.rb
- smoke/cvar.rb
- smoke/cvar2.rb
- smoke/define_method.rb
- smoke/define_method2.rb
- smoke/define_method3.rb
- smoke/define_method3.rbs
- smoke/define_method4.rb
- smoke/define_method4.rbs
- smoke/define_method5.rb
- smoke/define_method6.rb
- smoke/demo.rb
- smoke/demo1.rb
- smoke/demo10.rb
- smoke/demo11.rb
- smoke/demo2.rb
- smoke/demo3.rb
- smoke/demo4.rb
- smoke/demo5.rb
- smoke/demo6.rb
- smoke/demo7.rb
- smoke/demo8.rb
- smoke/demo9.rb
- smoke/dummy-execution1.rb
- smoke/dummy-execution2.rb
- smoke/dummy_element.rb
- smoke/ensure1.rb
- smoke/enum_for.rb
- smoke/enum_for2.rb
- smoke/enumerator.rb
- smoke/expandarray1.rb
- smoke/expandarray2.rb
- smoke/fib.rb
- smoke/flip-flop.rb
- smoke/flow1.rb
- smoke/flow10.rb
- smoke/flow2.rb
- smoke/flow3.rb
- smoke/flow4.rb
- smoke/flow5.rb
- smoke/flow6.rb
- smoke/flow7.rb
- smoke/flow8.rb
- smoke/flow9.rb
- smoke/for.rb
- smoke/freeze.rb
- smoke/function.rb
- smoke/gvar.rb
- smoke/gvar2.rb
- smoke/gvar2.rbs
- smoke/hash-bot.rb
- smoke/hash-fetch.rb
- smoke/hash-merge-bang.rb
- smoke/hash1.rb
- smoke/hash2.rb
- smoke/hash3.rb
- smoke/hash4.rb
- smoke/hash5.rb
- smoke/inheritance.rb
- smoke/inheritance2.rb
- smoke/initialize.rb
- smoke/instance_eval.rb
- smoke/instance_eval2.rb
- smoke/instance_eval3.rb
- smoke/int_times.rb
- smoke/integer.rb
- smoke/ivar.rb
- smoke/ivar2.rb
- smoke/ivar3.rb
- smoke/ivar3.rbs
- smoke/ivar4.rb
- smoke/kernel-class.rb
- smoke/keyword1.rb
- smoke/keyword2.rb
- smoke/keyword3.rb
- smoke/keyword4.rb
- smoke/keyword5.rb
- smoke/kwrest.rb
- smoke/kwrest.rbs
- smoke/kwsplat1.rb
- smoke/kwsplat2.rb
- smoke/lit-complex.rb
- smoke/lit-encoding.rb
- smoke/manual-rbs.rb
- smoke/manual-rbs.rbs
- smoke/manual-rbs2.rb
- smoke/manual-rbs2.rbs
- smoke/manual-rbs3.rb
- smoke/manual-rbs3.rbs
- smoke/masgn1.rb
- smoke/masgn2.rb
- smoke/masgn3.rb
- smoke/method_in_branch.rb
- smoke/method_missing.rb
- smoke/module1.rb
- smoke/module2.rb
- smoke/module3.rb
- smoke/module4.rb
- smoke/module5.rb
- smoke/module6.rb
- smoke/module_function1.rb
- smoke/module_function2.rb
- smoke/multiple-include.rb
- smoke/multiple-superclass.rb
- smoke/next1.rb
- smoke/next2.rb
- smoke/object-send1.rb
- smoke/object-send2.rb
- smoke/object-send3.rb
- smoke/once.rb
- smoke/optional1.rb
- smoke/optional2.rb
- smoke/optional3.rb
- smoke/parameterizedd-self.rb
- smoke/parameterizedd-self2.rb
- smoke/pathname1.rb
- smoke/pathname2.rb
- smoke/pattern-match1.rb
- smoke/pattern-match2.rb
- smoke/prepend1.rb
- smoke/prepend2.rb
- smoke/prepend2.rbs
- smoke/primitive_method.rb
- smoke/printf.rb
- smoke/proc.rb
- smoke/proc2.rb
- smoke/proc3.rb
- smoke/proc4.rb
- smoke/proc5.rb
- smoke/public.rb
- smoke/range.rb
- smoke/rbs-alias.rb
- smoke/rbs-alias.rbs
- smoke/rbs-attr.rb
- smoke/rbs-attr.rbs
- smoke/rbs-attr2.rb
- smoke/rbs-attr2.rbs
- smoke/rbs-extend.rb
- smoke/rbs-extend.rbs
- smoke/rbs-interface.rb
- smoke/rbs-interface.rbs
- smoke/rbs-module.rb
- smoke/rbs-module.rbs
- smoke/rbs-opt-and-rest.rb
- smoke/rbs-opt-and-rest.rbs
- smoke/rbs-proc1.rb
- smoke/rbs-proc1.rbs
- smoke/rbs-proc2.rb
- smoke/rbs-proc2.rbs
- smoke/rbs-proc3.rb
- smoke/rbs-proc3.rbs
- smoke/rbs-record.rb
- smoke/rbs-record.rbs
- smoke/rbs-tyvar.rb
- smoke/rbs-tyvar.rbs
- smoke/rbs-tyvar2.rb
- smoke/rbs-tyvar2.rbs
- smoke/rbs-tyvar3.rb
- smoke/rbs-tyvar3.rbs
- smoke/rbs-tyvar4.rb
- smoke/rbs-tyvar5.rb
- smoke/rbs-tyvar5.rbs
- smoke/rbs-tyvar6.rb
- smoke/rbs-tyvar6.rbs
- smoke/rbs-tyvar7.rb
- smoke/rbs-tyvar7.rbs
- smoke/rbs-vars.rb
- smoke/rbs-vars.rbs
- smoke/redo1.rb
- smoke/redo2.rb
- smoke/req-keyword.rb
- smoke/rescue1.rb
- smoke/rescue2.rb
- smoke/rescue3.rb
- smoke/rescue4.rb
- smoke/respond_to.rb
- smoke/rest-farg.rb
- smoke/rest1.rb
- smoke/rest2.rb
- smoke/rest3.rb
- smoke/rest4.rb
- smoke/rest5.rb
- smoke/rest6.rb
- smoke/retry1.rb
- smoke/return.rb
- smoke/reveal.rb
- smoke/simple.rb
- smoke/singleton_class.rb
- smoke/singleton_method.rb
- smoke/step.rb
- smoke/string-split.rb
- smoke/struct-keyword_init.rb
- smoke/struct.rb
- smoke/struct2.rb
- smoke/struct3.rb
- smoke/struct4.rb
- smoke/struct5.rb
- smoke/struct6.rb
- smoke/struct7.rb
- smoke/stub-keyword.rb
- smoke/super1.rb
- smoke/super2.rb
- smoke/super3.rb
- smoke/super4.rb
- smoke/super5.rb
- smoke/svar1.rb
- smoke/symbol-proc-attr.rb
- smoke/symbol-proc-attr2.rb
- smoke/symbol-proc-bot.rb
- smoke/symbol-proc.rb
- smoke/tap1.rb
- smoke/toplevel.rb
- smoke/two-map.rb
- smoke/type_var.rb
- smoke/typed_method.rb
- smoke/uninitialize-var.rb
- smoke/union-recv.rb
- smoke/user-demo.rb
- smoke/wrong-extend.rb
- smoke/wrong-include.rb
- smoke/wrong-include2.rb
- smoke/wrong-rbs.rb
- smoke/wrong-rbs.rbs
- testbed/ao.rb
- testbed/diff-lcs-entrypoint.rb
- testbed/goodcheck-Gemfile.lock
- tools/coverage.rb
- tools/setup-insns-def.rb
- typeprof.gemspec
homepage: https://github.com/ruby/typeprof
licenses:
- MIT
metadata:
  homepage_uri: https://github.com/ruby/typeprof
  source_code_uri: https://github.com/ruby/typeprof
post_install_message: 
rdoc_options: []
require_paths:
- lib
required_ruby_version: !ruby/object:Gem::Requirement
  requirements:
  - - ">="
    - !ruby/object:Gem::Version
      version: '2.7'
required_rubygems_version: !ruby/object:Gem::Requirement
  requirements:
  - - ">="
    - !ruby/object:Gem::Version
      version: '0'
requirements: []
rubygems_version: 3.1.4
signing_key: 
specification_version: 4
summary: TypeProf is a type analysis tool for Ruby code based on abstract interpretation
test_files: []