com.sun.electric.tool.user
Class MessagesStream

java.lang.Object
  extended by java.io.OutputStream
      extended by com.sun.electric.tool.user.MessagesStream
All Implemented Interfaces:
java.io.Closeable, java.io.Flushable

public class MessagesStream
extends java.io.OutputStream

Class handles text sent to the Messages window.


Nested Class Summary
static class MessagesStream.OriginalStandardOutWriter
           
 
Constructor Summary
MessagesStream()
           
 
Method Summary
 void addObserver(java.util.Observer o)
           
protected  void appendString(java.lang.String str)
           
static MessagesStream getMessagesStream()
          Method to return messages stream.
 void save()
          Method to start saving the messages window.
 void save(java.lang.String filePath)
           
static void userCommandIssued()
          Method to report that the user issued a new command (click, keystroke, pulldown menu).
 void write(byte[] b)
           
 void write(byte[] b, int off, int len)
           
 void write(int b)
           
 
Methods inherited from class java.io.OutputStream
close, flush
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MessagesStream

public MessagesStream()
Method Detail

getMessagesStream

public static MessagesStream getMessagesStream()
Method to return messages stream.

Returns:
the messages stream.

addObserver

public void addObserver(java.util.Observer o)

write

public void write(byte[] b)
Overrides:
write in class java.io.OutputStream

write

public void write(int b)
Specified by:
write in class java.io.OutputStream

write

public void write(byte[] b,
                  int off,
                  int len)
Overrides:
write in class java.io.OutputStream

userCommandIssued

public static void userCommandIssued()
Method to report that the user issued a new command (click, keystroke, pulldown menu). The messages window separates output by command so that each command's results can be distinguished from others.


save

public void save()
Method to start saving the messages window.


save

public void save(java.lang.String filePath)

appendString

protected void appendString(java.lang.String str)