public Collection<GeneratedLocation> getGeneratedLocations(String fileName, int line) {
Integer fileIndex = fileNameMap.get(fileName);
if (fileIndex == null) {
return Collections.emptyList();
}
RecordArray description = fileIndex >= 0 ? fileDescriptions[fileIndex] : null;
if (description == null) {
return Collections.emptyList();
}
if (line >= description.size()) {
return Collections.emptyList();
}
int[] data = description.get(line).getArray(0);
GeneratedLocation[] resultArray = new GeneratedLocation[data.length / 2];
for (int i = 0; i < resultArray.length; ++i) {
int genLine = data[i * 2];
int genColumn = data[i * 2 + 1];
resultArray[i] = new GeneratedLocation(genLine, genColumn);