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;
}
/* 12: */
/* 13: */ public LineNumberTable(LineNumberTable c) /* 14: */ {
/* 15: 79 */ this(
c.getNameIndex(), c.getLength(), c.getLineNumberTable(), c.getConstantPool());
/* 16: */ }