/*****************************************************************
 ** @author   STF 470
 ** @version  0.0.1
 ** @purpose  1:6.2.9, Ensure that procedure-based ports with address are accepted
 ** @verdict  pass accept, noexecution
 *****************************************************************/

module Syn_060209_CommunicationPortTypes_004 {

	signature S1();

    type port MyMessagePortType procedure {
        inout S1;
        // if addressing is used on ports of type MyMessagePortType
        // the addresses have to be of type integer
        address integer;
    }

}