package acl2s.plugin.console;
	
	import java.io.IOException;
	
	import org.eclipse.ui.console.ConsolePlugin;
	import org.eclipse.ui.console.IConsole;
	import org.eclipse.ui.console.IConsoleManager;
	import org.eclipse.ui.console.IOConsole;
	import org.peterd.util.ExceptionHandler;
	
	public class MyConsole extends IOConsole implements ExceptionHandler<IOException> {
		protected IOException exception = null;
		
		protected MyConsolePageParticipant pp = null;
		
		protected MyConsole() {
			super("", MyConsole.class.getName(), null);
		}
		
		protected void setPageParticipant(MyConsolePageParticipant pp) {
			this.pp = pp;
		}
		
		public synchronized final void handleException(IOException e) {
			if (exception != null) {
				doHandleException(e);
			}
		}
	
		protected synchronized void doHandleException(IOException e) {
			exception = e;
		}
	
		public void add() {
			add(this);
		}
		
		public void remove() {
			remove(this);
		}
		
		public void show() {
			show(this);
		}
		
		
		// STATIC STUFF
		
		public static <T extends IIdentifiableConsole>  T find(Class<T> typ, Object id) {
			IConsoleManager conman = getConsoleManager();
			synchronized (conman) {
				for (IConsole c : conman.getConsoles()) {
					if (typ.isInstance(c)) {
						IIdentifiableConsole ic = (IIdentifiableConsole) c;

						if (ic.getIdentity().equals(id)) {
							return typ.cast(ic);
						}
					}
				}
				return null;
			}
		}
	
		public static <T extends IFinishableConsole> T removeIfFinished(T c) {
			if (c == null) {
				return null;
			} else if (c.finished()) {
				remove(c);
				return null;
			} else {
				return c;
			}
		}
		
		public static IConsoleManager getConsoleManager() {
			return ConsolePlugin.getDefault().getConsoleManager();
		}
	
		public static void add(IConsole c) {
			IConsoleManager conman = getConsoleManager();
			synchronized (conman) {
				conman.addConsoles(new IConsole[] { c });
			}
		}
		
		public static void remove(IConsole c) {
			IConsoleManager conman = getConsoleManager();
			synchronized (conman) {
				conman.removeConsoles(new IConsole[] { c });
			}
		}
		
		public static void show(IConsole c) {
			IConsoleManager conman = getConsoleManager();
			synchronized (conman) {
				conman.showConsoleView(c);
			}
		}
	}