view rep/gui/SelectButtonEvent.java @ 481:607f1dfe2b80

add comment
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Fri, 15 Oct 2010 19:47:53 +0900
parents 4b87f89b3afd
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) {
		}
	}

}