31 |
public class Enfilade1DImpl implements Enfilade1D { |
public class Enfilade1DImpl implements Enfilade1D { |
32 |
static public final String rcsid = "$Id$"; |
static public final String rcsid = "$Id$"; |
33 |
|
|
34 |
|
/** The char used to represent non-textual spans. |
35 |
|
*/ |
36 |
|
char NON_TEXT_SPAN_CHAR = '?'; |
37 |
|
|
38 |
/** An empty enfilade. |
/** An empty enfilade. |
39 |
*/ |
*/ |
40 |
private static Enfilade1DImpl empty = new Enfilade1DImpl(null, null, null); |
private static Enfilade1DImpl empty = new Enfilade1DImpl(null, null, null); |
237 |
chars[offset + leftl + i] = s.charAt(i); |
chars[offset + leftl + i] = s.charAt(i); |
238 |
} else { |
} else { |
239 |
for(int i=0; i<midl; i++) |
for(int i=0; i<midl; i++) |
240 |
chars[offset + leftl + i] = ' '; |
chars[offset + leftl + i] = NON_TEXT_SPAN_CHAR; |
241 |
} |
} |
242 |
} |
} |
243 |
if(right != null) { |
if(right != null) { |