- 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):
This is the same as get_byte(Stream,Byte), 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):
This is 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
2013-01-25
