我认为我在这里犯了一个简单的错误，但我无法让Frege找到本地Eclipse项目之外的任何类。
我有一个非常平凡的Java项目（不是我的），我不想修改。我希望有一个新的干净的Frege启用项目，它利用了原始项目中的类。
我尝试将原始项目标记为我的Frege项目的依赖项，并尝试将原始项目打包到JAR中，并将JAR列为Frege项目的外部依赖项。在这两种情况下，Frege项目中的Java文件都可以访问这些类，但是Frege编译器说＆＃34; class org.foo.bar.Class不是已知的Java类＆＃34;。这似乎是一个错误，但我不相信我没有错过一个简单的配置步骤。
我没有尝试在项目配置中设置参数，因为我不知道要设置什么。
我很快发现我可以在Frege项目中创建一个新的Java文件，其中包含我需要的任何类的空白子类，并在Frege文件中使用它。我已经成功编译并运行了这样一个简单的程序。该程序只是创建一个新对象，获取一个字段，并打印正确的值，所以我相信我的Frege已安装并正常工作。
更多信息：
答案 0 :(得分：2)
将您的库列在构建路径和“Referenced Libraries”下是足够的。您最近的评论表明编译器确实找到了相关的类。
但是，如果您有一个打开的编辑器选项卡，它将不会注意到已更改的依赖项。此外，特别是在最近的eclipse版本中，我观察到有时无法正确清除已解析的错误标记。
请关闭显示错误错误的编辑器标签，然后重新打开。