view rep/gui/CloseButtonEvent.java @ 382:4b87f89b3afd

REP Session Manager (Java version) new structure
author one@firefly.cr.ie.u-ryukyu.ac.jp
date Mon, 10 Nov 2008 22:07:45 +0900
parents
children
line wrap: on
line source

package rep.gui;

import rep.Session;
import rep.SessionManager;

public class CloseButtonEvent implements SessionManagerEvent {

	private Session session;
	private SessionManagerEventListener listener;

	public CloseButtonEvent(Session session, SessionManagerEventListener listener) {
		this.session = session;
		this.listener = listener;
	}
	
	public Session getSession(){
		return session;
	}

	public void exec(SessionManager manager) {
		listener.closeSession(this);
	}

}