function_test/Semantic_Analyser/xer/dfe_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 dfe_clash_SE {   //^In TTCN-3 module `dfe_clash_SE'://
   9
  10 type charstring du            //^In type definition// \
  11 //^error: A type with DEFAULT-FOR-EMPTY shall not have any of the final encoding instructions ANY-ELEMENT, ATTRIBUTE, UNTAGGED// \
  12 //^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//
  13 with {
  14   variant "defaultForEmpty as 'moo'";
  15   variant "untagged";
  16 }
  17
  18 type universal charstring dae //^In type definition// \
  19 //^error: A type with DEFAULT-FOR-EMPTY shall not have any of the final encoding instructions ANY-ELEMENT, ATTRIBUTE, UNTAGGED// \
  20 //^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//
  21 with {
  22   variant "defaultForEmpty as 'moo'";
  23   variant "anyElement";
  24 }
  25
  26 /* D-F-E and ATRIBUTE is forbidden in ASN.1 but is permitted by TTCN because of its "misuse" of D-F-E */
  27 type charstring da //do not look for these errors:    |^In type definition|  |^error: A type with DEFAULT-FOR-EMPTY shall not have any of the final encoding instructions ANY-ELEMENT, ATTRIBUTE, UNTAGGED\.|
  28 with {
  29   variant "defaultForEmpty as 'moo'";
  30   variant "attribute";
  31 }
  32
  33 type record Rdae { //^In type definition//
  34   universal charstring da //^In record field// \
  35   //^error: A type with DEFAULT-FOR-EMPTY shall not have any of the final encoding instructions ANY-ELEMENT, ATTRIBUTE, UNTAGGED// \
  36   //^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//
  37 }
  38 with {
  39   variant (da) "defaultForEmpty as 'moo'";
  40   variant (da) "anyElement";
  41 }
  42
  43 type record Rdu { //^In type definition//
  44   universal charstring da //^In record field// \
  45   //^error: A type with DEFAULT-FOR-EMPTY shall not have any of the final encoding instructions ANY-ELEMENT, ATTRIBUTE, UNTAGGED// \
  46   //^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//
  47 }
  48 with {
  49   variant (da) "defaultForEmpty as 'moo'";
  50   variant (da) "untagged";
  51 }
  52
  53 }
  54 with {
  55 encode "XML"
  56 }