Пример #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 WPos getErrorPos(FuncDef e) {
   WPos pos = e.getSource();
   return pos.withRightPos(pos.getLeftPos() + ("function " + e.getName()).length());
 }
Пример #3
0
 public static WPos getErrorPos(WPackage e) {
   WPos pos = e.getSource();
   return pos.withRightPos(pos.getLeftPos() + ("package " + e.getName()).length());
 }
Пример #4
0
 public static int getLine(WPos p) {
   LineOffsets lineOffsets = getLineOffsets(p);
   return lineOffsets.getLine(p.getLeftPos()) + 1;
 }
Пример #5
0
 public static int getColumn(WPos p) {
   LineOffsets lineOffsets = getLineOffsets(p);
   return p.getLeftPos() - lineOffsets.get(p.getLine() - 1);
 }
Пример #6
0
 public static WPos getErrorPos(OnDestroyDef e) {
   WPos pos = e.getSource();
   return pos.withRightPos(pos.getLeftPos() + ("ondestroy").length());
 }
Пример #7
0
 public static WPos getErrorPos(StructureDef e) {
   WPos pos = e.getSource();
   return pos.withRightPos(pos.getLeftPos() + 5 + e.getName().length());
 }
Пример #8
0
 public static WPos getErrorPos(InitBlock e) {
   WPos pos = e.getSource();
   return pos.withRightPos(pos.getLeftPos() + ("init").length());
 }
Пример #9
0
 public static WPos getErrorPos(ConstructorDef e) {
   WPos pos = e.getSource();
   return pos.withRightPos(pos.getLeftPos() + ("construct").length());
 }
Пример #10
0
 public static WPos getErrorPos(ClassDef e) {
   WPos pos = e.getSource();
   return pos.withRightPos(pos.getLeftPos() + ("class " + e.getName()).length());
 }
Пример #11
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();
 }
Пример #12
0
 private static boolean equal(WPos a, WPos b) {
   return a.getLeftPos() == b.getLeftPos() && a.getRightPos() == b.getRightPos();
 }