/******************************************************************************
 * Copyright (C) 2016 ETSI  All Rights Reserved.
 *
 * Adrien Kirjak
 *
 ** @version  0.0.1
 ** @purpose  1:15.8, Ensure that the an unrestriced template can be parameter to template(present)
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/

module Sem_1508_TemplateRestrictions_043 {

    type record ExampleType {	// Exampletype record integer and a boolean
       	integer a,
		boolean b 
    }	
	
	type component GeneralComp {
	}

	template (present) ExampleType m_baseTemplate(template integer MyintTemplate := 21) :={
		a := MyintTemplate,	 
		b := true
	}
	
	testcase TC_Sem_1508_TemplateRestrictions_043() runs on GeneralComp {
      
		
		if (ispresent(m_baseTemplate.a) == true) {
      		setverdict(pass);
		} else {
            setverdict(fail);
       	}
 	}

    control{
        execute(TC_Sem_1508_TemplateRestrictions_043());
    }
}
