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 |
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 |
JavaStringEncoder
public JavaStringEncoder(java.io.OutputStream in)
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