function_test/Semantic_Analyser/xer/ae_clash_SE.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 ae_clash_SE {    //^In TTCN-3 module `ae_clash_SE'://
   9 /*
  10 19.2.11 A type with this (ANY-ELEMENT) final encoding instruction shall not also have any of the final encoding instructions
  11 ATTRIBUTE, BASE64, DEFAULT-FOR-EMPTY, PI-OR-COMMENT, UNTAGGED or WHITESPACE.
  12 */
  13
  14 /* Note: do not use more than one regex that can match the same line.
  15    E.g. /error:.+ATTRIBUTE/ and /error:.+BASE64/ instead of the long regex
  16 */
  17
  18 type universal charstring AE_a //^In type definition//  \
  19   //^error: A type with ANY-ELEMENT may not have any of the following encoding instructions: ATTRIBUTE, BASE64, DEFAULT-FOR-EMPTY, PI-OR-COMMENT, UNTAGGED or WHITESPACE// \
  20   //^error: A type with ATTRIBUTE shall not also have any of the final encoding instructions ANY-ELEMENT//
  21 with {
  22   variant "anyElement"
  23   variant "attribute"
  24 }
  25
  26 type universal charstring AE_b //^In type definition// \
  27 //^error: A type with ANY-ELEMENT may not have any of the following encoding instructions: ATTRIBUTE, BASE64, DEFAULT-FOR-EMPTY, PI-OR-COMMENT, UNTAGGED or WHITESPACE// \
  28 //^error: A type with BASE64 shall not have any of the final encoding instructions ANY-ELEMENT or WHITESPACE//
  29 with {
  30   variant "anyElement"
  31   variant "XSD:base64Binary"
  32 }
  33
  34 type universal charstring AE_d //^In type definition// \
  35 //^error: A type with ANY-ELEMENT may not have any of the following encoding instructions: ATTRIBUTE, BASE64, DEFAULT-FOR-EMPTY, PI-OR-COMMENT, UNTAGGED or WHITESPACE// \
  36 //^error: A type with DEFAULT-FOR-EMPTY shall not have any of the final encoding instructions ANY-ELEMENT, ATTRIBUTE, UNTAGGED//
  37 with {
  38   variant "anyElement"
  39   variant "defaultForEmpty as 'x'"
  40 }
  41
  42 type universal charstring AE_u //^In type definition// \
  43 //^error: A type with ANY-ELEMENT may not have any of the following encoding instructions: ATTRIBUTE, BASE64, DEFAULT-FOR-EMPTY, PI-OR-COMMENT, UNTAGGED or WHITESPACE// \
  44 //^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//
  45 with {
  46   variant "anyElement"
  47   variant "untagged"
  48 }
  49
  50 type universal charstring AE_w //^In type definition// \
  51 //^error: A type with ANY-ELEMENT may not have any of the following encoding instructions: ATTRIBUTE, BASE64, DEFAULT-FOR-EMPTY, PI-OR-COMMENT, UNTAGGED or WHITESPACE//
  52 with {
  53   variant "anyElement"
  54   variant "whiteSpace collapse"
  55 }
  56
  57
  58 }
  59 with {
  60 encode "XML";
  61 }