|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--java.io.InputStream | +--java.io.FilterInputStream | +--java.io.DataInputStream | +--com.parctechnologies.eclipse.EXDRInputStream
A stream which can read EXDR format. An EXDRInputStream can be constructed from any instance of the InputStream class and extends it to be able to interpret incoming data which is in the EXDR (ECLiPSe eXternal Data Representation) format.
Use the method readTerm()
to convert from EXDR into
Java CompoundTerm objects and instances of other relevant Java classes
which represent ECLiPSe types.
Note that EXDRInputStream objects are often constructed using the
FromEclipseQueue
class.
CompoundTerm
,
FromEclipseQueue
Constructor Summary | |
EXDRInputStream(java.io.InputStream in)
Construct an EXDRInputStream using a given InputStream for incoming data. |
Method Summary | |
java.lang.Object |
readTerm()
Read a chunk (one term's worth) of EXDR from the incoming data and convert it into the corresponding object (an instance of CompoundTerm, Integer, etc.). |
Methods inherited from class java.io.DataInputStream |
read,
read,
readBoolean,
readByte,
readChar,
readDouble,
readFloat,
readFully,
readFully,
readInt,
readLine,
readLong,
readShort,
readUnsignedByte,
readUnsignedShort,
readUTF,
readUTF,
skipBytes |
Methods inherited from class java.io.FilterInputStream |
available,
close,
mark,
markSupported,
read,
reset,
skip |
Methods inherited from class java.lang.Object |
equals,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
Constructor Detail |
public EXDRInputStream(java.io.InputStream in)
Method Detail |
public java.lang.Object readTerm() throws java.io.IOException
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |