Start line:  
End line:  

Snippet Preview

Snippet HTML Code

Stack Overflow Questions
 /* Soot - a J*va Optimization Framework
  * Copyright (C) 1997-1999 Raja Vallee-Rai
  * This library is free software; you can redistribute it and/or
  * modify it under the terms of the GNU Lesser General Public
  * License as published by the Free Software Foundation; either
  * version 2.1 of the License, or (at your option) any later version.
  * This library is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * Lesser General Public License for more details.
 * You should have received a copy of the GNU Lesser General Public
 * License along with this library; if not, write to the
 * Free Software Foundation, Inc., 59 Temple Place - Suite 330,
 * Boston, MA 02111-1307, USA.
 * Modified by the Sable Research Group and others 1997-1999.  
 * See the 'credits' file distributed with Soot for the complete list of
 * contributors.  (Soot is distributed at
package soot.util;

A FilterWriter which catches to-be-escaped characters (\\unnnn) in the input and substitutes their escaped representation. Used for Soot output.
public class EscapedWriter extends FilterWriter
Convenience field containing the system's line separator.
    public final String lineSeparator = System.getProperty("line.separator");
    private final int cr = .charAt(0);
    private final int lf = (.length() == 2) ? .charAt(1) : -1;

Constructs an EscapedWriter around the given Writer.
    public EscapedWriter(Writer fos)
    private final StringBuffer mini = new StringBuffer();

Print a single character (unsupported).
    public void print(int chthrows IOException
        throw new RuntimeException();
Write a segment of the given String.
    public void write(String sint offint lenthrows IOException
        for(int i = offi < off + leni++)
Write a single character.
    public void write(int chthrows IOException
        if (ch >= 32 && ch <= 126 || ch ==  || ch ==  || ch == ' ')
            { super.write(ch); return; }
        while (.length() < 4)
            .insert(0, "0");
        .insert(0, "\\u");
        for (int i = 0; i < .length(); i++)
New to GrepCode? Check out our FAQ X