KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > apache > commons > jxpath > servlet > HttpSessionHandler


1 /*
2  * Copyright 1999-2004 The Apache Software Foundation
3  *
4  * Licensed under the Apache License, Version 2.0 (the "License");
5  * you may not use this file except in compliance with the License.
6  * You may obtain a copy of the License at
7  *
8  * http://www.apache.org/licenses/LICENSE-2.0
9  *
10  * Unless required by applicable law or agreed to in writing, software
11  * distributed under the License is distributed on an "AS IS" BASIS,
12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13  * See the License for the specific language governing permissions and
14  * limitations under the License.
15  */
16 package org.apache.commons.jxpath.servlet;
17
18 import java.util.Enumeration JavaDoc;
19 import java.util.HashSet JavaDoc;
20
21 import javax.servlet.http.HttpSession JavaDoc;
22
23 import org.apache.commons.jxpath.JXPathException;
24
25 /**
26  * Implementation of the DynamicPropertyHandler interface that provides
27  * access to attributes of a HttpSession.
28  *
29  * @author Dmitri Plotnikov
30  * @version $Revision: 1.6 $ $Date: 2004/05/08 15:10:49 $
31  */
32 public class HttpSessionHandler extends ServletContextHandler {
33
34     protected void collectPropertyNames(HashSet JavaDoc set, Object JavaDoc bean) {
35         HttpSessionAndServletContext handle =
36             (HttpSessionAndServletContext) bean;
37         super.collectPropertyNames(set, handle.getServletContext());
38         HttpSession JavaDoc session = handle.getSession();
39         if (session != null) {
40             Enumeration JavaDoc e = session.getAttributeNames();
41             while (e.hasMoreElements()) {
42                 set.add(e.nextElement());
43             }
44         }
45     }
46     
47     public Object JavaDoc getProperty(Object JavaDoc bean, String JavaDoc property) {
48         HttpSessionAndServletContext handle =
49             (HttpSessionAndServletContext) bean;
50         HttpSession JavaDoc session = handle.getSession();
51         if (session != null) {
52             Object JavaDoc object = session.getAttribute(property);
53             if (object != null) {
54                 return object;
55             }
56         }
57         return super.getProperty(handle.getServletContext(), property);
58     }
59
60     public void setProperty(Object JavaDoc bean, String JavaDoc property, Object JavaDoc value) {
61         HttpSessionAndServletContext handle =
62             (HttpSessionAndServletContext) bean;
63         HttpSession JavaDoc session = handle.getSession();
64         if (session != null) {
65             session.setAttribute(property, value);
66         }
67         else {
68             throw new JXPathException("Cannot set session attribute: "
69                     + "there is no session");
70         }
71     }
72 }
73
Popular Tags