FileDocCategorySizeDatePackage
SourceWriter.javaAPI DocExample904Wed Feb 15 05:52:50 GMT 2006com.elharo.io

SourceWriter

public class SourceWriter extends FilterWriter

Fields Summary
Constructors Summary
public SourceWriter(Writer out)

    super(out);
Methods Summary
public voidwrite(char[] text, int offset, int length)

    
    for (int i = offset; i < offset+length; i++) {
      this.write(text[i]);
    }
public voidwrite(java.lang.String s, int offset, int length)

    
    for (int i = offset; i < offset+length; i++) {
      this.write(s.charAt(i));
    }
public voidwrite(int c)

    
    // We have to escape the backslashes below.
    if (c == '\\") out.write("\\u005C");
    else if (c < 128) out.write(c);
    else {
      String s = Integer.toHexString(c);
      // Pad with leading zeroes if necessary.
      if (c < 256) s = "00" + s;
      else if (c < 4096) s = "0" + s;
      out.write("\\u");
      out.write(s);
    }