|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.eclipse.core.internal.watson.ElementTreeReader
public class ElementTreeReader
ElementTreeReader is the standard implementation
of an element tree serialization reader.
Subclasses of this reader read can handle current and various known old formats of a saved element tree, and dispatch internally to an appropriate reader.
The reader has an IElementInfoFactory,
which it consults for the schema and for creating
and reading element infos.
Element tree readers are thread-safe; several
threads may share a single reader provided, of course,
that the IElementInfoFactory is thread-safe.
| Constructor Summary | |
|---|---|
ElementTreeReader(IElementInfoFlattener factory)
Constructs a new element tree reader that works for the given element info flattener. |
|
| Method Summary | |
|---|---|
ElementTreeReader |
getReader(int formatVersion)
Returns the appropriate reader for the given version. |
ElementTree |
readDelta(ElementTree completeTree,
java.io.DataInput input)
Reads an element tree delta from the input stream, and reconstructs it as a delta on the given tree. |
ElementTree[] |
readDeltaChain(java.io.DataInput input)
Reads a chain of ElementTrees from the given input stream. |
ElementTree |
readTree(java.io.DataInput input)
Reads an element tree from the input stream and returns it. |
| Methods inherited from class java.lang.Object |
|---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public ElementTreeReader(IElementInfoFlattener factory)
| Method Detail |
|---|
public ElementTreeReader getReader(int formatVersion)
throws java.io.IOException
java.io.IOException
public ElementTree readDelta(ElementTree completeTree,
java.io.DataInput input)
throws java.io.IOException
java.io.IOException
public ElementTree[] readDeltaChain(java.io.DataInput input)
throws java.io.IOException
java.io.IOException
public ElementTree readTree(java.io.DataInput input)
throws java.io.IOException
java.io.IOException
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||