666 |
} |
} |
667 |
catch (BadLocationException ex) |
catch (BadLocationException ex) |
668 |
{ |
{ |
669 |
throw new AssertionError("BadLocationException must not be thrown " |
AssertionError ae; |
670 |
+ "here"); |
ae = new AssertionError("BadLocationException must not be thrown " |
671 |
|
+ "here"); |
672 |
|
ae.initCause(ex); |
673 |
|
throw ae; |
674 |
} |
} |
675 |
FontMetrics fm = null; // Fetch font metrics somewhere. |
FontMetrics fm = null; // Fetch font metrics somewhere. |
676 |
return Utilities.getTabbedTextWidth(seg, fm, 0, null, p0); |
return Utilities.getTabbedTextWidth(seg, fm, 0, null, p0); |
717 |
} |
} |
718 |
catch (BadLocationException ex) |
catch (BadLocationException ex) |
719 |
{ |
{ |
720 |
throw new AssertionError("BadLocationException should not be " |
AssertionError ae; |
721 |
+ "thrown here. p0 = " + p0 + ", p1 = " + p1); |
ae = new AssertionError("BadLocationException should not be " |
722 |
|
+ "thrown here. p0 = " + p0 + ", p1 = " + p1); |
723 |
|
ae.initCause(ex); |
724 |
|
throw ae; |
725 |
} |
} |
726 |
|
|
727 |
return txt; |
return txt; |