线程"main"异常 语法错误：找不到此模块。Java 合金程序未编译

Question

我写了一个Java程序，可以执行一个合金(.als(文件。当我使用命令行时，该程序运行良好，但是当我尝试使用NetBeans运行它时，会显示此错误：

Exception in thread "main" Syntax error:
This module cannot be found.
It is not a built-in library module, and it cannot be found at "C:Usersbrinto dibyenduDocumentsNetBeansProjectsAlloyutilinteger.als".

我能做什么？

Answer 1

Alloy 是使用 Eclipse 中运行的 Bndtools 构建和开发的。尝试在 Netbeans 中运行它只会产生大量问题，您可以通过采用默认路由来避免这些问题。

在 Eclipse 中，所有设置为立即调试主应用程序的设置都已完成。它实际上确保解析以内联方式处理，而不是在另一个进程中处理，因此它们更易于调试。然后只需调试它。搜索"内置库模块"，看看那里发生了什么。

更好的是，在 Eclipse 中，即使是对 Java 源代码所做的最微小的更改也会立即反映在运行时中。

Answer 2

我发现解决此问题的最快方法是复制文件系统中实用程序的 .als 文件。

假设模型 (.als( 文件位于文件夹C:Usersbrinto dibyenduDocumentsNetBeansProjectsAlloy中，则需要在该文件夹中创建一个util子目录，并将整数实用程序模型 (integer.als( 的源复制到该子目录中。

您可以在此处获取实用新型文件。