Commit 6ce61c3f authored by zeiss's avatar zeiss
Browse files

No commit message 

No commit message
parent 317f65f1

15_templates/1508_template_restrictions/Syn_1508_TemplateRestrictions_005.ttcn→15_templates/1508_template_restrictions/NegSem_1508_TemplateRestrictions_026.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 150 $

 ** @purpose  1:15.8, Ensure that template(present) is accepted with a concrete value.

 ** @purpose  1:15.8, Ensure that template(value) refuses omit as a whole.

 ** @verdict  pass accept, noexecution

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



module Syn_1508_TemplateRestrictions_005 {

module NegSem_1508_TemplateRestrictions_026 {



type record ExampleType {

	integer a,

	boolean b optional

}



template(present) ExampleType exampleOmit := {1, true};

template(value) ExampleType exampleOmit := omit;



}
 
 No newline at end of file

15_templates/1508_template_restrictions/Syn_1508_TemplateRestrictions_003.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 150 $

 ** @purpose  1:15.8, Ensure that template(value) is accepted with value omitvalue.

 ** @purpose  1:15.8, Ensure that template(value) is accepted with a concrete value.

 ** @verdict  pass accept, noexecution

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

}



template(value) ExampleType exampleOmit := omit;

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



}
 
 No newline at end of file

15_templates/1508_template_restrictions/Syn_1508_TemplateRestrictions_004.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 150 $

 ** @purpose  1:15.8, Ensure that template(value) is accepted with a concrete value.

 ** @purpose  1:15.8, Ensure that template(present) is accepted with a concrete value.

 ** @verdict  pass accept, noexecution

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

}



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

template(present) ExampleType exampleOmit := {1, true};



}
 
 No newline at end of file