[erlang-questions] Dialyzer's PLT format
Thu Mar 25 16:17:09 CET 2010
Guy Wiener wrote:
> Hello everyone,
> I want to re-use the Dialyzer's PLT files for some tools I'm developing,
> similarly to what the Typer does. I tried to look it up, but the format of
> the PLT file is not in the documents.
> How can one re-use a PLT file? Is it a Mnesia DB, or something similar? Is
> the format or schema documented somewhere?
No, the format of the PLT file is not documented anywhere.
On the other hand, file lib/dialyzer/src/dialyzer_plt.erl most probably
contains most of what there is to know about it and includes some
functions to manipulate it.
More information about the erlang-questions