+++ /dev/null
-/******************************************************************************
- * 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 aa_optional_SE { //^In TTCN-3 module `aa_optional_SE'://
-
-type record R { //^In type definition//
- record of universal charstring s optional //^In record field// \
- //^error: The field with ANY-ATTRIBUTES cannot be OPTIONAL or DEFAULT//
-}
-with {
- variant (s) "anyAttributes"
-}
-
-}
-with {
- encode "XML"
-}