public class IdWriter
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
IdManager |
idManager |
static int |
MAX_STR_LENGTH
Constant to bypass limitations of java.io.DataOutputStream#writeUTF(String) .
|
Constructor and Description |
---|
IdWriter(IdManager idManager,
java.io.DataOutputStream out)
Creates a new instance of SnapshotWriter
|
Modifier and Type | Method and Description |
---|---|
void |
close()
Flushes this IdWriter
|
void |
flush()
Flushes this IdWriter
|
void |
writeArcId(int arcId)
Writes arc id.
|
void |
writeArcProtoId(ArcProtoId arcProtoId)
Writes ArcProtoId.
|
void |
writeBoolean(boolean v)
Writes boolean.
|
void |
writeByte(byte v)
Writes byte.
|
void |
writeBytes(byte[] v)
Writes bytes.
|
void |
writeCoord(long v)
Writes coordiante.
|
void |
writeDiffs() |
void |
writeDouble(double v)
Writes double.
|
void |
writeFloat(float v)
Writes float.
|
void |
writeInt(int v)
Writes integer.
|
void |
writeLibId(LibId libId)
Writes LibId.
|
void |
writeLong(long v)
Writes long.
|
void |
writeNameKey(Name nameKey)
Writes Name key.
|
void |
writeNodeId(int nodeId)
Writes node id.
|
void |
writeNodeProtoId(NodeProtoId nodeProtoId)
Writes NodeProtoId.
|
void |
writeOrientation(Orientation orient)
Writes Orientation.
|
void |
writePoint(EPoint p)
Writes EPoint.
|
void |
writePortProtoId(PortProtoId portProtoId)
Writes PortProtoId.
|
void |
writeRectangle(ERectangle r)
Writes ERectangle.
|
void |
writeShort(short v)
Writes short.
|
void |
writeString(java.lang.String s)
Writes string.
|
void |
writeTechId(TechId techId)
Writes TechId.
|
void |
writeTextDescriptor(TextDescriptor td)
Writes TextDescriptor.
|
void |
writeTool(Tool tool)
Writes Tool.
|
void |
writeVariableKey(Variable.Key key)
Writes variable key.
|
public static final int MAX_STR_LENGTH
public final IdManager idManager
public IdWriter(IdManager idManager, java.io.DataOutputStream out)
public void writeDiffs() throws java.io.IOException
java.io.IOException
public void flush() throws java.io.IOException
java.io.IOException
public void close() throws java.io.IOException
java.io.IOException
public void writeBoolean(boolean v) throws java.io.IOException
v
- boolean to write.java.io.IOException
public void writeByte(byte v) throws java.io.IOException
v
- byte to write.java.io.IOException
public void writeShort(short v) throws java.io.IOException
v
- short to write.java.io.IOException
public void writeInt(int v) throws java.io.IOException
v
- integer to write.java.io.IOException
public void writeLong(long v) throws java.io.IOException
v
- long to write.java.io.IOException
public void writeFloat(float v) throws java.io.IOException
v
- float to write.java.io.IOException
public void writeDouble(double v) throws java.io.IOException
v
- double to write.java.io.IOException
public void writeBytes(byte[] v) throws java.io.IOException
v
- bytes to write.java.io.IOException
public void writeString(java.lang.String s) throws java.io.IOException
s
- string to write.java.io.IOException
public void writeVariableKey(Variable.Key key) throws java.io.IOException
key
- variable key to write.java.io.IOException
public void writeTextDescriptor(TextDescriptor td) throws java.io.IOException
td
- TextDescriptor to write.java.io.IOException
public void writeTool(Tool tool) throws java.io.IOException
tool
- Tool to write.java.io.IOException
public void writeTechId(TechId techId) throws java.io.IOException
techId
- TechId to write.java.io.IOException
public void writeArcProtoId(ArcProtoId arcProtoId) throws java.io.IOException
arcProtoId
- ArcProtoId to write.java.io.IOException
public void writeLibId(LibId libId) throws java.io.IOException
libId
- LibId to write.java.io.IOException
public void writeNodeProtoId(NodeProtoId nodeProtoId) throws java.io.IOException
nodeProtoId
- NodeProtoId to write.java.io.IOException
public void writePortProtoId(PortProtoId portProtoId) throws java.io.IOException
portProtoId
- PortProtoId to write.java.io.IOException
public void writeNodeId(int nodeId) throws java.io.IOException
nodeId
- node id to write.java.io.IOException
public void writeArcId(int arcId) throws java.io.IOException
arcId
- arc id to write.java.io.IOException
public void writeNameKey(Name nameKey) throws java.io.IOException
nameKey
- name key to write.java.io.IOException
public void writeOrientation(Orientation orient) throws java.io.IOException
orient
- Orientation.java.io.IOException
public void writeCoord(long v) throws java.io.IOException
v
- gridCooridnate.java.io.IOException
public void writePoint(EPoint p) throws java.io.IOException
p
- EPoint.java.io.IOException
public void writeRectangle(ERectangle r) throws java.io.IOException
r
- ERectangle.java.io.IOException