搜索 - 腾讯云开发者社区-腾讯云

开发者社区

文档建议反馈控制台

学习

活动

专区

圈层

工具

文章/答案/技术大牛

发布

文章
问答
视频
开发者手册 (8)
清单
用户
专栏
沙龙

8 条“dialyzer” 相关内容

Erlang透析器 | dialyzer透析器 | dialyzer
透析器 | dialyzer
Dialyzer基于成功典型的概念进行分析，这种概念允许发出合理的警告（没有误报）。使用指挥线的透析器 Dialyzer有一个用于自动化使用的命令行版本。本节提供了有关选项的简要说明。
Erlang透析器 | dialyzer1.透析器 | 1. Dialyzer
Dialyzer
以下命令为Erlang/OTP构建推荐的最小PLT： dialyzer--build_plt--appsertskernelstdlibmnesia 透析器会查看是否有环境变量调用DIALYZER_PLT
Erlang核心 | kernelerror_handler
error_handler
此外，静态代码分析工具（如Dialyzer和Xref）'$handle_undefined_function'/2都不支持使用，也不会添加这种支持。仔细考虑其他危险较小的解决方案后，才能使用此功能。
Elixir模块 | Module模块 | Module
模块 | Module
defsum(a,b)doa+bendend @dialyzer 定义警告以在使用:dialyzer支持模块属性的版本时请求或取消警告。接受原子、元组或原子和元组的列表。
Erlangstdliberl_anno
erl_anno
被Dialyzer将类型分配给元组元素。功能column()，end_location()，line()，location()，和text()中erl_scan模块能够用于在令牌检查注释。
Erlang指南：系统原则 | Guide: System principles5.版本 | 5. Versions
5.版本 | 5. Versions
cosNotification-1.1.21 cosProperty-1.1.17 cosTime-1.1.14 cosTransactions-1.2.14 crypto-3.3 debugger-4.0 dialyzer
Erlang指南：参考手册 | Guide: Reference manual7.类型和功能规格 | 7. Types and Function Specifications
7.类型和功能规格 | 7. Types and Function Specifications
类型信息可用于以下方面：记录函数接口提供更多有关错误检测工具的信息，如Dialyzer 可被文档工具(如edoc)利用，以生成各种形式的程序文档。
ErlangERTS/erlangerlang
erlang
erlang：nif_error（原因）->no_return（）类型如error/1，但Dialyzer认为这个BIF将返回一个任意的术语。

社区
活动
圈层
关于

腾讯云开发者

扫码关注腾讯云开发者

扫码关注腾讯云开发者

领取腾讯云代金券

热门产品

域名注册
云服务器
区块链服务
消息队列
网络加速
云数据库
域名解析
云存储
视频直播

热门推荐

人脸识别
腾讯会议
企业云
CDN加速
视频通话
图像分析
MySQL 数据库
SSL 证书
语音识别

更多推荐

数据安全
负载均衡
短信
文字识别
云点播
大数据
小程序开发
网站监控
数据迁移

Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云版权所有

深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 粤公网安备44030502008569号

腾讯云计算（北京）有限责任公司京ICP证150476号 | 京ICP备11018762号

领券