如何在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);
    }   
}

FregeProducer：

module FregeProducer where

myZero = 0 

Answer 1

就我所見，你的設置是可以的。 但是，您似乎遇到了Java限制，該限制不允許在命名包中的類中使用未命名包中的類。

我們在這里嘗試在tutorials.Consumer使用類FregeProducer某些東西，這不適用於Java規則。

您需要將模塊名稱指定為tutorials.FregeProducer 。 （這是不夠的，僅僅放置在源文件tutorials目錄。）然后你不變的Java代碼應工作，恕我直言。

當然，您可以在任何所需的包中生成弗雷格類。 為此，您需要將源文件移動到相應的目錄中，然后選擇適當的模塊名稱。 請記住，模塊名稱（ 只有模塊名稱，源文件名和位置）都不能確定已編譯類的完全限定類名：

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