module checkNoAllKeywordInPortDefinitions {

	type port samplePortType_m0 message {
		in charstring
		out integer
	}


	type port samplePortType_m1 message {
		inout all
		in charstring
		out integer
	}

	type port samplePortType_p0 procedure {
		in a
		out b
	}


	type port samplePortType_p1 procedure {
		inout a
		in all
		out all

	}

}