| public write_port ( String node, int id, int creation ) : void | ||
| node | String | |
| id | int | |
| creation | int | |
| 리턴 | void | |
/**
* 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);
}
/**
* 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);
}