write_pid() public method

public write_pid ( String node, int id, int serial, int creation ) : void
node String
id int
serial int
creation int
return void
OtpOutputStream Class Documentation
Exemplo n.º 1
0
 /**
  * Convert this PID to the equivalent Erlang external representation.
  *
  * @param buf
  *                an output stream to which the encoded PID should be
  *                written.
  */
 public override void encode(OtpOutputStream buf)
 {
     buf.write_pid(node, id, serial, creation);
 }