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);
}
private Expression toNodeOrTrue(JsonML jsonML) {
if (jsonML.getType() == TagType.Empty) {
return new BooleanLiteral(positionFrom(jsonML), true);