Commit b60dac04 authored by Matthias Simon's avatar Matthias Simon
Browse files

Fix author tags

parent 388e71d1

ATS/core_language/05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040101_parameters_of_kind_value/Sem_05040101_nested_types_001.ttcn

+1 −1
Original line number Diff line number Diff line 
// @author   TTF23

// @author   TTF T023

// @purpose  1:5.4.1.1, Ensure formal parameters accept nested types.

// @verdict  pass accept

module Sem_05040101_nested_types_001 {

ATS/core_language/05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040102_parameters_of_kind_template/Sem_05040102_nested_types_001.ttcn

+1 −1
Original line number Diff line number Diff line 
// @author   TTF23

// @author   TTF T023

// @purpose  1:5.4.1.2, Ensure formal parameters accept nested types.

// @verdict  pass accept

module Sem_05040102_nested_types_001 {

ATS/core_language/05_basic_language_elements/0504_parametrization/050403_variadic_parameters/NegSem_050403_variadic_parameters_001.ttcn

+1 −1
Original line number Diff line number Diff line 
// @author   TTF23

// @author   TTF T023

// @purpose  1:5.4.3, Ensure variadic formal parameters are at the end of the formal parameter list.

// @verdict  pass reject

module NegSem_050403_variadic_parameters_001 {

ATS/core_language/05_basic_language_elements/0504_parametrization/050403_variadic_parameters/NegSem_050403_variadic_parameters_002.ttcn

+1 −1
Original line number Diff line number Diff line 
// @author   TTF23

// @author   TTF T023

// @purpose  1:5.4.3, Ensure only one variadic formal parameter per formal parameter list is allowed.

// @verdict  pass reject

module NegSem_050403_variadic_parameters_002 {

ATS/core_language/05_basic_language_elements/0504_parametrization/050403_variadic_parameters/NegSem_050403_variadic_parameters_003.ttcn

+1 −1
Original line number Diff line number Diff line 
// @author   TTF23

// @author   TTF T023

// @purpose  1:5.4.3, Ensure variadic parameters are in parameters.

// @verdict  pass reject

module NegSem_050403_variadic_parameters_003 {