}
return null;
}
private FilePosition positionFrom(JsonML jsonML) {
SourceBreaks breaks = breaksPerFile.get(jsonML.getAttribute(TagAttr.SOURCE));
if (breaks == null) { return FilePosition.UNKNOWN; }
int pos = (Integer) jsonML.getAttribute(TagAttr.OPAQUE_POSITION);
int start = pos >>> 16;
return breaks.toFilePosition(start, (pos & 0xfff) + start);
}