I'm using a simple method that reads a location and does some stuff;
public void readMyFile(loc file) {
M3 model = createM3FromEclipseFile(file);
println(model);
// do some stuff;
}
The method fails to read a specific location file;
|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|")
However, this file is present on my disk. All other locations from the hsqldb project or other projects I've used it with, work without any issue. Only this specific file throws an exception.
I can also use createM3FromEclipseProject to read all files in a project. This works without any issues for the hsqldb project. However, in my workflow I prefer to read an individual file via createM3FromEclipseFile. Is there a difference between createM3FromEclipseFile and createM3FromEclipseProject concerning the info it reads of an individual file?
hsqldb % test -f doc/verbatim/src/org/hsqldb/server/WebServer.java; echo $?
0
As a small note; the output of 0, means true in bash.
rascal>import IO;
ok
rascal>exists(|project://hsqldb/doc/verbatim/src/org/hsqldb/server/WebServer.java|)
bool: true
rascal>
– Richard Jan 12 '21 at 18:55