<!-- compiles hyphenation patterns -->
<!-- =================================================================== -->
- <target name="hyphenation" depends="prepare,compile" >
+ <target name="hyphenation" depends="prepare" >
<serHyph includes="*.xml"
sourceDir="./hyph"
targetDir="${build.dest}/hyph" />
datatype = STRING;
break;
case IN_LIST + IN_VALUE:
- list.add(text);
+ list.addElement(text);
datatype = LIST;
break;
case IN_LIST + IN_SUBENTRY + IN_VALUE:
*/
public void rollback(Vector snapshot)
{
- this.marker = ((Integer)snapshot.remove(0)).intValue();
+ this.marker = ((Integer)snapshot.elementAt(0)).intValue();
+ snapshot.removeElementAt(0);
if (this.marker == START)
{
protected int currentUnitLength = 0;
private int currentTokenStartIndex = 0;
- private final String expr;
+ private /*final*/ String expr;
private int exprIndex = 0;
private int exprLength;
private boolean recognizeOperator = false;
else
break;
if ( space ) {
- chars.delete(0,i);
+ //chars.delete(0,i);
+ for ( int countr = i ; countr < chars.length() ; countr++ )
+ chars.setCharAt(countr - i, chars.charAt(countr));
+ chars.setLength(chars.length() - i);
if ( token.length() > 0 ) {
word = token.toString();
token.setLength(0);
break;
}
}
- token.append(chars.substring(0,i));
- chars.delete(0,i);
+ token.append(chars.toString().substring(0,i));
+ //chars.delete(0,i);
+ for ( int countr = i ; countr < chars.length() ; countr++ )
+ chars.setCharAt(countr - i, chars.charAt(countr));
+ chars.setLength(chars.length() - i);
if ( space ) {
word = token.toString();
token.setLength(0);
public void rewind()
{
- ns.clear();
+ ns.removeAllElements();
ks.setLength(0);
cur = root;
run();
public void addFilter(PDFFilter filter)
{
if (filter != null) {
- _filters.add(filter);
+ _filters.addElement(filter);
}
}
}
*/
public byte[] toPDF() {
- throw new UnsupportedOperationException();
+ throw new RuntimeException();
}
filter.setApplied(true);
}
// place the names in our local vector in reverse order
- names.add(0, filter.getName());
- parms.add(0, filter.getDecodeParms());
+ names.insertElementAt(filter.getName(), 0);
+ parms.insertElementAt(filter.getDecodeParms(), 0);
}
// now build up the filter entries for the dictionary