/**
 * JBoss, the OpenSource J2EE webOS
 *
 * Distributable under LGPL license.
 * See terms of license at gnu.org.
 */
package javax.management.j2ee.statistics;

// $Id: ServletStats.java,v 1.6.6.1 2005/04/05 17:41:16 starksm Exp $

import javax.management.*;
import javax.management.j2ee.Management;
import javax.ejb.EJBObject;
import javax.ejb.EJBHome;
import javax.ejb.CreateException;
import java.rmi.RemoteException;
import java.util.Set;

/**
 * Specifies the statistics provided by a Servlet.
 * 
 * @author thomas.diesler@jboss.org
 */
public interface ServletStats extends Stats
{
   /**
    * Execution times for the methods.
    */
   public TimeStatistic getServiceTime();

}