1 /******************************************************************************
2 * Copyright (c) 2000-2016 Ericsson Telecom AB
3 * All rights reserved. This program and the accompanying materials
4 * are made available under the terms of the Eclipse Public License v1.0
5 * which accompanies this distribution, and is available at
6 * http://www.eclipse.org/legal/epl-v10.html
9 * Adrien Kirjak – initial implementation
12 ** @purpose 1:16.1.2, Ensure that the IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C.3.5)
13 ** @verdict pass accept, ttcn3verdict:pass
14 ***************************************************/
16 /* The following requirements are tested:
17 * this test investigates that IUT correctly evaluates predefined function istemplateking().*/
19 module Sem_160102_predefined_functions_050 {
22 type component GeneralComp {
26 type record of integer MyRecofInt;
28 testcase TC_Sem_160102_predefined_functions_050 () runs on GeneralComp {
29 var template MyRecofInt v_1 := {1,2,3,4,5}; // specific value of integer type
30 var template integer v_3 := complement(all from v_1, 10); //component
32 if ( match(istemplatekind(v_3, "complement"), true)) {setverdict(pass," component: ", istemplatekind(v_3, "complement"));}
33 else{setverdict(fail," componenet:",istemplatekind(v_3, "complement"), " expected result: true");}
38 execute(TC_Sem_160102_predefined_functions_050());