如何在 Eclipse 中从 Java 调用 Frege？

Question

我找不到一个关于这个主题的开箱即用的例子。

我在同一个项目中成功地从 Frege 调用到 Frege，以及从 Java 调用到 Java，但我无法让 .java 文件识别 .fr 文件

我应该遵循哪些步骤才能使以下代码正常工作（在 Consumer.java 中）

我的基本设置如下：

我安装了 eclipse-plugin 并按照说明进行操作。

java version "1.7.0_79"

项目构建者按以下顺序：

Frege builder
Java Builder

项目路径：

* src
      - package tutorials
        -- Consumer.java
        -- FregeProducer.fr

* Referenced Libraries
      - fregec.jar

* JRE System Library
      - ...

消费者：

package tutorials;

public class Consumer {

    public static void main(String[] args) {
        System.out.println("This should be zero: " + FregeProducer.myZero);
    }   
}

弗雷格制片人：

module FregeProducer where

myZero = 0 

Answer 1

据我所知，您的设置没问题。但是，您似乎遇到了 Java 限制，该限制不允许在已命名包中的类中使用未命名包中的类。

我们在这里尝试在tutorials.Consumer 中使用类FregeProducer 中的某些内容，而这不符合Java 规则。

您需要将模块名称指定为tutorials.FregeProducer。 （仅将源文件放在tutorials 目录中不够。）那么您的未更改的 Java 代码应该可以工作，恕我直言。

当然，您可以在任何您想要的包中生成 Frege 类。为此，您需要移动相应目录中的源文件并选择适当的模块名称。请记住，模块名称（和仅模块名称，而不是源文件名和位置）决定了编译类的完全限定类名称：

module Foo where    -- creates class Foo in unnamed Java package
module com.bar.Foo where -- creates class Foo in Java package com.bar