write_port() public method

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