Commit 4d3776b3 authored by zeiss's avatar zeiss
Browse files

No commit message 

No commit message
parent ecccd9cb

15_templates/1508_template_restrictions/NegSem_1508_TemplateRestrictions_014.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(value) is rejected with anyvalue(?).

 ** @verdict  pass reject

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



module NegSem_1508_TemplateRestrictions_014 {



type record ExampleType {

	integer a,

	boolean b optional

}



template(value) ExampleType exampleOmitAny := ?;



}
 
 No newline at end of file

15_templates/1508_template_restrictions/NegSem_1508_TemplateRestrictions_015.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(value) is rejected with valuelist.

 ** @verdict  pass reject

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



module NegSem_1508_TemplateRestrictions_015 {



type record ExampleType {

	integer a,

	boolean b optional

}



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



}
 
 No newline at end of file

15_templates/1508_template_restrictions/NegSem_1508_TemplateRestrictions_016.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(value) is rejected with anyvalueornone(*).

 ** @verdict  pass reject

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



module NegSem_1508_TemplateRestrictions_016 {



type record ExampleType {

	integer a,

	boolean b optional

}



template(value) ExampleType exampleOmitAny := *;



}
 
 No newline at end of file

15_templates/1508_template_restrictions/NegSem_1508_TemplateRestrictions_017.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(value) is rejected with value ranges.

 ** @verdict  pass reject

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



module NegSem_1508_TemplateRestrictions_017 {



type record ExampleType {

	integer a,

	boolean b optional

}



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



}
 
 No newline at end of file

15_templates/1508_template_restrictions/NegSem_1508_TemplateRestrictions_018.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(value) is rejected with supersets.

 ** @verdict  pass reject

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



module NegSem_1508_TemplateRestrictions_018 {



type record ExampleType {

	set of integer a,

	boolean b optional

}



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



}
 
 No newline at end of file