CODEWITHSUNDEEP
rascal
Richard
Richard

Reputation: 322

Issue with createM3FromEclipseFile

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?

enter image description here

Upvotes: 2

Views: 66

Answers (1)

Tijs van der Storm
Tijs van der Storm

Reputation: 31

I can confirm the behavior of createM3FromEclipseFile of the original question; however createM3FromFile works as expected.

Upvotes: 3

Related Questions