/**
* makes a best effort to get a precise position for this element
*
* @param e
* @return
*/
public static WPos getPos(AstElement e) {
if (e instanceof AstElementWithSource) {
AstElementWithSource ws = (AstElementWithSource) e;
return ws.getSource();
}
if (e.size() > 0) { // try to find the position by examining the childs
int min = Integer.MAX_VALUE;
int max = Integer.MIN_VALUE;
for (int i = 0; i < e.size(); i++) {
AstElement child = e.get(i);
WPos childSource = child.attrSource();
min = Math.min(min, childSource.getLeftPos());
max = Math.max(max, childSource.getRightPos());
}
return new WPos(
e.get(0).attrSource().getFile(), e.get(0).attrSource().getLineOffsets(), min, max);
}
// if no childs exist, search a parent element with a explicit position
AstElement parent = e.getParent();
while (parent != null) {
if (parent instanceof AstElementWithSource) {
WPos parentSource = ((AstElementWithSource) parent).getSource();
// use parent position but with size -1, so we do not go into this
return new WPos(
parentSource.getFile(),
parentSource.getLineOffsets(),
parentSource.getLeftPos(),
parentSource.getLeftPos() - 1);
}
parent = parent.getParent();
}
return new WPos("<source of " + e + " not found>", new LineOffsets(), 0, 0);
}
public static int getEndLine(WPos p) {
LineOffsets lineOffsets = getLineOffsets(p);
return lineOffsets.getLine(p.getRightPos()) + 1;
}
public static int getEndColumn(WPos p) {
LineOffsets lineOffsets = getLineOffsets(p);
return p.getRightPos() - lineOffsets.get(p.getEndLine() - 1);
}
private static boolean bigger(WPos a, WPos b) {
return a.getLeftPos() <= b.getLeftPos() && a.getRightPos() > b.getRightPos()
|| a.getLeftPos() < b.getLeftPos() && a.getRightPos() >= b.getRightPos();
}
private static boolean equal(WPos a, WPos b) {
return a.getLeftPos() == b.getLeftPos() && a.getRightPos() == b.getRightPos();
}