- get_byte(Stream,Byte):
Inputs a byte from Stream and unifies Byte with the byte. After
reaching the end of file, it unifies Byte with -1.
- get_byte(Byte):
The same as the previous one except that the current input stream is used.
- peek_byte(Stream,Byte):
The current byte in Stream is Byte. The postion pointer of Stream remains the same after this operation.
- peek_byte(Byte):
The same as
- peek_byte(Stream,Byte) except that the current input stream is used.
- put_byte(Stream,Byte):
Outputs a byte Byte to the stream Stream.
- put_byte(Byte):
Outputs a byte Byte to the current output stream.
Neng-Fa Zhou
2012-01-03
