/******************************************************************************
 * Copyright (c) 2000-2016 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
 *
 * Contributors:
 *   Balasko, Jeno
 *   Raduly, Csaba
 *
 ******************************************************************************/
module no_text_all_SE {	//^In TTCN-3 module `no_text_all_SE'://
// various cases where "TEXT" or "TEXT ALL AS" not allowed

type charstring c //^In type definition// \
//^error: TEXT not allowed for type charstring//
with {
  variant "text all as uppercased"
}

type record r {} //^In type definition// \
//^error: TEXT not allowed for type \@no_text_all_SE.r//
with {
  variant "text all as uppercased"
}

type record of boolean votes //^In type definition// \
//^error: TEXT not allowed for type @no_text_all_SE.votes//
with {
  variant "text 'true'  as 'yea'";
  variant "text 'false' as 'nay'";
}

type enumerated e { foo, bar, baz } //^In type definition// \
//^error: Lone 'TEXT' only allowed for boolean//
with {
  variant "text";
}

type boolean truthiness // should be no error
with {
  variant "text";
}

type truthiness reality // boolean, at its heart
with {
  variant "text 'true' as '1'";
}

}
with {
  encode "XER";
}