viewmonthaction.java

### File Source: viewmonthaction.java

             /*
        P/P   *  Method: net.sourceforge.pebble.web.action.ViewMonthAction__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.util.SecurityUtils;
        36  import net.sourceforge.pebble.domain.*;
        37  import net.sourceforge.pebble.web.view.View;
        38  import net.sourceforge.pebble.web.view.NotFoundView;
        39  import net.sourceforge.pebble.web.view.impl.BlogEntriesByMonthView;
        40
             /*
        P/P   *  Method: void net.sourceforge.pebble.web.action.ViewMonthAction()
              */
        41  import javax.servlet.ServletException;
        42  import javax.servlet.http.HttpServletRequest;
        43  import javax.servlet.http.HttpServletResponse;
        44  import java.util.List;
        45  import java.util.ArrayList;
        46
        47  /**
        48   * Finds all blog entries for a particular month, ready for them
        49   * to be displayed.
        50   *
        51   * @author    Simon Brown
        52   */
        53  public class ViewMonthAction extends Action {
        54
        55    /**
        56     * Peforms the processing associated with this action.
        57     *
        58     * @param request  the HttpServletRequest instance
        59     * @param response the HttpServletResponse instance
        60     * @return the name of the next view
        61     */
        62    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
                  *    net.sourceforge.pebble.domain.Blog:getBlogForMonth(...)@70 != null
                  *    net.sourceforge.pebble.domain.Blog:getCalendar(...)@96 != null
                  *    net.sourceforge.pebble.domain.BlogService:getBlogEntries(...)@79 != null
                  *    net.sourceforge.pebble.domain.Month:getDate(...)@96 != null
                  *    ...
                  *
                  *  Postconditions:
                  *    return_value in Addr_Set{&new BlogEntriesByMonthView(process#4),&new NotFoundView(process#1)}
                  *    new BlogEntriesByMonthView(process#4) num objects <= 1
                  *    new NotFoundView(process#1) num objects <= 1
                  *
                  *  Test Vectors:
                  *    java.lang.String:length(...)@68: {0}, {1..232-1}
                  *    java.lang.String:length(...)@69: {0}, {1..232-1}
                  *    java.util.Date:after(...)@96: {0}, {1}
                  *    javax.servlet.http.HttpServletRequest:getParameter(...)@63: Addr_Set{null}, Inverse{null}
                  *    javax.servlet.http.HttpServletRequest:getParameter(...)@64: Addr_Set{null}, Inverse{null}
                  *    net.sourceforge.pebble.domain.Month:before(...)@92: {1}, {0}
                  *    net.sourceforge.pebble.domain.Month:before(...)@96: {0}, {1}
                  */
        63      String year = request.getParameter("year");
        64      String month = request.getParameter("month");
        65
        66      Blog blog = (Blog)getModel().get(Constants.BLOG_KEY);
        67      Month monthly;
        68      if (year != null && year.length() > 0 &&
        69          month != null && month.length() > 0) {
        70        monthly = blog.getBlogForMonth(Integer.parseInt(year), Integer.parseInt(month));
        71      } else {
        72        return new NotFoundView();
        73      }
        74
        75      BlogService service = new BlogService();
        76
        77      List<BlogEntry> blogEntries = null;
        78      try {
        79        blogEntries = service.getBlogEntries(blog, Integer.parseInt(year), Integer.parseInt(month));
        80      } catch (BlogServiceException e) {
        81        throw new ServletException(e);
        82      }
        83      getModel().put(Constants.BLOG_ENTRIES, filter(blog, blogEntries));
        84      getModel().put("displayMode", "month");
        85      getModel().put(Constants.MONTHLY_BLOG, monthly);
        86
        87      // put the previous and next months in the model for navigation purposes
        88      Month firstMonth = blog.getBlogForFirstMonth();
        89      Month previousMonth = monthly.getPreviousMonth();
        90      Month nextMonth = monthly.getNextMonth();
        91
        92      if (!previousMonth.before(firstMonth)) {
        93        getModel().put("previousMonth", previousMonth);
        94      }
        95
        96      if (!nextMonth.getDate().after(blog.getCalendar().getTime()) || nextMonth.before(firstMonth)) {
        97        getModel().put("nextMonth", nextMonth);
        98      }
        99
       100      return new BlogEntriesByMonthView();
       101    }
       102
               /*
        P/P     *  Method: List filter(Blog, List)
                *
                *  Preconditions:
                *    blogEntries != null
                *    (soft) blog != null
                *
                *  Presumptions:
                *    java.util.Iterator:next(...)@106 != null
                *
                *  Postconditions:
                *    return_value == &new ArrayList(filter#1)
                *    new ArrayList(filter#1) num objects == 1
                *
                *  Test Vectors:
                *    java.util.Iterator:hasNext(...)@106: {1}, {0}
                *    net.sourceforge.pebble.domain.BlogEntry:isPublished(...)@108: {1}, {0}
                *    net.sourceforge.pebble.domain.BlogEntry:isUnpublished(...)@110: {0}, {1}
                */
       103    private List<BlogEntry> filter(Blog blog, List<BlogEntry> blogEntries) {
       104      List<BlogEntry> filtered = new ArrayList<BlogEntry>();
       105
       106      for (BlogEntry blogEntry : blogEntries) {
       107        if (
       108            blogEntry.isPublished() ||
       109            (
       110              (SecurityUtils.isUserAuthorisedForBlog(blog) && blogEntry.isUnpublished())
       111            )
       112           ) {
       113          filtered.add(blogEntry);
       114        }
       115      }
       116
       117      return filtered;
       118    }
       119
       120  }

SofCheck Inspector Build Version : 2.22510

viewmonthaction.java | 2010-Jun-25 19:40:34
viewmonthaction.class | 2010-Jul-19 20:23:38