public interface Literal
int
size()
void
writeTo(java.io.OutputStream os)
int size()
void writeTo(java.io.OutputStream os) throws java.io.IOException
java.io.IOException