001    /*
002      GRANITE DATA SERVICES
003      Copyright (C) 2011 GRANITE DATA SERVICES S.A.S.
004    
005      This file is part of Granite Data Services.
006    
007      Granite Data Services is free software; you can redistribute it and/or modify
008      it under the terms of the GNU Library General Public License as published by
009      the Free Software Foundation; either version 2 of the License, or (at your
010      option) any later version.
011    
012      Granite Data Services is distributed in the hope that it will be useful, but
013      WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
014      FITNESS FOR A PARTICULAR PURPOSE. See the GNU Library General Public License
015      for more details.
016    
017      You should have received a copy of the GNU Library General Public License
018      along with this library; if not, see <http://www.gnu.org/licenses/>.
019    */
020    
021    package org.granite.gravity.jbossweb;
022    
023    import org.jboss.servlet.http.HttpEvent;
024    import org.jboss.servlet.http.HttpEvent.EventType;
025    
026    /**
027     * @author Franck WOLFF
028     */
029    public class EventUtil {
030    
031        public static boolean isTimeout(HttpEvent event) {
032            return (event.getType() == EventType.TIMEOUT);
033        }
034    
035        public static boolean isError(HttpEvent event) {
036            return (event.getType() == EventType.ERROR || event.getType() == EventType.EOF);
037        }
038    
039        public static boolean isErrorButNotTimeout(HttpEvent event) {
040            return event.getType() == EventType.ERROR;
041        }
042        
043        public static boolean isValid(HttpEvent event) {
044            if (event != null) {
045                    try {
046                            return event.getHttpServletRequest() != null && event.getHttpServletResponse() != null;
047                    } catch (Exception e) {
048                    }
049            }
050            return false;
051        }
052    
053        public static String toString(HttpEvent event) {
054            if (event == null)
055                    return "null";
056            try {
057                    return event.getClass().getName() + " [" + event.getType() + ']';
058            }
059            catch (Exception e) {
060                    return e.toString();
061            }
062        }
063    }