/******************************************************************************
 * Copyright (c) 2000-2014 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 untagged_charenc_OK
// All fields are meant to be character-encodable, otherwise the compiler complains;
// "UNTAGGED type should be sequence, set, choice, sequence-of, or set-of type"
//
// Boolean, integer, float and enum are always character-encodable.
//
// Character string types are character-encodable by default;
// this is not strictly correct because control characters should be excluded,
// but TITAN does not currently check the subtype.
//
// Octetstring is character-encodable IF it has base64Binary or hexBinary.
//
{
  type record R1 {
    charstring cs
  }
  with {
    variant (cs) "untagged";
  }

  type record R2 {
    universal charstring us
  } with {
    variant (us) "untagged";
  }

  type record R3 {
    octetstring hex
  } with {
    variant (hex) "untagged";
    variant (hex) "XSD:hexBinary"; // HL70087
  }

  type record R4 {
    octetstring b64
  } with {
    variant (b64) "untagged";
    variant (b64) "XSD:base64Binary";
  }

  type record R5 {
    integer i
  } with {
    variant (i) "untagged";
  }

  type record R6 {
    float f
  } with {
    variant (f) "untagged";
  }

  type record R7 {
    truth t
  } with {
    variant (t) "untagged";
  }
  
  type enumerated truth
  {
    True, False, FileNotFound
  };
  
  type record R9 {
    boolean b
  } with {
    variant (b) "untagged";
  }


/*
  type record R.. {
    
  } with {
    
  }

*/
}
with {
  encode "XML"
}  // end of module