[deliverable/titan.core.git] / regression_test / XML / xsdConverter / HO16426 / diversion.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 diversion {
import from titan_HO16426 all;

type component D {}

testcase divers() runs on D
{
  var Diversion_reason_info_types dts0 := {}
  if (lengthof(dts0)==0) { setverdict ( pass ); }
  else { setverdict ( fail ); }
}

control {
  execute(divers());
}

}
Commit	Line	Data
970ed795	1	/******************************************************************************
3abe9331	2	* Copyright (c) 2000-2015 Ericsson Telecom AB
970ed795 EL	3	* All rights reserved. This program and the accompanying materials
	4	* are made available under the terms of the Eclipse Public License v1.0
	5	* which accompanies this distribution, and is available at
	6	* http://www.eclipse.org/legal/epl-v10.html
	7	******************************************************************************/
	8	module diversion {
	9	import from titan_HO16426 all;
	10
	11	type component D {}
	12
	13	testcase divers() runs on D
	14	{
	15	var Diversion_reason_info_types dts0 := {}
	16	if (lengthof(dts0)==0) { setverdict ( pass ); }
	17	else { setverdict ( fail ); }
	18	}
	19
	20	control {
	21	execute(divers());
	22	}
	23
	24	}