File Source: copyfileaction.java

         /* 
    P/P   *  Method: net.sourceforge.pebble.web.action.CopyFileAction__static_init
          */
     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.action;
    33  
    34  import net.sourceforge.pebble.Constants;
    35  import net.sourceforge.pebble.domain.FileManager;
    36  import net.sourceforge.pebble.domain.FileMetaData;
    37  import net.sourceforge.pebble.domain.IllegalFileAccessException;
    38  import net.sourceforge.pebble.domain.Blog;
    39  import net.sourceforge.pebble.util.StringUtils;
    40  import net.sourceforge.pebble.web.security.RequireSecurityToken;
    41  import net.sourceforge.pebble.web.view.RedirectView;
    42  import net.sourceforge.pebble.web.view.View;
    43  import net.sourceforge.pebble.web.view.ForbiddenView;
    44  import net.sourceforge.pebble.web.view.impl.NotEnoughSpaceView;
    45  
         /* 
    P/P   *  Method: void net.sourceforge.pebble.web.action.CopyFileAction()
          */
    46  import javax.servlet.ServletException;
    47  import javax.servlet.http.HttpServletRequest;
    48  import javax.servlet.http.HttpServletResponse;
    49  import java.io.IOException;
    50  
    51  /**
    52   * Allows the user to copy (or rename/move) a file.
    53   *
    54   * @author Simon Brown
    55   */
    56  @RequireSecurityToken
    57  public class CopyFileAction extends AbstractFileAction {
    58  
    59    /**
    60     * Peforms the processing associated with this action.
    61     *
    62     * @param request  the HttpServletRequest instance
    63     * @param response the HttpServletResponse instance
    64     * @return the name of the next view
    65     */
    66    public View process(HttpServletRequest request, HttpServletResponse response) throws ServletException {
             /* 
    P/P       *  Method: View process(HttpServletRequest, HttpServletResponse)
              * 
              *  Preconditions:
              *    request != null
              *    this.model != null
              *    this.model.data != null
              * 
              *  Presumptions:
              *    java.util.HashMap:get(...)@63 != null
              *    javax.servlet.http.HttpServletRequest:getParameter(...)@70 != null
              *    javax.servlet.http.HttpServletRequest:getParameter(...)@73 != null
              *    net.sourceforge.pebble.domain.FileManager:getFileMetaData(...)@76 != null
              *    net.sourceforge.pebble.domain.FileManager:getFileMetaData(...)@89 != null
              * 
              *  Postconditions:
              *    return_value in Addr_Set{&new NotEnoughSpaceView(process#8),&new RedirectView(process#11),&new ForbiddenView(process#9)}
              *    new ForbiddenView(process#9) num objects <= 1
              *    new NotEnoughSpaceView(process#8) num objects <= 1
              *    new RedirectView(process#11) num objects <= 1
              * 
              *  Test Vectors:
              *    java.lang.String:equals(...)@82: {0}, {1}
              *    java.lang.String:equals(...)@93: {0}, {1}
              *    java.lang.String:equalsIgnoreCase(...)@78: {0}, {1}
              *    net.sourceforge.pebble.domain.FileManager:hasEnoughSpace(...)@89: {0}, {1}
              */
    67      Blog blog = (Blog)getModel().get(Constants.BLOG_KEY);
    68      String name = request.getParameter("name");
    69      String oldName = StringUtils.filterHTML(name);
    70      String type = request.getParameter("type");
    71      String path = request.getParameter("path");
    72      String newName = StringUtils.filterHTML(request.getParameter("newName"));
    73      String submit = request.getParameter("submit");
    74  
    75      FileManager fileManager = new FileManager(blog, type);
    76      FileMetaData directory = fileManager.getFileMetaData(path);
    77      try {
    78        if (submit.equalsIgnoreCase("rename")) {
    79          fileManager.renameFile(path, name, newName);
    80  
    81          // if it's a theme file, also rename the copy in blog.dir/theme
    82          if (type.equals(FileMetaData.THEME_FILE)) {
    83            fileManager = new FileManager(blog, FileMetaData.BLOG_DATA);
    84            fileManager.renameFile("/theme" + path, name, newName);
    85          }
    86  
    87          blog.info("File \"" + oldName + "\" renamed to \"" + newName + "\".");
    88        } else {
    89          if (FileManager.hasEnoughSpace(blog, fileManager.getFileMetaData(path, name).getSizeInKB())) {
    90            fileManager.copyFile(path, name, newName);
    91  
    92            // if it's a theme file, also create a copy in blog.dir/theme
    93            if (type.equals(FileMetaData.THEME_FILE)) {
    94              fileManager = new FileManager(blog, FileMetaData.BLOG_DATA);
    95              fileManager.copyFile("/theme" + path, name, newName);
    96            }
    97  
    98            blog.info("File \"" + oldName + "\" copied to \"" + newName + "\".");
    99          } else {
   100            return new NotEnoughSpaceView();
   101          }
   102        }
   103      } catch (IllegalFileAccessException e) {
   104        return new ForbiddenView();
   105      } catch (IOException ioe) {
   106        throw new ServletException(ioe);
   107      }
   108  
   109      return new RedirectView(blog.getUrl() + directory.getUrl());
   110    }
   111  
   112  }








SofCheck Inspector Build Version : 2.22510
copyfileaction.java 2010-Jun-25 19:40:34
copyfileaction.class 2010-Jul-19 20:23:38