IntelliJ Idea 设置 Dialyzer

(金庆的专栏)

Erlang开发使用IDEA IDE可以设置外部工具Dialyzer, 然后就可以直接
Tools->External Tools -> dialyzer 调用进行代码分析。

配置方法为:
File | Settings | Tools | External Tools

需要添加参数 -r -r $ProjectFileDir$/ebin

输出示例:
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

因为dialyzer输出有许多警告,我会将输出存为 dialyzer_output.txt, 加入SVN,
每次分析与上次分析仅需查看差异。

版权声明:本文为博主原创文章,未经博主允许不得转载。

时间: 2024-10-18 12:24:30

IntelliJ Idea 设置 Dialyzer的相关文章

IntelliJ Idea设置默认换行符

IntelliJ换行CRLF, LF, CR的解释和默认设置 在window下开发有一个大坑,就是换行默认是CRLF,也就是回车换行,但是Linux下只有换行LF,这样代码提交后,会出现编译问题,所以最好的办法是在IntelliJ下设置默认为LF.首先我们先介绍CRLF,LF和CR这三种东西,CR是MAC老版本的做法,就是回车,但是后来的MAC系统统一换成LF了,LF是Linux下的做法,就是换行,这个做法比较自然,为什么要回车换行呢,是吧.微软采用的是CRLF,看上去好像是兼容了CR和LF,但

“全栈2019”Java第八章:IntelliJ IDEA设置注释不显示在行首

难度 初级 学习时间 10分钟 适合人群 零基础 开发语言 Java 开发环境 JDK v11 IntelliJ IDEA v2018.3 文章原文链接 "全栈2019"Java第八章:IntelliJ IDEA设置注释不显示在行首 下一章 "全栈2019"Java第九章:解释第一个程序 学习小组 加入同步学习小组,共同交流与进步. 方式一:关注头条号Gorhaf,私信"Java学习小组". 方式二:关注公众号Gorhaf,回复"Jav

IntelliJ IDEA设置项目和properties文件编码为UTF-8

https://blog.csdn.net/u012430402/article/de IntelliJ IDEA设置项目和properties文件编码为UTF-8 tails/79633245 原文地址:https://www.cnblogs.com/zhf123/p/11761562.html

[Intellij] 软件设置和常用快捷键

理解Project 和 Module 一个 Project 是由一个或多个 Module 组成,模块之间尽量是处在同一个项目业务的的情况下,彼此之间互相依赖关联.如: Project : spring-framework Module:spring-core.spring-jdbc.spring-jms.spring-orm.spring-web.spring-webmvc 等 软件设置 http://www.phperz.com/article/15/0923/159043.html 要点:

IntelliJ IDEA 设置代码提示或自动补全的快捷键 (附IntelliJ IDEA常用快捷键)

修改方法如下: 点击 文件菜单(File) –> 点击 设置(Settings- Ctrl+Alt+S), –> 打开设置对话框. 在左侧的导航框中点击 KeyMap. 接着在右边的树型框中选择 Main menu –> Code –> Completion. 接着需要做两件事: 1. 移除原来的Cycle Expand Word 的 Alt+/ 快捷键绑定. 2. 在 Basic 上点击右键,去除原来的 Ctrl+空格 绑定,然后添加 Alt+/ 快捷键. 然后应用(Apply)

Intellij IDEA设置忽略部分类编译错误

有些时候我们的项目中有些错误,但这些错误并不影响项目的整体运行(或许是没有使用到),默认情况下idea是无法通过编译的,因此也就无法部署运行,要达到正确运行项目的目的需要作一些设置才行. 设置Intellij IDEA忽略部分类编译错误 设置很简单,只需要两步即可. 1.设置Java编译器 如上图所示,Ctrl+Alt+S快捷键打开"Settings"对话框,找到设置中的"Java Compiler"设置,将"User compiler"设置由&

Intellij如何设置编译后自动重新加载class文件?

前段时间突然发现Intellij不能自动重新加载类了,每次编译后都要重新启动项目,才能显示更新效果,后来网上查询Intellij下如何配置热部署,都说是要配置构件,然后在web容器的编辑页面选择update resources and classes什么的,尝试后发现每次类是重新加载了,但是项目会自动重启一下,没解决我的问题. 后来自己在Intellij的项目配置界面捣鼓,终于找到了方法,就是在Debugger配置节点下的HotSwap节点中找到 Reload classes after com

IntelliJ IDEA 设置

代码提示或自动补全快捷键 Idea的默认快捷键是 Ctrl + 空格,然后如果我们的输入法也是Ctrl + 空格,那么就杯具了 修改方法如下: 点击 文件菜单(File) –> 点击 设置(Settings- Ctrl+Alt+S), –> 打开设置对话框. 在左侧的导航框中点击 KeyMap 第一步:移除原来的Cycle Expand Word 的 Alt+斜杠 快捷键绑定 第二部:在 Basic 上点击右键,去除原来的 Ctrl+空格 绑定,然后添加 Alt + 斜杠 快捷键 然后Appl

Intellij IDEA设置注释作者名字

方法一:File >> Settings >> Editor >>Code Style >> File and Code Templates>>Includes >> File Header 把 ${USER} 修改为自己的名字 注意:如果不存在就自己输入如图的注释. 方法二:找到IDEA的安装目录,比如 C:\Program Files\JetBrains\IntelliJ IDEA 2017.2.3\bin 用文本编辑器打开ide