function_test/Semantic_Analyser/xer/atr_untagged_SE.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  *   Balasko, Jeno
  10  *   Raduly, Csaba
  11  *
  12  ******************************************************************************/
  13 module atr_untagged_SE {        //^In TTCN-3 module `atr_untagged_SE'://
  14
  15 type record R { //^In type definition//
  16   record of universal charstring aa //^In record field// \
  17   //^error: A type with final encoding attribute UNTAGGED shall not have any of the final encoding instructions ANY-ATTRIBUTES, ANY-ELEMENT, ATTRIBUTE, DEFAULT-FOR-EMPTY, EMBED-VALUES, PI-OR-COMMENT, USE-NIL or USE-TYPE// \
  18   //^error: Neither the type with ATTRIBUTE, nor its enclosing type may be marked UNTAGGED//
  19 }
  20 with {
  21   variant (aa) "attribute";
  22   variant (aa) "untagged";
  23 }
  24
  25
  26 type record RR { //^In type definition//
  27   record of universal charstring aa //^In record field// \
  28   //^error: Neither the type with ATTRIBUTE, nor its enclosing type may be marked UNTAGGED//
  29 }
  30 with {
  31   variant (aa) "attribute";
  32   variant "untagged";
  33 }
  34
  35
  36
  37 }
  38 with {
  39   encode "XML";
  40 }
  41