conformance_test/positive_tests/06_types_and_values/0603_type_compatibility/060302_structured_types/NegSem_060302_structured_types_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:6.3.2, Ensure that the IUT rejects assignments from incompatible types or type ranges
  13  ** @verdict  pass reject
  14  ***************************************************/
  15
  16 module NegSem_060302_structured_types_002 {
  17
  18         type record RecordType1 {
  19          integer  a(0..10) optional,
  20          integer  b(0..5) optional,
  21          boolean  c
  22         }
  23         type record RecordType2 {
  24          integer  e        optional,
  25          integer  f(0..10)  ,
  26          boolean  g
  27         }
  28
  29         type component GeneralComp {
  30         }
  31
  32         testcase TC_NegSem_060302_structured_types_002() runs on GeneralComp {
  33
  34                 var RecordType1 v_rec1:={a:=4,b:=omit,c:=false};
  35                 var RecordType2 v_rec2;
  36
  37                 v_rec2:=v_rec1;         // optionality mismatch (e.g. b is optional where f is mandatory)
  38                 setverdict(pass);
  39         }
  40
  41         control{
  42                 execute(TC_NegSem_060302_structured_types_002());
  43         }
  44
  45 }