java - 如何在 Eclipse 中从 Java 调用 Frege？

Question

我找不到关于此主题的开箱即用示例。

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

我应该遵循什么步骤才能使以下代码正常工作(在 Consumer.java 中)

我的基本设置如下所示:

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

java version "1.7.0_79"

项目 build 者按以下顺序:

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