/***************************************************
 ** @author   STF 487
 ** @version  0.0.1
 ** @purpose  1:5.4.1.1, verify that port definition cannot be parameterized
 ** @verdict  pass reject
 ***************************************************/

// The following requirement is tested:
// Restriction a)
// Language elements which cannot be parameterized are: const, var, timer, control, record of,
// set of, enumerated, port, component and subtype definitions, group and import.

module NegSyn_05040101_parameters_of_kind_value_009 {

	type port P(integer p_int) message {
        inout integer;
        map param(integer p_par := p_int);
    }
}
