这是名为 Dialyxir 的 Linux 应用，其最新版本可下载为 1.4.6sourcecode.tar.gz。它可在免费的工作站托管服务提供商 OnWorks 上在线运行。
使用 OnWorks 免费下载并在线运行这个名为 Dialyxir 的应用程序。
请按照以下说明运行此应用程序：
- 1. 在您的 PC 中下载此应用程序。
- 2. 在我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX 中输入您想要的用户名。
- 3. 在这样的文件管理器中上传这个应用程序。
- 4. 从此网站启动OnWorks Linux online 或Windows online emulator 或MACOS online emulator。
- 5. 从您刚刚启动的 OnWorks Linux 操作系统，使用您想要的用户名转到我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX。
- 6. 下载应用程序，安装并运行。
SCREENSHOTS
Ad
透析液
商品描述
混合任务以简化 Dialyzer 在 Elixir 项目中的使用。 需要 Elixir 1.6，以支持新的漂亮打印功能。 如果你的项目还没有在 1.6 上，继续在你的 mix deps 中指定 0.5。 警告消息已得到极大改进，但通过旧版格式化程序进行过滤以支持您现有的忽略文件。 您可以选择使用新的 Elixir 术语格式来忽略文件。 您可能希望在 CI 管道中使用 --format short 参数。 有多种格式，还有一个新的解释功能 - 有关详细信息，请参阅 CLI 选项。 如果您计划将 Dialyzer 与使用 Phoenix Framework 构建的应用程序一起使用，请查看 Quickstart wiki。 从您要分析的混合项目的目录中使用 dialyxir； 如果需要，将创建或更新 PLT 文件，并自动编译项目。
功能
- Dialyzer 是 Erlang 和其他语言的静态分析工具，可以编译为 Erlang VM 的 BEAM 字节码
- 它可以分析 BEAM 文件并提供有关代码中问题（包括类型不匹配）的警告
- 可以通过包含类型提示（称为规范）来改进分析
- 默认情况下，OTP 应用程序依赖项（可传递地）添加到您的 PLT
- 警告类别的解释可用
- Dialyzer 支持许多警告标志，用于启用或禁用某些类型的分析功能
程式语言
酏
分类
这是一个也可以从 https://sourceforge.net/projects/dialyxir.mirror/ 获取的应用程序。 它已托管在 OnWorks 中，以便以最简单的方式从我们的免费操作系统之一在线运行。
