IntelliJ Idea Settings Dialyzer

Source: Internet
Author: User
IntelliJ Idea Settings Dialyzer

(Kyung's Column)

Erlang Development uses the idea IDE to set external tool dialyzer, and then you can directly
Tools->external Tools, Dialyzer calls for code analysis.

The configuration method is:
File | Settings | Tools | External Tools

You need to add a parameter-r-r $ProjectFileDir $/ebin




Output Example:
Dialyzer-r D:\serversix/ebin
Checking whether the PLT C:\dailyzer_plt is up-to-date ... yes
Proceeding with analysis ...
B_pb.erl:81:guard Test Is_list (Records::tuple ()) can never succeed
B_pb.erl:85:guard Test Is_list (Records::tuple ()) can never succeed
B_pb.erl:90:guard Test Is_list (Records::tuple ()) can never succeed

Because the Dialyzer output has a lot of warnings, I'll save the output as Dialyzer_output.txt, add svn,
You only need to see the differences for each analysis and last analysis.

Copyright NOTICE: This article for Bo Master original article, without Bo Master permission not reproduced.

IntelliJ Idea Settings Dialyzer

Contact Us

The content source of this page is from Internet, which doesn't represent Alibaba Cloud's opinion; products and services mentioned on that page don't have any relationship with Alibaba Cloud. If the content of the page makes you feel confusing, please write us an email, we will handle the problem within 5 days after receiving your email.

If you find any instances of plagiarism from the community, please send an email to: info-contact@alibabacloud.com and provide relevant evidence. A staff member will contact you within 5 working days.

A Free Trial That Lets You Build Big!

Start building with 50+ products and up to 12 months usage for Elastic Compute Service

  • Sales Support

    1 on 1 presale consultation

  • After-Sales Support

    24/7 Technical Support 6 Free Tickets per Quarter Faster Response

  • Alibaba Cloud offers highly flexible support services tailored to meet your exact needs.