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
021package org.granite.gravity.jbossweb;
022
023import org.jboss.servlet.http.HttpEvent;
024import org.jboss.servlet.http.HttpEvent.EventType;
025
026/**
027 * @author Franck WOLFF
028 */
029public 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}