001: /*
002: * Jacareto Copyright (c) 2002-2005
003: * Applied Computer Science Research Group, Darmstadt University of
004: * Technology, Institute of Mathematics & Computer Science,
005: * Ludwigsburg University of Education, and Computer Based
006: * Learning Research Group, Aachen University. All rights reserved.
007: *
008: * Jacareto is free software; you can redistribute it and/or
009: * modify it under the terms of the GNU General Public
010: * License as published by the Free Software Foundation; either
011: * version 2 of the License, or (at your option) any later version.
012: *
013: * Jacareto is distributed in the hope that it will be useful,
014: * but WITHOUT ANY WARRANTY; without even the implied warranty of
015: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
016: * General Public License for more details.
017: *
018: * You should have received a copy of the GNU General Public
019: * License along with Jacareto; if not, write to the Free
020: * Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
021: *
022: */
023:
024: package jacareto.cleverphl.session;
025:
026: import jacareto.system.Environment;
027:
028: /**
029: * This event will be delivered to session listeners.
030: *
031: * @author <a href="mailto:cspannagel@web.de">Christian Spannagel</a>
032: * @version 1.01
033: */
034: public class SessionEvent {
035: /** The capture process has been started. */
036: public static final int CAPTURE_START = 0;
037:
038: /** The capture process has been stopped. */
039: public static final int CAPTURE_STOP = 1;
040:
041: /** The replay process has been started. */
042: public static final int REPLAY_START = 2;
043:
044: /** The replay process has been stopped. */
045: public static final int REPLAY_STOP = 3;
046:
047: /** The replay process has been paused. */
048: public static final int REPLAY_PAUSE = 4;
049:
050: /** The replay process has been continued after a pause. */
051: public static final int REPLAY_CONTINUE = 5;
052:
053: /** The replay process has been resetted.. */
054: public static final int REPLAY_RESET = 6;
055:
056: /** A data set has been added. */
057: public static final int DATA_SET_ADDED = 7;
058:
059: /** A data set has been removed. */
060: public static final int DATA_SET_REMOVED = 8;
061:
062: /** The session got active. */
063: public static final int ACTIVE = 10;
064:
065: /** The session got inactive. */
066: public static final int INACTIVE = 11;
067:
068: /** The session's name has changed. */
069: public static final int NAME_CHANGED = 12;
070:
071: /** The event type. */
072: private int ID;
073:
074: /** The session this event belongs to. */
075: private Session session;
076:
077: /** The env. */
078: private Environment env;
079:
080: /**
081: * Creates a session event with the specified values.
082: *
083: * @param env the environment
084: * @param ID the ID of the event
085: * @param session the session this event belongs to
086: */
087: public SessionEvent(Environment env, int ID, Session session) {
088: this .env = env;
089: this .ID = ID;
090: this .session = session;
091: }
092:
093: /**
094: * Returns the type of the event.
095: *
096: * @return the type
097: */
098: public int getID() {
099: return ID;
100: }
101:
102: /**
103: * Returns the session this event belongs to.
104: *
105: * @return DOCUMENT ME!
106: */
107: public Session getSession() {
108: return session;
109: }
110: }
|