org.w3c.rdf.implementation.vocabulary
Class JavaStringEncoder

java.lang.Object
  |
  +--java.io.OutputStream
        |
        +--java.io.FilterOutputStream
              |
              +--org.w3c.rdf.implementation.vocabulary.JavaStringEncoder

public class JavaStringEncoder
extends java.io.FilterOutputStream

Encodes a string into Java coded string. Does not write the heading and trailing " char.


Fields inherited from class java.io.FilterOutputStream
out
 
Constructor Summary
JavaStringEncoder(java.io.OutputStream in)
           
 
Method Summary
 void write(byte[] b, int off, int len)
           
 void write(int b)
           
 
Methods inherited from class java.io.FilterOutputStream
close, flush, write
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

JavaStringEncoder

public JavaStringEncoder(java.io.OutputStream in)
Method Detail

write

public void write(int b)
           throws java.io.IOException
Overrides:
write in class java.io.FilterOutputStream

write

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