|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--java.io.OutputStream | +--java.io.FilterOutputStream | +--com.parctechnologies.eclipse.EXDROutputStream
A stream which can write EXDR format. An EXDROutputStream can be constructed from any instance of the OutputStream class and extends it to be able to write outgoing data in the EXDR (ECLiPSe eXternal Data Representation) format.
Use the method write(Object)
to convert
Java CompoundTerm objects and instances of other relevant Java classes into EXDR format
so that data can be read in by ECLiPSe.
EXDROutputStream also uses a buffer: rather than writing to the underlying OutputStream byte-by-byte, EXDR data is written to the buffer and then copied to the OutputStream when a whole term has been completed.
Note that EXDROutputStream objects are often constructed using ToEclipseQueues.
CompoundTerm
,
ToEclipseQueue
Constructor Summary | |
EXDROutputStream(java.io.OutputStream s)
Construct an EXDROutputStream which will write EXDR to a named OutputStream. |
|
EXDROutputStream(java.io.OutputStream s,
boolean compressStrings)
Construct an EXDROutputStream which will write EXDR with optionally compressed strings to a named OutputStream. |
Method Summary | |
void |
enableCompression(boolean compress)
Enable / disable string compression for subsequently written terms. |
void |
flush()
Flushes the underlying OutputStream. |
void |
write(java.lang.Object o)
Write an Object to the underlying stream in EXDR format. |
Methods inherited from class java.io.FilterOutputStream |
close,
write,
write,
write |
Methods inherited from class java.lang.Object |
equals,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
Constructor Detail |
public EXDROutputStream(java.io.OutputStream s)
public EXDROutputStream(java.io.OutputStream s, boolean compressStrings)
Method Detail |
public void write(java.lang.Object o) throws java.io.IOException
null
- this is interpreted as a variable in ECLiPSe. public void flush() throws java.io.IOException
public void enableCompression(boolean compress)
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |