Commit b974c451 authored by urbant's avatar urbant
Browse files

Tests for actual parameters (restrictions and examples)

parent 7905243a

ATS/05_basic_language_elements/0504_parametrization/050402_actual_parameters/Sem_050402_actual_parameters_066.ttcn

+1 −1
Original line number Diff line number Diff line
@@ -2,7 +2,7 @@ 
 ** @author   STF 487

 ** @version  0.0.1

 ** @purpose  1:5.4.2, verify that template parameters can be used as in formal template parameters of functions

 ** ** @verdict  pass accept, ttcn3verdict:pass

 ** @verdict  pass accept, ttcn3verdict:pass

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



// The following requirement is tested:

ATS/05_basic_language_elements/0504_parametrization/050402_actual_parameters/Sem_050402_actual_parameters_067.ttcn

+1 −1
Original line number Diff line number Diff line
@@ -2,7 +2,7 @@ 
 ** @author   STF 487

 ** @version  0.0.1

 ** @purpose  1:5.4.2, verify that template variables can be used as in formal template parameters of functions

 ** ** @verdict  pass accept, ttcn3verdict:pass

 ** @verdict  pass accept, ttcn3verdict:pass

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



// The following requirement is tested:

ATS/05_basic_language_elements/0504_parametrization/050402_actual_parameters/Sem_050402_actual_parameters_068.ttcn

+1 −1
Original line number Diff line number Diff line
@@ -2,7 +2,7 @@ 
 ** @author   STF 487

 ** @version  0.0.1

 ** @purpose  1:5.4.2, verify that template in parameters can be used as in formal template parameters of functions

 ** ** @verdict  pass accept, ttcn3verdict:pass

 ** @verdict  pass accept, ttcn3verdict:pass

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



// The following requirement is tested:

ATS/05_basic_language_elements/0504_parametrization/050402_actual_parameters/Sem_050402_actual_parameters_069.ttcn

+1 −1
Original line number Diff line number Diff line
@@ -2,7 +2,7 @@ 
 ** @author   STF 487

 ** @version  0.0.1

 ** @purpose  1:5.4.2, verify that template out parameters can be used as in formal template parameters of functions

 ** ** @verdict  pass accept, ttcn3verdict:pass

 ** @verdict  pass accept, ttcn3verdict:pass

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



// The following requirement is tested:

ATS/05_basic_language_elements/0504_parametrization/050402_actual_parameters/Sem_050402_actual_parameters_070.ttcn

+1 −1
Original line number Diff line number Diff line
@@ -2,7 +2,7 @@ 
 ** @author   STF 487

 ** @version  0.0.1

 ** @purpose  1:5.4.2, verify that template inout parameters can be used as in formal template parameters of functions

 ** ** @verdict  pass accept, ttcn3verdict:pass

 ** @verdict  pass accept, ttcn3verdict:pass

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



// The following requirement is tested: