conformance_test/positive_tests/27_specifying_attributes/2707_optional_attributes/NegSem_2707_OptionalAttributes_003.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:27.7, Ensure that the IUT correctly handles attribute definitions and their scoping rules
  13  ** @verdict  pass reject
  14  ***************************************************/
  15
  16 module NegSem_2707_OptionalAttributes_003 {
  17
  18         type enumerated EnumeratedType {e_black, e_white};
  19
  20         type record RecordType {
  21          integer  a optional,
  22          integer  b optional,
  23          boolean  c
  24         }
  25
  26         type set SetType {
  27          integer  a optional,
  28          integer  b optional,
  29          boolean  c
  30         }
  31
  32         type record length (1..2) of integer IntegerList;
  33
  34         type set length (1..2) of integer IntegerUList;
  35
  36         type union UnionType {
  37          integer  a,
  38          EnumeratedType  b,
  39          boolean  c
  40         }
  41
  42         type record MessageType {
  43          integer                field1,
  44          charstring     field2,
  45          boolean                field3,
  46          integer                field4[4],
  47          EnumeratedType field5,
  48          RecordType             field6,
  49          SetType                field7,
  50          UnionType              field8,
  51          IntegerList    field9,
  52          IntegerUList   field10
  53         }
  54
  55  template MessageType mw_matchingTemplate:=
  56  {
  57   field1 := 1,
  58   field2 := "test string",
  59   field3 := true,
  60   field4 := {1,2,3,4},
  61   field5 := e_black,
  62   field6 := {b:=3,c:=true},     //a is still undefined
  63   field7 := {a:=3,c:=true},     //b is still undefined
  64   field8 := {a:=1},
  65   field9 := {1},
  66   field10 := {1,2}
  67  } with { optional (field6.a, field7.b) "implicit omit"}
  68
  69  const MessageType c_testMessage:=  {
  70   field1 := 1,
  71   field2 := "test string",
  72   field3 := true,
  73   field4 := {1,2,3,4},
  74   field5 := e_black,
  75   field6 := {a:=3,b:=3,c:=true},
  76   field7 := {a:=3,b:=3,c:=true},
  77   field8 := {a:=1},
  78   field9 := {1},
  79   field10 := {1,2}
  80  }
  81
  82     type port loopbackPort message {
  83           inout MessageType
  84         }
  85
  86
  87 type component GeneralComp {
  88           port loopbackPort messagePort
  89 }
  90
  91 testcase TC_NegSem_2707_OptionalAttributes_003() runs on GeneralComp {
  92
  93     var MessageType v_testMessage:=c_testMessage;
  94
  95  messagePort.send(v_testMessage);
  96
  97     alt {
  98      [] messagePort.receive(mw_matchingTemplate) {  //cannot match not fully defined template
  99         setverdict(pass);
 100      }
 101      [] messagePort.receive {
 102         setverdict(fail);
 103      }
 104     }
 105 }
 106
 107 control{
 108     execute(TC_NegSem_2707_OptionalAttributes_003());
 109 }
 110
 111 } with { optional override "explicit omit"}