Commit 317f65f1 authored by zeiss's avatar zeiss
Browse files

No commit message 

No commit message
parent ba1b5ba0

15_templates/1508_template_restrictions/Syn_1508_TemplateRestrictions_006.ttcn→15_templates/1508_template_restrictions/NegSem_1508_TemplateRestrictions_025.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(present) refuses omitvalue as a whole.

 ** @verdict  pass accept, noexecution

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



module Syn_1508_TemplateRestrictions_004 {

module NegSem_1508_TemplateRestrictions_025 {



type record ExampleType {

	integer a,

	boolean b optional

}



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

template(present) ExampleType exampleOmit := omit;



}
 
 No newline at end of file

15_templates/1508_template_restrictions/Syn_1508_TemplateRestrictions_005.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 value omitvalue.

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

 ** @verdict  pass accept, noexecution

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



module Syn_1508_TemplateRestrictions_003 {

module Syn_1508_TemplateRestrictions_005 {



type record ExampleType {

	integer a,

	boolean b optional

}



template(present) ExampleType exampleOmit := omit;

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



}
 
 No newline at end of file