File Source: filesview.java
/*
P/P * Method: net.sourceforge.pebble.web.view.impl.FilesView__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 import net.sourceforge.pebble.domain.FileMetaData;
36
37 /**
38 * Represents the file view.
39 *
40 * @author Simon Brown
41 */
/*
P/P * Method: void net.sourceforge.pebble.web.view.impl.FilesView()
*/
42 public class FilesView extends HtmlView {
43
44 /**
45 * Gets the title of this view.
46 *
47 * @return the title as a String
48 */
49 public String getTitle() {
/*
P/P * Method: String getTitle()
*
* Presumptions:
* net.sourceforge.pebble.web.model.Model:get(...)@50 != null
* net.sourceforge.pebble.web.view.impl.FilesView:getModel(...)@50 != null
*
* Postconditions:
* init'ed(return_value)
*
* Test Vectors:
* java.lang.String:equals(...)@51: {0}, {1}
* java.lang.String:equals(...)@53: {0}, {1}
*/
50 String type = (String)getModel().get("type");
51 if (type.equals(FileMetaData.BLOG_IMAGE)) {
52 return getLocalizedString("view.files.images");
53 } else if (type.equals(FileMetaData.THEME_FILE)) {
54 return getLocalizedString("view.files.theme");
55 } else {
56 return getLocalizedString("view.files.files");
57 }
58 }
59
60 /**
61 * Gets the URI that this view represents.
62 *
63 * @return the URI as a String
64 */
65 public String getUri() {
/*
P/P * Method: String getUri()
*
* Postconditions:
* return_value == &".WEB-INF.jsp.viewFiles.jsp"
*/
66 return "/WEB-INF/jsp/viewFiles.jsp";
67 }
68
69 }
SofCheck Inspector Build Version : 2.22510
| filesview.java |
2010-Jun-25 19:40:32 |
| filesview.class |
2010-Jul-19 20:23:38 |