/* 
    P/P   *  Method: net.sourceforge.pebble.web.view.impl.TrackBackLinkView__static_init
          */
     1  package net.sourceforge.pebble.web.view.impl;
     2  
     3  import net.sourceforge.pebble.Constants;
     4  import net.sourceforge.pebble.domain.BlogEntry;
     5  import net.sourceforge.pebble.web.view.HtmlView;
     6  
     7  /**
     8   * Represents the page that displays the TrackBack link for a blog entry.
     9   *
    10   * @author    Simon Brown
    11   */
         /* 
    P/P   *  Method: void net.sourceforge.pebble.web.view.impl.TrackBackLinkView()
          */
    12  public class TrackBackLinkView extends HtmlView {
    13  
    14    /**
    15     * Gets the title of this view.
    16     *
    17     * @return the title as a String
    18     */
    19    public String getTitle() {
             /* 
    P/P       *  Method: String getTitle()
              * 
              *  Presumptions:
              *    net.sourceforge.pebble.web.model.Model:get(...)@20 != null
              *    net.sourceforge.pebble.web.view.impl.TrackBackLinkView:getModel(...)@20 != null
              * 
              *  Postconditions:
              *    init'ed(return_value)
              */
    20      BlogEntry blogEntry = (BlogEntry)getModel().get(Constants.BLOG_ENTRY_KEY);
    21      return blogEntry.getTitle();
    22    }
    23  
    24    /**
    25     * Gets the URI that this view represents.
    26     *
    27     * @return the URI as a String
    28     */
    29    public String getUri() {
             /* 
    P/P       *  Method: String getUri()
              * 
              *  Postconditions:
              *    return_value == &".WEB-INF.jsp.trackBackLink.jsp"
              */
    30      return "/WEB-INF/jsp/trackBackLink.jsp";
    31    }
    32  
    33  }