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