我能告诉Dialyzer忽略一些模块吗？
我能告诉Dialyzer忽略一些模块吗？
提问于 2014-01-20 16:35:23
我正在建造一个PLT
dialyzer --output_plt lib.plt --build_plt --apps stdlib kernel mnesia ssl public_key crypto erts asn1 inets sasl odbc它在我不关心的模块中列举了一些关于未知函数的错误。例如：
Compiling some key modules to native code... done in 1m10.81s
Creating PLT lib.plt ...
Unknown functions:
compile:file/2
compile:forms/2
compile:noenv_forms/2我能告诉透析员忽略这些吗？我真的应该关心他们吗？
回答 3
Stack Overflow用户
回答已采纳
发布于 2015-07-20 23:18:59
作为对这个问题的后续，我一直在使用rebar3，它的rebar3 dialyzer命令对我来说是正确的。(也就是说，它显示由我的代码引起的所有警告，而不显示不是由我的代码引起的警告。)我认为它的工作方式是为系统模块构建一个PLT，然后在针对该项目运行透析器时使用它作为输入。
Stack Overflow用户
发布于 2017-06-14 12:49:59
若要忽略不想分析的特定函数的警告，可以将其添加到模块中：
-dialyzer({nowarn_function, f/0}).或者这样做，以避免模块中的特定警告：
-dialyzer(no_improper_lists).详细信息：http://erlang.org/doc/man/dialyzer.html#suppression
Stack Overflow用户
发布于 2014-01-20 16:58:20
你不需要在意那些警告。这只是意味着透析器将无法检查调用这些函数的参数类型，因此它可能找不到一些差异，如果这些功能包括在PLT中。
要进行更完整的分析，请将compiler添加到正在构建到PLT中的应用程序列表中。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/21239331
复制相关文章
相似问题
腾讯云开发者
