Titan Core Initial Contribution

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

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

// This is not a XER test as such (the error is the duplicate enum value)
// but it keeps Type::chk_xer_text() on its toes (no FATAL_ERROR, no memory leak)

type enumerated e1 //^In type definition//
{
  little,
  red,   //^Previous definition of `red' is here//
  riding,
  hood,
  red }  //^error: Duplicate enumeration identifier//
with {
  variant "text all as uppercased";
}

}
with {
  encode "XML";
}