createM3FromEclipseFile 的问题

如何解决createM3FromEclipseFile 的问题

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

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 在读取单个文件的信息方面有区别吗？

解决方法

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