redirectview.java

### File Source: redirectview.java

             /*
        P/P   *  Method: net.sourceforge.pebble.web.view.RedirectView__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.view;
        33
             /*
        P/P   *  Method: void net.sourceforge.pebble.web.view.RedirectView(String)
              *
              *  Postconditions:
              *    this.uri == uri
              *    init'ed(this.uri)
              */
        34  import javax.servlet.ServletContext;
        35  import javax.servlet.ServletException;
        36  import javax.servlet.http.HttpServletRequest;
        37  import javax.servlet.http.HttpServletResponse;
        38
        39  import net.sourceforge.pebble.util.Utilities;
        40
        41  import java.io.IOException;
        42
        43  /**
        44   * Represents a JSP view component and prepares the model for display.
        45   *
        46   * @author    Simon Brown
        47   */
        48  public class RedirectView extends View {
        49
        50    private String uri;
        51
        52    /**
        53     * Creates a new instance with the specified URI.
        54     *
        55     * @param uri   the URI to redirect to
        56     */
        57    public RedirectView(String uri) {
        58      this.uri = uri;
        59    }
        60
        61    /**
        62     * Gets the URI that this view represents.
        63     *
        64     * @return  the URI as a String
        65     */
               /*
        P/P     *  Method: String getUri()
                *
                *  Preconditions:
                *    init'ed(this.uri)
                *
                *  Postconditions:
                *    return_value == this.uri
                *    init'ed(return_value)
                */
        66    public String getUri() {
        67      return this.uri;
        68    }
        69
        70    /**
        71     * Gets the title of this view.
        72     *
        73     * @return the title as a String
        74     */
               /*
        P/P     *  Method: String getContentType()
                *
                *  Postconditions:
                *    return_value == null
                */
        75    public String getContentType() {
        76      return null;
        77    }
        78
        79    /**
        80     * Dispatches this view.
        81     *
        82     * @param request  the HttpServletRequest instance
        83     * @param response the HttpServletResponse instance
        84     * @param context
        85     */
        86    public void dispatch(HttpServletRequest request, HttpServletResponse response, ServletContext context) throws ServletException {
        87      try {
                   /*
        P/P         *  Method: void dispatch(HttpServletRequest, HttpServletResponse, ServletContext)
                    *
                    *  Preconditions:
                    *    request != null
                    *    response != null
                    *    init'ed(this.uri)
                    */
        88        String target = Utilities.calcBaseUrl(request.getScheme(), getUri());
        89        response.sendRedirect(target);
        90      } catch (IOException ioe) {
        91        throw new ServletException(ioe);
        92      }
        93    }
        94
        95  }

SofCheck Inspector Build Version : 2.22510

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