Commit ecccd9cb authored by zeiss's avatar zeiss
Browse files

No commit message 

No commit message
parent 855089b2

15_templates/1508_template_restrictions/NegSem_1508_TemplateRestrictions_001.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 150 $

 ** @purpose  1:15.8, Ensure that template(omit) is rejected with anyvalue(?).

 ** @verdict  pass reject

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



module NegSem_1508_TemplateRestrictions_001 {



type record ExampleType {

	integer a,

	boolean b optional

}



template(omit) ExampleType exampleOmitAny := ?;



}
 
 No newline at end of file

15_templates/1508_template_restrictions/NegSem_1508_TemplateRestrictions_002.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 150 $

 ** @purpose  1:15.8, Ensure that template(omit) is rejected with valuelist.

 ** @verdict  pass reject

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



module NegSem_1508_TemplateRestrictions_002 {



type record ExampleType {

	integer a,

	boolean b optional

}



template(omit) ExampleType exampleOmitAny := ({1,true},{2,false});



}
 
 No newline at end of file

15_templates/1508_template_restrictions/NegSem_1508_TemplateRestrictions_003.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 150 $

 ** @purpose  1:15.8, Ensure that template(omit) is rejected with anyvalueornone(*).

 ** @verdict  pass reject

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



module NegSem_1508_TemplateRestrictions_003 {



type record ExampleType {

	integer a,

	boolean b optional

}



template(omit) ExampleType exampleOmitAny := *;



}
 
 No newline at end of file

15_templates/1508_template_restrictions/NegSem_1508_TemplateRestrictions_004.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 150 $

 ** @purpose  1:15.8, Ensure that template(omit) is rejected with value ranges.

 ** @verdict  pass reject

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



module NegSem_1508_TemplateRestrictions_004 {



type record ExampleType {

	integer a,

	boolean b optional

}



template(omit) ExampleType exampleOmitAny := {(1..6), true};



}
 
 No newline at end of file

15_templates/1508_template_restrictions/NegSem_1508_TemplateRestrictions_005.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 150 $

 ** @purpose  1:15.8, Ensure that template(omit) is rejected with supersets.

 ** @verdict  pass reject

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



module NegSem_1508_TemplateRestrictions_005 {



type record ExampleType {

	set of integer a,

	boolean b optional

}



template(omit) ExampleType exampleOmitAny := {superset(1,2,3), true};



}
 
 No newline at end of file