Commit 235dd0d5 authored by zeiss's avatar zeiss
Browse files

No commit message 

No commit message
parent 36843b8e

15_templates/1508_template_restrictions/Sem_1508_TemplateRestrictions_001.ttcn

+1 −1
Original line number Diff line number Diff line 
/*****************************************************************

 ** @author   STF 409

 ** @version  $Rev: 150 $

 ** @purpose  1:15.8, Ensure that the assignment of a template with omit as value can be assigned to a template with omit restriction.

 ** @purpose  1:15.8, Ensure that a template(omit) can be assigned to a template(omit) variable.

 ** @verdict  pass accept, ttcn3verdict:pass

 *****************************************************************/

15_templates/1508_template_restrictions/Sem_1508_TemplateRestrictions_002.ttcn

+1 −1
Original line number Diff line number Diff line 
/*****************************************************************

 ** @author   STF 409

 ** @version  $Rev: 150 $

 ** @purpose  1:15.8, Ensure that a templat(value) with an omitted optional field can be assigned to a template(omit) variable.

 ** @purpose  1:15.8, Ensure that a templat(value) can be assigned to a template(omit) variable.

 ** @verdict  pass accept, ttcn3verdict:pass

 *****************************************************************/

15_templates/1508_template_restrictions/Sem_1508_TemplateRestrictions_003.ttcn

+5 −5
Original line number Diff line number Diff line 
/*****************************************************************

 ** @author   STF 409

 ** @version  $Rev: 150 $

 ** @purpose  1:15.8, Ensure that a template(present) can be assigned to a template(value) variable.

 ** @purpose  1:15.8, Ensure that a template(value) can be assigned to a template(value) variable.

 ** @verdict  pass accept, ttcn3verdict:pass

 *****************************************************************/
@@ -14,14 +14,14 @@ type record ExampleType { 
	boolean b optional

}



template(present) ExampleType examplePresent := {1, ?};

template(value) ExampleType exampleValue := {1, true};



testcase TC_Sem_1508_TemplateRestrictions_003() runs on GeneralComp {

	var template(value) ExampleType v_present;

	var template(value) ExampleType v_value;

	

	v_present := examplePresent;

	v_value := exampleValue;

	

	if (match(v_present, {1,?})) {

	if (match(v_value, {1,true})) {

		setverdict(pass);

	} else {

		setverdict(fail);

15_templates/1508_template_restrictions/Sem_1508_TemplateRestrictions_004.ttcn

0 → 100644
+29 −0
Original line number Diff line number Diff line 
/*****************************************************************

 ** @author   STF 409

 ** @version  $Rev: 150 $

 ** @purpose  1:15.8, Ensure that a value can be assigned to a template(value) variable.

 ** @verdict  pass accept, ttcn3verdict:pass

 *****************************************************************/



module Sem_1508_TemplateRestrictions_004 {



type component GeneralComp { }



testcase TC_Sem_1508_TemplateRestrictions_004() runs on GeneralComp {

	var template(value) integer v_value;

	

	v_value := 20

	

	if (valueof(v_value) == 20) {

		setverdict(pass);

	} else {

		setverdict(fail);

	}

}



control{

    execute(TC_Sem_1508_TemplateRestrictions_004());

}





}
 
 No newline at end of file

15_templates/1508_template_restrictions/Sem_1508_TemplateRestrictions_005.ttcn

0 → 100644
+29 −0
Original line number Diff line number Diff line 
/*****************************************************************

 ** @author   STF 409

 ** @version  $Rev: 150 $

 ** @purpose  1:15.8, Ensure that a value can be assigned to a template(value) variable.

 ** @verdict  pass accept, ttcn3verdict:pass

 *****************************************************************/



module Sem_1508_TemplateRestrictions_005 {



type component GeneralComp { }



testcase TC_Sem_1508_TemplateRestrictions_005() runs on GeneralComp {

	var template(present) integer v_present;

	

	v_present := 20

	

	if (valueof(v_present) == 20) {

		setverdict(pass);

	} else {

		setverdict(fail);

	}

}



control{

    execute(TC_Sem_1508_TemplateRestrictions_005());

}





}
 
 No newline at end of file