[erlang-questions] Dialyzer's PLT format

Kostis Sagonas <>
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.

Kostis


More information about the erlang-questions mailing list