+
+ private int lineNumber(long location) {
+ if(location == Locations.NO_LOCATION)
+ return -1;
+ else {
+ int position = Locations.beginOf(location);
+ int line = moduleWriter.lineLocator.lineNumberFromPosition(position);
+ //System.out.println("location=" + location + ", position=" + position + ", line=" + line);
+ return line + 1;
+ }
+ }