comparison src/samer/core_/util/heavy/Console.java @ 0:bf79fb79ee13

Initial Mercurial check in.

+/*
+ *	Console.java	
+ *
+ *	Copyright (c) 2000, Samer Abdallah, King's College London.
+ *	All rights reserved.
+ *
+ *	This software is provided AS iS and WITHOUT ANY WARRANTY; 
+ *	without even the implied warranty of MERCHANTABILITY or 
+ *	FITNESS FOR A PARTICULAR PURPOSE.
+ */
+
+package samer.core.util.heavy;
+import  samer.core.*;
+import  java.awt.*;
+import  java.io.*;
+
+/**
+		<p>
+		A class which can display messages in a scrolling text
+		area, which can be put in another container or its own frame.
+		There is a static reference to the current Console so
+		that anyone can display messages without worrying about
+		who created the Console.
+
+		<p>
+		Associated with the Console are a Writer and an OutputStream
+		so that any method which writes to a Java IO stream can be
+		redirected to the current console.
+
+ */
+
+public class Console extends TextArea implements Agent
+{
+	private Writer			writer=null;
+	private OutputStream	ostream=null;
+
+	public Console()
+	{
+		super("",16,40, 
+			Shell.getBoolean("awt.output.console.scrollbars", false)
+				? TextArea.SCROLLBARS_VERTICAL_ONLY
+				: TextArea.SCROLLBARS_NONE
+		);
+
+		// setEditable(false);
+		setBackground( Shell.getColor("awt.output.console.background", Color.black));
+		setForeground( Shell.getColor("awt.output.console.foreground", Color.orange));
+		setFont(X.font(Shell.datum("awt.output.console.font"),null)); 
+	}
+
+	public void write( String s) { append(s); }
+	public void getCommands(Agent.Registry r) { r.add("clear").add("setfont"); }
+	public void execute(String cmd, Environment env) throws Exception
+	{
+		if (cmd.equals("clear")) setText("");
+		else if (cmd.equals("setfont")) 
+			setFont(X.font(env.datum("font"),null));
+	}
+
+	public String toString() { return "Console"; }
+
+	public Writer getWriter() {
+		if (writer==null) writer = new Writer();
+		return writer;
+	}
+
+	public OutputStream getStream() {
+		if (ostream==null) ostream = new OutputStream();
+		return ostream;
+	}
+
+	class Writer extends java.io.Writer
+	{
+		StringBuffer	str;
+
+		Writer() { str = new StringBuffer(); }
+
+		public void write( char buf[], int off, int len) {
+			str.append( buf, off, len); // indentation
+		}
+
+		public void flush() { 
+//			append( str.toString()); 
+			try { append( str.toString()); 
+			} catch(IOException ex) { /* eh? */}
+			str.setLength(0); 
+		}
+		public void close() { }
+	}
+	
+	class OutputStream extends java.io.OutputStream
+	{
+		StringBuffer	str;
+
+		OutputStream() { str = new StringBuffer(); }
+
+		public void write( int b) { str.append( (char)b); }		
+		public void flush()	{ append( str.toString()); str.setLength(0); }
+		public void close() { }
+	}
+}
+