org.eclipse.xtext.generator.trace

Class TraceRegionSerializer

java.lang.Object

org.eclipse.xtext.generator.trace.TraceRegionSerializer

public class TraceRegionSerializer
extends java.lang.Object

Noextend:

This interface is not intended to be extended by clients.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static interface	TraceRegionSerializer.Callback<Region,Location>
protected static class	TraceRegionSerializer.CompressedIntDataInput
protected static class	TraceRegionSerializer.IdentityStrategy
static interface	TraceRegionSerializer.Strategy<Region,Location>

Constructor Summary

Constructors

Constructor and Description
TraceRegionSerializer()

Method Summary

Modifier and Type	Method and Description
<Location,Region> Region	doReadFrom(java.io.DataInput dataStream, TraceRegionSerializer.Strategy<Region,Location> reader, Region parent, int version)
<Region,Location> Region	doReadFrom(java.io.InputStream contents, TraceRegionSerializer.Strategy<Region,Location> reader)
<Region,Location> void	doWriteTo(TraceRegionSerializer.Strategy<Region,Location> strategy, Region region, java.io.OutputStream stream)
AbstractTraceRegion	readTraceRegionFrom(java.io.InputStream contents)
void	writeTraceRegionTo(AbstractTraceRegion region, java.io.OutputStream stream)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TraceRegionSerializer

public TraceRegionSerializer()

Method Detail

writeTraceRegionTo

public void writeTraceRegionTo(AbstractTraceRegion region,
                               java.io.OutputStream stream)
                        throws java.io.IOException

Throws:

java.io.IOException

doWriteTo

public <Region,Location> void doWriteTo(TraceRegionSerializer.Strategy<Region,Location> strategy,
                                        Region region,
                                        java.io.OutputStream stream)
                                 throws java.io.IOException

Throws:

java.io.IOException

readTraceRegionFrom

public AbstractTraceRegion readTraceRegionFrom(java.io.InputStream contents)
                                        throws java.io.IOException

Throws:

java.io.IOException

doReadFrom

public <Region,Location> Region doReadFrom(java.io.InputStream contents,
                                           TraceRegionSerializer.Strategy<Region,Location> reader)
                                    throws java.io.IOException

Throws:

java.io.IOException

doReadFrom

public <Location,Region> Region doReadFrom(java.io.DataInput dataStream,
                                           TraceRegionSerializer.Strategy<Region,Location> reader,
                                           Region parent,
                                           int version)
                                    throws java.io.IOException

Throws:

java.io.IOException