Currently very limited and WIP - this automatically extracts some type definitions from a library codebase in a MaD amenable format.

The first query looks at returned values from methods in the codebase and determines if they return an instance of some class that we can find. For instance, in the case of some code like:

class Foo
  def get_bar
    Bar.new
  end

  def get_bar_indirectly
    get_bar
  end
end

class Bar
end

We can determine that the return value from get_bar or get_bar_indirectly may be a Bar instance, giving us typeModel rows of:

The second query looks at cases where we call some method and pass it an instance of some type. e.g. in

class Foo
  def execute_with_database(db, action)
    ...
  end
end
...

db = Some::Database.new
foo = Foo.new

foo.execute_with_database(db, "SELECT name FROM users")

we get:

This is heavily WIP at the moment - many of the limitations are TODOs in the code, but as a quick list of things that are not yet supported or need additional work:

• singleton methods
• non-positional parameters
• parameters to block arguments
• cases where there are multiple potential access paths to a value
• heuristic ways to determine types outside of calls to SomeClass.new
• construction of access paths in general is rough - possibly API graphs can help here