| public xdrEncodeByte ( byte value ) : void | ||
| value | byte | Byte value to encode. |
| return | void | |
public void xdrEncodeByte(byte value)
{
//
// For speed reasons, we do sign extension here, but the higher bits
// will be removed again when deserializing.
//
xdrEncodeInt((int)value);
}
