Commit 769c2f47 authored by zeiss's avatar zeiss
Browse files

No commit message 

No commit message
parent 83930e0d

15_templates/1508_template_restrictions/Sem_1508_TemplateRestrictions_015.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 150 $

 ** @purpose  1:15.8, Ensure that a base template can be modified without restrictions.

 ** @verdict  pass accept, ttcn3verdict:pass

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



module Sem_1508_TemplateRestrictions_015 {



type component GeneralComp { }



type record ExampleType {

	integer a,

	boolean b optional

}



template ExampleType m_baseTemplate := {

	a := 20,

	b := true

}



template ExampleType m_modifiedTemplate modifies m_baseTemplate := {

	a := 22

}



testcase TC_Sem_1508_TemplateRestrictions_015() runs on GeneralComp {	

	if (match(m_baseTemplate, {22, true})) {

		setverdict(pass);

	} else {

		setverdict(fail);

	}

}



control{

    execute(TC_Sem_1508_TemplateRestrictions_015());

}





}
 
 No newline at end of file

15_templates/1508_template_restrictions/Sem_1508_TemplateRestrictions_016.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 150 $

 ** @purpose  1:15.8, Ensure that a base template can be modified with template(present) restriction.

 ** @verdict  pass accept, ttcn3verdict:pass

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



module Sem_1508_TemplateRestrictions_016 {



type component GeneralComp { }



type record ExampleType {

	integer a,

	boolean b optional

}



template ExampleType m_baseTemplate := {

	a := 20,

	b := true

}



template(present) ExampleType m_modifiedTemplate modifies m_baseTemplate := {

	a := 22

}



testcase TC_Sem_1508_TemplateRestrictions_016() runs on GeneralComp {	

	if (match(m_baseTemplate, {22, true})) {

		setverdict(pass);

	} else {

		setverdict(fail);

	}

}



control{

    execute(TC_Sem_1508_TemplateRestrictions_016());

}





}
 
 No newline at end of file

15_templates/1508_template_restrictions/Sem_1508_TemplateRestrictions_017.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 150 $

 ** @purpose  1:15.8, Ensure that a base template can be modified with template(omit) restriction.

 ** @verdict  pass accept, ttcn3verdict:pass

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



module Sem_1508_TemplateRestrictions_017 {



type component GeneralComp { }



type record ExampleType {

	integer a,

	boolean b optional

}



template ExampleType m_baseTemplate := {

	a := 20,

	b := true

}



template(omit) ExampleType m_modifiedTemplate modifies m_baseTemplate := {

	a := 22

}



testcase TC_Sem_1508_TemplateRestrictions_017() runs on GeneralComp {	

	if (match(m_baseTemplate, {22, true})) {

		setverdict(pass);

	} else {

		setverdict(fail);

	}

}



control{

    execute(TC_Sem_1508_TemplateRestrictions_017());

}





}
 
 No newline at end of file

15_templates/1508_template_restrictions/Sem_1508_TemplateRestrictions_018.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 150 $

 ** @purpose  1:15.8, Ensure that a base template can be modified with template(value) restriction.

 ** @verdict  pass accept, ttcn3verdict:pass

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



module Sem_1508_TemplateRestrictions_018 {



type component GeneralComp { }



type record ExampleType {

	integer a,

	boolean b optional

}



template ExampleType m_baseTemplate := {

	a := 20,

	b := true

}



template(value) ExampleType m_modifiedTemplate modifies m_baseTemplate := {

	a := 22

}



testcase TC_Sem_1508_TemplateRestrictions_018() runs on GeneralComp {	

	if (match(m_baseTemplate, {22, true})) {

		setverdict(pass);

	} else {

		setverdict(fail);

	}

}



control{

    execute(TC_Sem_1508_TemplateRestrictions_018());

}





}
 
 No newline at end of file

15_templates/1508_template_restrictions/Sem_1508_TemplateRestrictions_019.ttcn

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

 ** @author   STF 409

 ** @version  $Rev: 150 $

 ** @purpose  1:15.8, Ensure that a template(present) base template can be modified with template(present) restriction.

 ** @verdict  pass accept, ttcn3verdict:pass

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



module Sem_1508_TemplateRestrictions_019 {



type component GeneralComp { }



type record ExampleType {

	integer a,

	boolean b optional

}



template(present) ExampleType m_baseTemplate := {

	a := 20,

	b := true

}



template(present) ExampleType m_modifiedTemplate modifies m_baseTemplate := {

	a := 22

}



testcase TC_Sem_1508_TemplateRestrictions_019() runs on GeneralComp {	

	if (match(m_baseTemplate, {22, true})) {

		setverdict(pass);

	} else {

		setverdict(fail);

	}

}



control{

    execute(TC_Sem_1508_TemplateRestrictions_019());

}





}
 
 No newline at end of file