Sync with 5.4.0

[deliverable/titan.core.git] / function_test / Semantic_Analyser / xer / b64_clash_SE.ttcn

/******************************************************************************
 * 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 b64_clash_SE {	//^In TTCN-3 module `b64_clash_SE'://

type universal charstring b_ae //^In type definition// \
//^error: A type with BASE64 shall not have any of the final encoding instructions ANY-ELEMENT or WHITESPACE// \
//^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//
with {
  variant "XSD:base64Binary";
  variant "anyElement";
}

type universal charstring b_w //^In type definition// \
//^error: A type with BASE64 shall not have any of the final encoding instructions ANY-ELEMENT or WHITESPACE//
with {
  variant "XSD:base64Binary";
  variant "whiteSpace replace";
}

type record R1 { //^In type definition//
  universal charstring f_ae //^In record field// \
  //^error: A type with BASE64 shall not have any of the final encoding instructions ANY-ELEMENT or WHITESPACE// \
  //^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//
}
with {
  variant (f_ae) "XSD:base64Binary";
  variant (f_ae) "anyElement";
}

type union C { //^In type definition//
  universal charstring f_ae //^In union field// \
  //^error: A type with BASE64 shall not have any of the final encoding instructions ANY-ELEMENT or WHITESPACE//
}
with {
  variant (f_ae) "XSD:base64Binary";
  variant (f_ae) "whiteSpace collapse";
}

}
with {
encode "XML";
}