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