示例#1
0
 /**
  * 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);
 }
示例#2
0
 public static int getEndLine(WPos p) {
   LineOffsets lineOffsets = getLineOffsets(p);
   return lineOffsets.getLine(p.getRightPos()) + 1;
 }
示例#3
0
 public static int getEndColumn(WPos p) {
   LineOffsets lineOffsets = getLineOffsets(p);
   return p.getRightPos() - lineOffsets.get(p.getEndLine() - 1);
 }
示例#4
0
 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();
 }
示例#5
0
 private static boolean equal(WPos a, WPos b) {
   return a.getLeftPos() == b.getLeftPos() && a.getRightPos() == b.getRightPos();
 }