public class LitTable
extends java.lang.Object
implements java.io.ObjectOutput
Constructor and Description |
---|
LitTable(Compilation comp) |
Modifier and Type | Method and Description |
---|---|
void |
close() |
void |
emit() |
Literal |
findLiteral(java.lang.Object value) |
void |
flush() |
void |
write(byte[] b) |
void |
write(byte[] b,
int off,
int len) |
void |
write(int b) |
void |
writeBoolean(boolean v) |
void |
writeByte(int v) |
void |
writeBytes(java.lang.String s) |
void |
writeChar(int v) |
void |
writeChars(java.lang.String v) |
void |
writeDouble(double v) |
void |
writeFloat(float v) |
void |
writeInt(int v) |
void |
writeLong(long v) |
void |
writeObject(java.lang.Object obj) |
void |
writeShort(int v) |
void |
writeUTF(java.lang.String v) |
public LitTable(Compilation comp)
public void emit() throws java.io.IOException
java.io.IOException
public void flush()
flush
in interface java.io.ObjectOutput
public void close()
close
in interface java.io.ObjectOutput
close
in interface java.lang.AutoCloseable
public void write(int b) throws java.io.IOException
write
in interface java.io.DataOutput
write
in interface java.io.ObjectOutput
java.io.IOException
public void writeBytes(java.lang.String s) throws java.io.IOException
writeBytes
in interface java.io.DataOutput
java.io.IOException
public void write(byte[] b) throws java.io.IOException
write
in interface java.io.DataOutput
write
in interface java.io.ObjectOutput
java.io.IOException
public void write(byte[] b, int off, int len) throws java.io.IOException
write
in interface java.io.DataOutput
write
in interface java.io.ObjectOutput
java.io.IOException
public void writeBoolean(boolean v)
writeBoolean
in interface java.io.DataOutput
public void writeChar(int v)
writeChar
in interface java.io.DataOutput
public void writeByte(int v)
writeByte
in interface java.io.DataOutput
public void writeShort(int v)
writeShort
in interface java.io.DataOutput
public void writeInt(int v)
writeInt
in interface java.io.DataOutput
public void writeLong(long v)
writeLong
in interface java.io.DataOutput
public void writeFloat(float v)
writeFloat
in interface java.io.DataOutput
public void writeDouble(double v)
writeDouble
in interface java.io.DataOutput
public void writeUTF(java.lang.String v)
writeUTF
in interface java.io.DataOutput
public void writeChars(java.lang.String v)
writeChars
in interface java.io.DataOutput
public void writeObject(java.lang.Object obj) throws java.io.IOException
writeObject
in interface java.io.ObjectOutput
java.io.IOException
public Literal findLiteral(java.lang.Object value)