java.lang.Object
java.io.Writer
com.diaam.lgpl.ts.SwingTextDocumentWriter
- public class SwingTextDocumentWriter
- extends java.io.Writer
SwingTextDocumentWriter est un writer pour écrire dans
un document swing.
Quelles sont les modifs par rapport à la précédente version ? L'ajout
de la méthode "asStream", et l'ajout de la gestion des attributs.
Cette classe est en diffusion LGPL, et elle est téléchargeable à
http://perso.club-internet.fr/hagnoux/java/TerminalStandard.
- Version:
- 1.1 février 1999.
|
Method Summary |
java.io.OutputStream |
asStream()
|
void |
close()
Ne fait rien, à part renseigner un flag pour mémoriser que le flux
et fermé. |
void |
flush()
Ne fait rien. |
static void |
main(java.lang.String[] args)
Pour les tests. |
int |
offsetAtteint()
Permet de savoir l'offset du dernier caractère écrit, pour divers
traitements (empecher son effacement, en l'occurence). |
void |
write(char[] cbuf,
int off,
int len)
Pas grand chose à dire. |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
monDocument
private javax.swing.text.Document monDocument
ouvert
private boolean ouvert
lOffsetAtteint
private int lOffsetAtteint
mesAttributs
private javax.swing.text.AttributeSet mesAttributs
buffer
private java.util.Vector buffer
log
private java.io.Writer log
SwingTextDocumentWriter
public SwingTextDocumentWriter(javax.swing.text.Document doc,
java.io.Writer _log)
- Le constructeur enregistre le document dans lequel écrire, et
initialise l'offset pour repérer la fin du dernier write, et initialise
les attributs des caractères pour repérer ceux qui sont passés par
son entremise.
SwingTextDocumentWriter
public SwingTextDocumentWriter(javax.swing.text.Document doc)
write
public void write(char[] cbuf,
int off,
int len)
throws java.io.IOException
- Pas grand chose à dire. A chaque
write, l'instance
mémorise l'offset du dernier caractère écrit, qui sera renvoyé par
offsetAtteint.
flush
public void flush()
throws java.io.IOException
- Ne fait rien.
close
public void close()
throws java.io.IOException
- Ne fait rien, à part renseigner un flag pour mémoriser que le flux
et fermé.
offsetAtteint
public int offsetAtteint()
- Permet de savoir l'offset du dernier caractère écrit, pour divers
traitements (empecher son effacement, en l'occurence). Cette façon de
faire n'est pas géniale, et il y en aura probablement une autre plus tard.
main
public static void main(java.lang.String[] args)
throws java.lang.Exception
- Pour les tests.
asStream
public java.io.OutputStream asStream()