view rep/gui/SelectButtonEvent.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 java.io.IOException;

import rep.Session;
import rep.SessionManager;
import rep.handler.REPNode;

public class SelectButtonEvent implements SessionManagerEvent{

	private int sid;
	private REPNode editor;

	public SelectButtonEvent(REPNode editorPlus, Session session) {
		this.editor = editorPlus;
		this.sid = session.getSID();
	}

	public int getSID() {
		return sid;
	}

	public REPNode getEditor() {
		return editor;
	}

	public void exec(SessionManager manager) {
		try {
			manager.selectSession(this);
		} catch (IOException e) {
		}
	}

}