Searched refs:getHighestLineNumber (Results 1 – 4 of 4) sorted by relevance
108 public int getHighestLineNumber() in getHighestLineNumber() method in LineNumberTableAttribute
155 high = lineNumberTableAttribute.getHighestLineNumber(); in visitLineNumberTableAttribute()
166 lineNumberTableAttribute.getHighestLineNumber() + ":"); in visitLineNumberTableAttribute()
196 lineNumberTableAttribute.getHighestLineNumber() + ")"); in visitLineNumberTableAttribute()