rascal - createM3FromEclipseFile 的问题

Question

我正在使用一种简单的方法来读取位置并执行一些操作；

public void readMyFile(loc file) {
 M3 model = createM3FromEclipseFile(file); 
 println(model);
 // do some stuff;
}

该方法读取特定位置文件失败；

|plugin://rascal_eclipse/src/org/rascalmpl/eclipse/library/lang/java/jdt/m3/Core.rsc|(1019,261,<33,0>,<38,77>): IO("Could not find|project://hsqldb/doc/verbatim/src/org/hsqldb/server/WebServer.java|")

但是，此文件存在于我的磁盘上。hsqldb 项目或我使用过的其他项目中的所有其他位置都可以正常工作。只有这个特定的文件会引发异常。

我还可以使用 createM3FromEclipseProject 来读取项目中的所有文件。这对 hsqldb 项目没有任何问题。但是，在我的工作流程中，我更喜欢通过 createM3FromEclipseFile 读取单个文件。关于它读取单个文件的信息，createM3FromEclipseFile 和 createM3FromEclipseProject 之间是否有区别？

标签： rascal

Answer 1

我可以确认createM3FromEclipseFile原始问题的行为；但是createM3FromFile按预期工作。