fileview.java

### File Source: fileview.java

             /*
        P/P   *  Method: net.sourceforge.pebble.web.view.FileView__static_init
              *
              *  Postconditions:
              *    init'ed(log)
              */
         1  /*
         2   * Copyright (c) 2003-2006, Simon Brown
         3   * All rights reserved.
         4   *
         5   * Redistribution and use in source and binary forms, with or without
         6   * modification, are permitted provided that the following conditions are met:
         7   *
         8   *   - Redistributions of source code must retain the above copyright
         9   *     notice, this list of conditions and the following disclaimer.
        10   *
        11   *   - Redistributions in binary form must reproduce the above copyright
        12   *     notice, this list of conditions and the following disclaimer in
        13   *     the documentation and/or other materials provided with the
        14   *     distribution.
        15   *
        16   *   - Neither the name of Pebble nor the names of its contributors may
        17   *     be used to endorse or promote products derived from this software
        18   *     without specific prior written permission.
        19   *
        20   * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
        21   * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
        22   * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
        23   * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
        24   * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
        25   * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
        26   * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
        27   * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
        28   * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
        29   * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
        30   * POSSIBILITY OF SUCH DAMAGE.
        31   */
        32  package net.sourceforge.pebble.web.view;
        33
        34  import net.sourceforge.pebble.util.FileUtils;
        35  import net.sourceforge.pebble.domain.AbstractBlog;
        36  import net.sourceforge.pebble.domain.Blog;
        37  import net.sourceforge.pebble.domain.FileMetaData;
        38  import net.sourceforge.pebble.Constants;
        39
             /*
        P/P   *  Method: void net.sourceforge.pebble.web.view.FileView(File)
              *
              *  Postconditions:
              *    this.file == file
              *    init'ed(this.file)
              */
        40  import javax.servlet.ServletContext;
        41  import javax.servlet.ServletException;
        42  import javax.servlet.http.HttpServletRequest;
        43  import javax.servlet.http.HttpServletResponse;
        44  import java.io.*;
        45
        46  import org.apache.commons.logging.LogFactory;
        47  import org.apache.commons.logging.Log;
        48
        49  /**
        50   * Represents a binary view component and prepares the model for display.
        51   *
        52   * @author    Simon Brown
        53   */
        54  public class FileView extends BinaryView {
        55
        56    /** the log used by this class */
        57    private static Log log = LogFactory.getLog(FileView.class);
        58
        59    private File file;
        60
        61    public FileView(File file) {
        62      this.file = file;
        63    }
        64
        65    /**
        66     * Gets the title of this view.
        67     *
        68     * @return the title as a String
        69     */
        70    public String getContentType() {
        71      String mimeType = null;
                 /*
        P/P       *  Method: String getContentType()
                  *
                  *  Preconditions:
                  *    init'ed(this.servletContext)
                  *    (soft) net/sourceforge/pebble/util/FileUtils.localFileNameMap != null
                  *    (soft) this.file != null
                  *
                  *  Presumptions:
                  *    java.io.File:getName(...)@78 != null
                  *
                  *  Postconditions:
                  *    init'ed(return_value)
                  *
                  *  Test Vectors:
                  *    this.servletContext: Addr_Set{null}, Inverse{null}
                  */
        72      ServletContext servletContext = getServletContext();
        73      if (servletContext != null) {
        74        mimeType = servletContext.getMimeType(file.getName());
        75      }
        76
        77      if (mimeType == null) {
        78        return FileUtils.getContentType(file.getName());
        79      }
        80
        81      return mimeType;
        82    }
        83
               /*
        P/P     *  Method: long getContentLength()
                *
                *  Preconditions:
                *    this.file != null
                *
                *  Postconditions:
                *    init'ed(return_value)
                */
        84    public long getContentLength() {
        85      return file.length();
        86    }
        87
        88    /**
        89     * Dispatches this view.
        90     *
        91     * @param request  the HttpServletRequest instance
        92     * @param response the HttpServletResponse instance
        93     * @param context
        94     */
        95    public void dispatch(HttpServletRequest request, HttpServletResponse response, ServletContext context) throws ServletException {
                 /*
        P/P       *  Method: void dispatch(HttpServletRequest, HttpServletResponse, ServletContext)
                  *
                  *  Preconditions:
                  *    response != null
                  *    this.file != null
                  *    this.model != null
                  *    this.model.data != null
                  *    (soft) log != null
                  *
                  *  Presumptions:
                  *    java.io.File:length(...)@85 in -231..232-1
                  *    java.util.HashMap:get(...)@63 != null
                  */
        96      response.setContentLength((int)getContentLength());
        97      try {
        98        BufferedInputStream in = new BufferedInputStream(new FileInputStream(file));
        99        BufferedOutputStream out = new BufferedOutputStream(response.getOutputStream());
       100
       101        byte[] buf = new byte[1024];
       102        int len = in.read(buf);
       103        while (len > 0) {
       104            out.write(buf, 0, len);
       105            len = in.read(buf);
       106        }
       107
       108        in.close();
       109        out.close();
       110      } catch (IOException ioe) {
       111        log.warn(ioe);
       112      } finally {
       113        AbstractBlog blog = (AbstractBlog)getModel().get(Constants.BLOG_KEY);
       114        blog.log(request, HttpServletResponse.SC_OK);
       115      }
       116    }
       117
       118  }

SofCheck Inspector Build Version : 2.22510

fileview.java | 2010-Jun-25 19:40:32
fileview.class | 2010-Jul-19 20:23:38