conformance_test/positive_tests/06_types_and_values/0603_type_compatibility/060302_structured_types/Sem_060302_structured_types_005.ttcn

   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
   7  *
   8  * Contributors:
   9  *   Adrien Kirjak – initial implementation
  10  *
  11  ** @version  0.0.1
  12  ** @purpose  1:6.3.2, Ensure that the IUT correctly handles assignments from structures having compatible types and type ranges
  13  ** @verdict  pass accept, ttcn3verdict:pass
  14  ***************************************************/
  15
  16 module Sem_060302_structured_types_005 {
  17
  18         type record RecordType {
  19          integer  a(0..10) optional,
  20          integer  b(0..10) optional,
  21          boolean  c
  22         }
  23
  24         type record of RecordType RecordList;
  25
  26         type component GeneralComp {
  27         }
  28
  29         testcase TC_Sem_060302_structured_types_005() runs on GeneralComp {
  30
  31                 var RecordList v_list;
  32                 var RecordType v_record:={ a:= 1, b:= 2, c:= false };
  33                 var integer v_int;
  34
  35                 v_list:= {v_record,v_record};
  36                 v_int:=v_list[1].b;
  37
  38                 if ( v_int==2 ) {
  39                     setverdict(pass);
  40                 }
  41                 else {
  42                     setverdict(fail);
  43                 }
  44         }
  45
  46         control{
  47                 execute(TC_Sem_060302_structured_types_005());
  48         }
  49
  50 }