soot.util.EscapedWriter Maven / Gradle / Ivy

package soot.util;

/*-
 * #%L
 * Soot - a J*va Optimization Framework
 * %%
 * Copyright (C) 1997 - 1999 Raja Vallee-Rai
 * %%
 * This program 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 program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Lesser Public License for more details.
 * 
 * You should have received a copy of the GNU General Lesser Public
 * License along with this program.  If not, see
 * .
 * #L%
 */

import java.io.FilterWriter;
import java.io.IOException;
import java.io.Writer;

/**
 * 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 = lineSeparator.charAt(0);
  private final int lf = (lineSeparator.length() == 2) ? lineSeparator.charAt(1) : -1;

  /** Constructs an EscapedWriter around the given Writer. */
  public EscapedWriter(Writer fos) {
    super(fos);
  }

  private final StringBuffer mini = new StringBuffer();

  /** Print a single character (unsupported). */
  public void print(int ch) throws IOException {
    write(ch);
    throw new RuntimeException();
  }

  /** Write a segment of the given String. */
  public void write(String s, int off, int len) throws IOException {
    for (int i = off; i < off + len; i++) {
      write(s.charAt(i));
    }
  }

  /** Write a single character. */
  public void write(int ch) throws IOException {
    if (ch >= 32 && ch <= 126 || ch == cr || ch == lf || ch == ' ') {
      super.write(ch);
      return;
    }

    mini.setLength(0);
    mini.append(Integer.toHexString(ch));

    while (mini.length() < 4) {
      mini.insert(0, "0");
    }

    mini.insert(0, "\\u");
    for (int i = 0; i < mini.length(); i++) {
      super.write(mini.charAt(i));
    }
  }
}