1 |
/* FormatCharacter.java -- Implementation of AttributedCharacterIterator for |
/* FormatCharacter.java -- Implementation of AttributedCharacterIterator for |
2 |
formatters. |
formatters. |
3 |
Copyright (C) 1998, 1999, 2000, 2001, 2003 Free Software Foundation, Inc. |
Copyright (C) 1998, 1999, 2000, 2001, 2003, 2004, 2005 Free Software Foundation, Inc. |
4 |
|
|
5 |
This file is part of GNU Classpath. |
This file is part of GNU Classpath. |
6 |
|
|
494 |
mergeAttributes(new HashMap[] { null, attributes }, new int[] { range_start, range_end }); |
mergeAttributes(new HashMap[] { null, attributes }, new int[] { range_start, range_end }); |
495 |
} |
} |
496 |
|
|
497 |
final private void debug(String s) |
private void debug(String s) |
498 |
{ |
{ |
499 |
if (Configuration.DEBUG) |
if (Configuration.DEBUG) |
500 |
System.out.println(s); |
System.out.println(s); |
501 |
} |
} |
502 |
|
|
503 |
final private void dumpTable() |
private void dumpTable() |
504 |
{ |
{ |
505 |
int start_range = 0; |
int start_range = 0; |
506 |
|
|