/*****************************************************************
 ** @author  	TTF 014
 ** @version 	0.0.1
 ** @purpose 	1:15.3, Ensure that signature templates with restriction e) are accepted.
 ** @verdict 	pass accept, noexecution
 *****************************************************************/
/* The following requirements are tested:
 * After completing initialization, global and local signature templates that do not contain the @abstract modifier
 * shall fulfil the following conditions:
 *
 * All in and inout procedure parameters are completely initialized and
 * all out procedure parameters are unitialized.
 */
module Syn_1503_GlobalAndLocalTemplates_009 {
	signature p_Syn_1503_SignatureTemplate(in integer p_in,
										   inout integer p_inout,
										   out integer p_out) return integer;

	template p_Syn_1503_SignatureTemplate s_myTemplate := {
		p_in := 1,
		p_inout := 2
		// p_out :=    //unitialized
	}
}