function_test/Semantic_Analyser/xer/usenil_comp_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 usenil_comp_clash_SE {   //^In TTCN-3 module `usenil_comp_clash_SE'://
   9 // 33.2.3 The OPTIONAL component shall not have any of: ANY-ELEMENT, ANY-ATTRIBUTES, DEFAULT-FOR-EMPTY, EMBED-VALUES, PI-OR-COMMENT, UNTAGGED, USE-NIL, USE-ORDER or USETYPE
  10 /*
  11 ANY-ATTRIBUTES member can't be optional
  12 Last member for USE-NIL must be optional
  13
  14 type record U1 {        //^In type definition/-/
  15   record of universal charstring aa optional    //^In record field/-/
  16 }
  17 with {
  18   variant "useNil";
  19   variant (aa) "anyAttributes"
  20 }
  21 */
  22
  23
  24 type record U2 {                        //^In type definition//
  25   universal charstring ae optional      //^error: The OPTIONAL component of USE-NIL cannot have any of the following encoding instructions: ANY-ATTRIBUTES, ANY-ELEMENT, DEFAULT-FOR-EMPTY, EMBED-VALUES, PI-OR-COMMENT, UNTAGGED, USE-NIL, USE-ORDER, USE-TYPE//
  26 }
  27 with {
  28   variant "useNil";
  29   variant (ae) "anyElement";
  30 }
  31
  32
  33 type record U3 {          //^In type definition//
  34   integer s optional  //^error: The OPTIONAL component of USE-NIL cannot have any of the following encoding instructions: ANY-ATTRIBUTES, ANY-ELEMENT, DEFAULT-FOR-EMPTY, EMBED-VALUES, PI-OR-COMMENT, UNTAGGED, USE-NIL, USE-ORDER, USE-TYPE//
  35 }
  36 with {
  37   variant "useNil";
  38   variant (s) "defaultForEmpty as '42'";
  39 }
  40
  41
  42 type record U4 {        //^In type definition//
  43   integer first,
  44   record { //^error: The OPTIONAL component of USE-NIL cannot have any of the following encoding instructions: ANY-ATTRIBUTES, ANY-ELEMENT, DEFAULT-FOR-EMPTY, EMBED-VALUES, PI-OR-COMMENT, UNTAGGED, USE-NIL, USE-ORDER, USE-TYPE//
  45     record of universal charstring emb
  46   } last optional
  47 }
  48 with {
  49   variant "useNil";
  50   variant (first) "attribute";
  51   variant (last) "embedValues";
  52 }
  53
  54
  55 type record U5 {//^In type definition//
  56   integer last  //^error: The OPTIONAL component of USE-NIL cannot have any of the following encoding instructions: ANY-ATTRIBUTES, ANY-ELEMENT, DEFAULT-FOR-EMPTY, EMBED-VALUES, PI-OR-COMMENT, UNTAGGED, USE-NIL, USE-ORDER, USE-TYPE//
  57 }
  58 with {
  59   variant "useNil";
  60   variant (last) "untagged"
  61 }
  62
  63
  64 }
  65 with {
  66   encode "XML";
  67   variant "controlNamespace 'urn:a' prefix 'u'"
  68 }