public static int getNextSourceLine(LineNumberTable lineNumbers, int sourceLine) {
    int result = Integer.MAX_VALUE;
    for (LineNumber ln : lineNumbers.getLineNumberTable()) {

      int thisLine = ln.getLineNumber();
      if (sourceLine < thisLine && thisLine < result) result = thisLine;
    }
    return result;
  }
예제 #2
0
 /*  12:    */
 /*  13:    */ public LineNumberTable(LineNumberTable c) /*  14:    */ {
   /*  15: 79 */ this(
       c.getNameIndex(), c.getLength(), c.getLineNumberTable(), c.getConstantPool());
   /*  16:    */ }