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

type component Jelly {}

testcase tc1() runs on Jelly
{
  var RangerSmith r := {
    // Compile-time test.
    // xsd2ttcn would generate a RangerSmith record without the "food" member.
    food := "sandwiches",
    gun := omit
  }
  setverdict(pass);
}

control {
  execute(tc1());
}

}
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 jellystone {
	9	import from ttcn_ericsson_se_xsd2ttcn_HN65402 all;
	10
	11	type component Jelly {}
	12
	13	testcase tc1() runs on Jelly
	14	{
	15	var RangerSmith r := {
	16	// Compile-time test.
	17	// xsd2ttcn would generate a RangerSmith record without the "food" member.
	18	food := "sandwiches",
	19	gun := omit
	20	}
	21	setverdict(pass);
	22	}
	23
	24	control {
	25	execute(tc1());
	26	}
	27
	28	}