regression_test/compileonly/attribQualif/TattribQualif.ttcn

   1 /******************************************************************************
   2  * Copyright (c) 2000-2015 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 module TattribQualif {
   9 // Test for HL25985
  10
  11 type record R {
  12   universal charstring u
  13 }
  14 with { display (u) "red" }
  15
  16 const R c_r := { u := "U!" }
  17 with { display (u) "red" }
  18
  19 external const R ec_r
  20 with { display (u) "red" }
  21
  22 template R t_r := { u := ? }
  23 with { display (u) "red" }
  24
  25 modulepar R mp_r := { u := "UMP" }
  26 with { display (u) "red" }
  27
  28
  29 type record of universal charstring ROF
  30 with { display ([-]) "blue" }
  31
  32 const ROF c_rof := { "U!" }
  33 with { display ([-]) "blue" }
  34
  35 external const ROF ec_rof
  36 with { display ([-]) "blue" }
  37
  38 template ROF t_rof := { ? }
  39 with { display ([-]) "blue" }
  40
  41 modulepar ROF mp_rof := { "UMP" }
  42 with { display ([-]) "red" }
  43
  44
  45 /* "one", "two" & co. are accepted because teher is no semantic analysis
  46  * of attributes for the attribute itself in these cases */
  47 type record of universal charstring ROFL
  48   with { display ([one]) "blue" }
  49
  50 const ROFL c_rofl := { "U!" }
  51   with { display ([two]) "blue" }
  52
  53 external const ROFL ec_rofl
  54   with { display ([three]) "blue" }
  55
  56 template ROFL t_rofl := { ? }
  57   with { display ([four]) "blue" }
  58
  59 }
  60