messagesview.java

### File Source: messagesview.java

             /*
        P/P   *  Method: net.sourceforge.pebble.web.view.impl.MessagesView__static_init
              */
         1  package net.sourceforge.pebble.web.view.impl;
         2
         3  import net.sourceforge.pebble.web.view.HtmlView;
         4
         5  import java.util.List;
         6  import java.util.Collections;
         7
         8  /**
         9   * Represents the messages page.
        10   *
        11   * @author    Simon Brown
        12   */
             /*
        P/P   *  Method: void net.sourceforge.pebble.web.view.impl.MessagesView()
              */
        13  public class MessagesView extends HtmlView {
        14
        15    /**
        16     * Prepares the view for presentation.
        17     */
        18    public void prepare() {
                 /*
        P/P       *  Method: void prepare()
                  *
                  *  Presumptions:
                  *    net.sourceforge.pebble.web.view.impl.MessagesView:getModel(...)@19 != null
                  */
        19      List list = (List)getModel().get("messages");
        20      Collections.reverse(list);
        21    }
        22
        23    /**
        24     * Gets the title of this view.
        25     *
        26     * @return the title as a String
        27     */
        28    public String getTitle() {
                 /*
        P/P       *  Method: String getTitle()
                  *
                  *  Postconditions:
                  *    return_value == null
                  */
        29      return null;
        30    }
        31
        32    /**
        33     * Gets the URI that this view represents.
        34     *
        35     * @return the URI as a String
        36     */
        37    public String getUri() {
                 /*
        P/P       *  Method: String getUri()
                  *
                  *  Postconditions:
                  *    return_value == &".WEB-INF.jsp.viewMessages.jsp"
                  */
        38      return "/WEB-INF/jsp/viewMessages.jsp";
        39    }
        40
        41  }

SofCheck Inspector Build Version : 2.22510

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