//# 0 errors, 28 messages
//#
package net.sourceforge.pebble.web.view.impl;
    //#trackbacklinkview.java:1:1: class: net.sourceforge.pebble.web.view.impl.TrackBackLinkView
    //#trackbacklinkview.java:1:1: method: net.sourceforge.pebble.web.view.impl.TrackBackLinkView.net.sourceforge.pebble.web.view.impl.TrackBackLinkView__static_init

import net.sourceforge.pebble.Constants;
import net.sourceforge.pebble.domain.BlogEntry;
import net.sourceforge.pebble.web.view.HtmlView;

/**
 * Represents the page that displays the TrackBack link for a blog entry.
 *
 * @author    Simon Brown
 */
public class TrackBackLinkView extends HtmlView {
    //#trackbacklinkview.java:12: method: void net.sourceforge.pebble.web.view.impl.TrackBackLinkView.net.sourceforge.pebble.web.view.impl.TrackBackLinkView()
    //#trackbacklinkview.java:12: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.web.view.HtmlView()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.web.view.impl.TrackBackLinkView
    //#    method: void net.sourceforge.pebble.web.view.impl.TrackBackLinkView()
    //#    unanalyzed callee: void net.sourceforge.pebble.web.view.HtmlView()
    //#input(void net.sourceforge.pebble.web.view.impl.TrackBackLinkView()): this
    //#trackbacklinkview.java:12: end of method: void net.sourceforge.pebble.web.view.impl.TrackBackLinkView.net.sourceforge.pebble.web.view.impl.TrackBackLinkView()

  /**
   * Gets the title of this view.
   *
   * @return the title as a String
   */
  public String getTitle() {
    BlogEntry blogEntry = (BlogEntry)getModel().get(Constants.BLOG_ENTRY_KEY);
    //#trackbacklinkview.java:20: method: String net.sourceforge.pebble.web.view.impl.TrackBackLinkView.getTitle()
    //#trackbacklinkview.java:20: Warning: method not available
    //#    -- call on Model net.sourceforge.pebble.web.view.impl.TrackBackLinkView:getModel()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.web.view.impl.TrackBackLinkView
    //#    method: String getTitle()
    //#    unanalyzed callee: Model net.sourceforge.pebble.web.view.impl.TrackBackLinkView:getModel()
    //#trackbacklinkview.java:20: Warning: method not available
    //#    -- call on Object net.sourceforge.pebble.web.model.Model:get(String)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.web.view.impl.TrackBackLinkView
    //#    method: String getTitle()
    //#    unanalyzed callee: Object net.sourceforge.pebble.web.model.Model:get(String)
    //#input(String getTitle()): this
    //#output(String getTitle()): return_value
    //#presumption(String getTitle()): net.sourceforge.pebble.web.model.Model:get(...)@20 != null
    //#presumption(String getTitle()): net.sourceforge.pebble.web.view.impl.TrackBackLinkView:getModel(...)@20 != null
    //#post(String getTitle()): init'ed(return_value)
    return blogEntry.getTitle();
    //#trackbacklinkview.java:21: Warning: method not available
    //#    -- call on String net.sourceforge.pebble.domain.BlogEntry:getTitle()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.web.view.impl.TrackBackLinkView
    //#    method: String getTitle()
    //#    unanalyzed callee: String net.sourceforge.pebble.domain.BlogEntry:getTitle()
    //#trackbacklinkview.java:21: end of method: String net.sourceforge.pebble.web.view.impl.TrackBackLinkView.getTitle()
  }

  /**
   * Gets the URI that this view represents.
   *
   * @return the URI as a String
   */
  public String getUri() {
    return "/WEB-INF/jsp/trackBackLink.jsp";
    //#trackbacklinkview.java:30: method: String net.sourceforge.pebble.web.view.impl.TrackBackLinkView.getUri()
    //#output(String getUri()): return_value
    //#post(String getUri()): return_value == &".WEB-INF.jsp.trackBackLink.jsp"
    //#trackbacklinkview.java:30: end of method: String net.sourceforge.pebble.web.view.impl.TrackBackLinkView.getUri()
  }

}
    //#output(net.sourceforge.pebble.web.view.impl.TrackBackLinkView__static_init): __Descendant_Table[net/sourceforge/pebble/web/view/impl/TrackBackLinkView]
    //#output(net.sourceforge.pebble.web.view.impl.TrackBackLinkView__static_init): __Dispatch_Table.getTitle()Ljava/lang/String;
    //#output(net.sourceforge.pebble.web.view.impl.TrackBackLinkView__static_init): __Dispatch_Table.getUri()Ljava/lang/String;
    //#post(net.sourceforge.pebble.web.view.impl.TrackBackLinkView__static_init): __Descendant_Table[net/sourceforge/pebble/web/view/impl/TrackBackLinkView] == &__Dispatch_Table
    //#post(net.sourceforge.pebble.web.view.impl.TrackBackLinkView__static_init): __Dispatch_Table.getTitle()Ljava/lang/String; == &getTitle
    //#post(net.sourceforge.pebble.web.view.impl.TrackBackLinkView__static_init): __Dispatch_Table.getUri()Ljava/lang/String; == &getUri
    //#trackbacklinkview.java:: end of method: net.sourceforge.pebble.web.view.impl.TrackBackLinkView.net.sourceforge.pebble.web.view.impl.TrackBackLinkView__static_init
    //#trackbacklinkview.java:: end of class: net.sourceforge.pebble.web.view.impl.TrackBackLinkView
