/******************************************************************************
 * Copyright (c) 2000-2015 Ericsson Telecom AB
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 ******************************************************************************/
module usenil_comp_clash_SE {	//^In TTCN-3 module `usenil_comp_clash_SE'://
// 33.2.3 The OPTIONAL component shall not have any of: ANY-ELEMENT, ANY-ATTRIBUTES, DEFAULT-FOR-EMPTY, PI-OR-COMMENT, UNTAGGED, USE-NIL, USE-ORDER or USETYPE
/*
ANY-ATTRIBUTES member can't be optional
Last member for USE-NIL must be optional

type record U1 {	//^In type definition/-/
  record of universal charstring aa optional	//^In record field/-/
}
with {
  variant "useNil";
  variant (aa) "anyAttributes"
}
*/


type record U2 {	                //^In type definition//
  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, PI-OR-COMMENT, UNTAGGED, USE-NIL, USE-ORDER, USE-TYPE//
}
with {
  variant "useNil";
  variant (ae) "anyElement";
}


type record U3 {	  //^In type definition//
  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, PI-OR-COMMENT, UNTAGGED, USE-NIL, USE-ORDER, USE-TYPE//
}
with {
  variant "useNil";
  variant (s) "defaultForEmpty as '42'";
}


type record U4 {
  integer first,
  record {
    record of universal charstring emb
  } last optional
}
with {
  variant "useNil";
  variant (first) "attribute";
  variant (last) "embedValues"; 
}


type record U5 {//^In type definition//	
  integer last	//^error: The OPTIONAL component of USE-NIL cannot have any of the following encoding instructions: ANY-ATTRIBUTES, ANY-ELEMENT, DEFAULT-FOR-EMPTY, PI-OR-COMMENT, UNTAGGED, USE-NIL, USE-ORDER, USE-TYPE//
}
with {
  variant "useNil";
  variant (last) "untagged"
}


}
with {
  encode "XML";
  variant "controlNamespace 'urn:a' prefix 'u'"
}