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); }