123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869 |
- /*
- * Copyright 2000-2018 Vaadin Ltd.
- *
- * Licensed under the Apache License, Version 2.0 (the "License"); you may not
- * use this file except in compliance with the License. You may obtain a copy of
- * the License at
- *
- * http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
- * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
- * License for the specific language governing permissions and limitations under
- * the License.
- */
-
- package com.vaadin.server;
-
- import java.util.EventObject;
-
- /**
- * Event fired when a Vaadin service session is no longer in use.
- *
- * @see SessionDestroyListener#sessionDestroy(SessionDestroyEvent)
- *
- * @author Vaadin Ltd
- * @since 7.0.0
- */
- public class SessionDestroyEvent extends EventObject {
-
- private final VaadinSession session;
-
- /**
- * Creates a new event.
- *
- * @param service
- * the Vaadin service from which the even originates
- * @param session
- * the Vaadin service session that is no longer used
- */
- public SessionDestroyEvent(VaadinService service, VaadinSession session) {
- super(service);
- this.session = session;
- }
-
- @Override
- public VaadinService getSource() {
- return (VaadinService) super.getSource();
- }
-
- /**
- * Gets the Vaadin service from which the even originates.
- *
- * @return the Vaadin service
- */
- public VaadinService getService() {
- return getSource();
- }
-
- /**
- * Gets the Vaadin service session that is no longer used.
- *
- * @return the Vaadin service session
- */
- public VaadinSession getSession() {
- return session;
- }
-
- }
|