Operation Integer
getPortNb ( portID ; Integer, String system_name), in Class
Port
Documentation
returns port_nb