TypeProf

TypeProf is a Ruby interpreter that abstractly executes Ruby programs at the type level. It executes a given program and observes what types are passed to and returned from methods and what types are assigned to instance variables. All values are, in principle, abstracted to the class to which the object belongs, not the object itself (detailed in the next section).

Here is a list of currently available options:

• -o OUTFILE: Write the analyze result to OUTFILE instead of standard output
• -q: Hide the progress indicator
• -v: Alias to -fshow-errors
• -d: Show the analysis log (Currently, the log is just for debugging and may become very huge)
• -I DIR: Add DIR to the file search path of require
• -r GEMNAME: Load the RBS files of GEMNAME
• --exclude-dir DIR: Omit the result of files that are placed under the directory DIR. If there are some directory specifications, the latter one is stronger. (Assuming that --include-dir foo --exclude-dir foo/bar is specified, the analysis result of foo/bar/baz.rb is omitted, but foo/baz.rb is shown.)
• --include-dir DIR: Show the result of files that are placed under the directory DIR. If there are some directory specifications, the latter one is stronger. (Assuming that --exclude-dir foo --include-dir foo/bar is specified, the analysis result of foo/bar/baz.rb is shown, but foo/baz.rb is omitted.)
• --show-errors: Prints out possible bugs found during execution (often a lot of false positives).
• --show-untyped: When TypeProf infers a type A | untyped, it simply outputs A by default. But this option forces to output A | untyped.
• --type-depth-limit=NUM: (undocumented yet)