File Source: categoriesview.java
/*
P/P * Method: net.sourceforge.pebble.web.view.impl.CategoriesView__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.impl;
33
34 import net.sourceforge.pebble.web.view.HtmlView;
35
36 /**
37 * Represents the list of categories.
38 *
39 * @author Simon Brown
40 */
41 public class CategoriesView extends HtmlView {
42
43 private boolean loggedIn = false;
44
45 /**
46 * Creates a new instance.
47 *
48 * @param loggedIn true if the current user is logged in, false otherwise
49 */
/*
P/P * Method: void net.sourceforge.pebble.web.view.impl.CategoriesView(bool)
*
* Postconditions:
* this.loggedIn == loggedIn
* init'ed(this.loggedIn)
*/
50 public CategoriesView(boolean loggedIn) {
51 this.loggedIn = loggedIn;
52 }
53
54 /**
55 * Gets the title of this view.
56 *
57 * @return the title as a String
58 */
59 public String getTitle() {
/*
P/P * Method: String getTitle()
*
* Postconditions:
* init'ed(return_value)
*/
60 return getLocalizedString("category.categories");
61 }
62
63 /**
64 * Gets the URI that this view represents.
65 *
66 * @return the URI as a String
67 */
68 public String getUri() {
/*
P/P * Method: String getUri()
*
* Preconditions:
* init'ed(this.loggedIn)
*
* Postconditions:
* return_value in Addr_Set{&".WEB-INF.jsp.viewCategories.jsp",&".WEB-INF.jsp.manageCategories.jsp"}
*
* Test Vectors:
* this.loggedIn: {0}, {1}
*/
69 if (loggedIn) {
70 return "/WEB-INF/jsp/manageCategories.jsp";
71 } else {
72 return "/WEB-INF/jsp/viewCategories.jsp";
73 }
74 }
75
76 }
SofCheck Inspector Build Version : 2.22510
| categoriesview.java |
2010-Jun-25 19:40:32 |
| categoriesview.class |
2010-Jul-19 20:23:38 |