preformattedtext.java

来自「RESIN 3.2 最新源码」· Java 代码 · 共 119 行

/*
 * Copyright (c) 1998-2000 Caucho Technology -- all rights reserved
 *
 * This file is part of Resin(R) Open Source
 *
 * Each copy or derived work must preserve the copyright notice and this
 * notice unmodified.
 *
 * Resin Open Source is free software; you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation; either version 2 of the License, or
 * (at your option) any later version.
 *
 * Resin Open Source 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, or any warranty
 * of NON-INFRINGEMENT.  See the GNU General Public License for more
 * details.
 *
 * You should have received a copy of the GNU General Public License
 * along with Resin Open Source; if not, write to the
 *
 *   Free Software Foundation, Inc.
 *   59 Temple Place, Suite 330
 *   Boston, MA 02111-1307  USA
 *
 * @author Emil Ong
 */

package com.caucho.xtpdoc;

import javax.xml.stream.XMLStreamException;
import javax.xml.stream.XMLStreamWriter;
import java.io.FilterWriter;
import java.io.IOException;
import java.io.PrintWriter;
import java.io.Writer;

public class PreFormattedText extends FormattedText {
  public PreFormattedText(Document document)
  {
    super(document);
  }

  public void writeHtml(XMLStreamWriter out)
    throws XMLStreamException
  {
    out.writeStartElement("pre");

    super.writeHtml(out);

    out.writeEndElement(); // pre
  }

  public void writeLaTeX(PrintWriter out)
    throws IOException
  {
    super.writeLaTeX(new PrintWriter(new PreFormatFilterWriter(out)));
  }

  public void writeLaTeXEnclosed(PrintWriter out)
    throws IOException
  {
    writeLaTeX(out);
  }

  public void writeLaTeXTop(PrintWriter out)
    throws IOException
  {
    writeLaTeX(out);
  }

  private static class PreFormatFilterWriter extends FilterWriter {
    public PreFormatFilterWriter(Writer out)
    {
      super(out);
    }

    public void write(char[] cbuf, int off, int len)
      throws IOException
    {
      for (int i = off; i < len; i++)
        filterChar(cbuf[i]);
    }

    public void write(int c)
      throws IOException
    {
      filterChar(c);
    }

    public void write(String str, int off, int len)
      throws IOException
    {
      for (int i = off; i < len; i++)
        filterChar(str.charAt(i));
    }

    private void filterChar(int ch)
      throws IOException
    {
      switch (ch) {
        case ' ':
        case '\t':
          super.write('\\');
          super.write(' ');
          break;
        case '\n':
          super.write('\\');
          super.write('\\');
          break;
        default:
          super.write(ch);
          break;
      }
    }
  }
}