Subversion Repositories HomeAutomation

Rev

Rev 73 | Blame | Compare with Previous | Last modification | View Log | SVN | RSS feed

  1. /**
  2.  * File created by Jimmy
  3.  * at 2004-jan-04 20:22:22
  4.  */
  5. package Macbeth.Utilities;
  6.  
  7. import javax.swing.*;
  8. import javax.swing.text.Document;
  9. import javax.swing.text.JTextComponent;
  10. import javax.swing.text.BadLocationException;
  11. import javax.swing.text.Element;
  12. import javax.swing.text.html.HTMLDocument;
  13. import javax.swing.text.html.HTMLEditorKit;
  14. import javax.swing.text.html.HTML;
  15. import java.io.PrintStream;
  16. import java.io.PipedOutputStream;
  17. import java.io.IOException;
  18.  
  19. /**
  20.  * A stream that writes the text to a JEditorPane.
  21.  * @author Jimmy
  22.  */
  23. public class EditorPaneStream extends PrintStream {
  24.  
  25.     //the JEditorPane to which we will write all text
  26.     private JEditorPane editorPane;
  27.     private HTMLEditorKit editorKit;
  28.     private HTMLDocument htmlDocument;
  29.  
  30.     /**
  31.      * Creates a new instance of EditorPaneStream.
  32.      * @param editorPane The JEditorPane to which all text
  33.      * should be written.
  34.      */
  35.     public EditorPaneStream(JEditorPane editorPane) {
  36.         //construct PrintWriter with non-used PipedOutputStream
  37.         super(new PipedOutputStream());
  38.         //keep reference to our JTextComponent
  39.         this.editorPane = editorPane;
  40.         editorPane.setContentType("text/html");
  41.         //get editor kit
  42.         editorKit = (HTMLEditorKit)editorPane.getEditorKit();
  43.         //get html document
  44.         htmlDocument = (HTMLDocument)editorPane.getDocument();
  45.     }
  46.  
  47.     private void insertString(String string) {
  48.         try {
  49.             //editorKit.insertHTML(htmlDocument,htmlDocument.getLength(),string,2,2,null);
  50.             //htmlDocument.insertBeforeEnd(htmlDocument.getDefaultRootElement().getElement(0),string);
  51.             editorKit.insertHTML(htmlDocument, htmlDocument.getLength(), string, 0, 0, null);
  52.         } catch (Exception e) {
  53.             e.printStackTrace();
  54.         }
  55.         editorPane.setCaretPosition(htmlDocument.getLength());
  56.     }
  57.  
  58.     /* Override all standard print-methods: */
  59.  
  60.     public void println(char c[]) {
  61.         if(c!=null) insertString(new String(c,0,c.length) + MySystem.lineBreak);
  62.     }
  63.  
  64.     public void print(char c[]) {
  65.         if(c!=null) insertString(new String(c,0,c.length));
  66.     }
  67.  
  68.     public void println(double d) {
  69.         insertString(d + "" + MySystem.lineBreak);
  70.     }
  71.  
  72.     public void print(double d) {
  73.         insertString(d + "");
  74.     }
  75.  
  76.     public void println(float f) {
  77.         insertString(f + "" + MySystem.lineBreak);
  78.     }
  79.  
  80.     public void print(float f) {
  81.         insertString(f + "");
  82.     }
  83.  
  84.     public void println(char c) {
  85.         insertString(c + "" + MySystem.lineBreak);
  86.     }
  87.  
  88.     public void print(char c) {
  89.         insertString(c + "");
  90.     }
  91.  
  92.     public void println(boolean b) {
  93.         insertString(b + "" + MySystem.lineBreak);
  94.     }
  95.  
  96.     public void print(boolean b) {
  97.         insertString(b + "");
  98.     }
  99.  
  100.     public void println(int i) {
  101.         insertString(i + "" + MySystem.lineBreak);
  102.     }
  103.  
  104.     public void print(int i) {
  105.         insertString(i + "");
  106.     }
  107.  
  108.     public void println(String str) {
  109.         if(str!=null) insertString(str + MySystem.lineBreak);
  110.         else insertString("null" + MySystem.lineBreak);
  111.     }
  112.  
  113.     public void print(String str) {
  114.         if(str!=null) insertString(str);
  115.         else insertString("null");
  116.     }
  117.  
  118.     public void println(Object obj) {
  119.         if(obj!=null) insertString(obj.toString() + MySystem.lineBreak);
  120.         else insertString("null" + MySystem.lineBreak);
  121.     }
  122.  
  123.     public void print(Object obj) {
  124.         if(obj!=null) insertString(obj.toString());
  125.         else insertString("null");
  126.     }
  127.  
  128. }
  129.