conformance_test/positive_tests/19_basic_program_statements/1901_assignments/Sem_1901_assignments_002.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:19.1, Ensure that uninitialized at the right-hand side of the assignment shall also become uninitialized at the left-hand side
  13  ** @verdict  pass  accept, ttcn3verdict:pass
  14  ***************************************************/
  15
  16 module Sem_1901_assignments_002{
  17
  18         type component GeneralComp {
  19         }
  20
  21         type record Myrec{
  22                  integer field1,
  23                  float   field2
  24         };
  25
  26         testcase TC_Sem_1901_assignments_002 () runs on GeneralComp system GeneralComp {
  27                 var Myrec v_i :={11,1.1};    //fully initialized variable
  28                 var Myrec v_j :={12};        //partly initialized variable
  29
  30                 v_i:=v_j;       //assignment, v_i is now partly initialized variable
  31
  32                 if (isvalue(v_i)) {
  33                         setverdict(fail,v_i);
  34                 }
  35                 else {
  36                         setverdict(pass,v_i);
  37                 }
  38         }
  39
  40         control{
  41
  42                 execute(TC_Sem_1901_assignments_002());
  43
  44         }
  45
  46 }