javapathfinder-devel

[Michal K. <mic...@gm...>]

Hi,

I encountered NPE in the Instruction class when calling 
ChoiceGenerator.getInsn().getSourceLine() and when source is not found on the 
line: Source src = Source.getSource(file);

Fix should be easy:

       Source src = Source.getSource(file);
       if (src != null) {
         String srcLine = src.getLine(line);
         if (srcLine != null) {
           return srcLine;
         }
       }
       return "(" + file + ":" + line + ")";

Michal Kebrt