在哪里可以获得Rascal REPL的Java分析库

在哪里可以获得Rascal REPL的Java分析库,java,read-eval-print-loop,rascal,Java,Read Eval Print Loop,Rascal,我已经使用Eclipse开发了一个Rascal程序,但是我希望能够在REPL中运行它。当我尝试导入一些必需的库时,会出现如下错误: |prompt:///|(0,33,<1,0>,<1,33>): Could not import module lang::java::jdt::m3::Core: File rascal://lang::java::jdt::m3::Core not found. |提示符:///|(0,33,,):无法导入模块lang::java::

我已经使用Eclipse开发了一个Rascal程序,但是我希望能够在REPL中运行它。当我尝试导入一些必需的库时,会出现如下错误:

|prompt:///|(0,33,<1,0>,<1,33>): Could not import module lang::java::jdt::m3::Core: File rascal://lang::java::jdt::m3::Core not found.
|提示符:///|(0,33,,):无法导入模块lang::java::jdt::m3::Core:文件rascal://lang::java::jdt::m3::Core 没有找到。

Rascal网站表明默认情况下不包括这些库,但我无法确定从何处获取它们以及如何使用它们。有没有办法让Java分析库在Rascal REPL中工作?

如果您查看eclipse中Rascal项目的内部,有两个库文件夹,
Rascal
Rascal eclipse
,只有第一个文件夹中的库在eclipse之外工作

对于m3,有一个非eclipse版本,但您必须将框架指向正确的jar和源文件夹,这通常由eclipse处理。看看
lang::java::m3::Core