/******************************************************************************
 * Copyright (c) 2000-2021 Ericsson Telecom AB
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v2.0
 * which accompanies this distribution, and is available at
 * https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
 *
 * Contributors:
 *   Szabo, Bence Janos
 *
 ******************************************************************************/

// Tests of standard ES 202 781 Ports with translation capability

module Setstate_SE { //^In TTCN-3 module//

	const integer i1 := 5;
	const integer i2 := 9999999999999999999999999999999999999999999999999999;

	function f() { //^In function definition \`f\'\://
		port.setstate(-1); //^In setstate statement\:// //^In first parameter\:// //^error\: The value of the first parameter must be 0\, 1\, 2\, 3 or 4\.//
		port.setstate(9999999999999999999999999999999999999999999999999999); //^In setstate statement\:// //^In first parameter\:// //^error\: The value of the first parameter must be 0\, 1\, 2\, 3 or 4\.//
		port.setstate(i1); //^In setstate statement\:// //^In first parameter\:// //^error\: The value of the first parameter must be 0\, 1\, 2\, 3 or 4\.//
		port.setstate(i2); //^In setstate statement\:// //^In first parameter\:// //^error\: The value of the first parameter must be 0\, 1\, 2\, 3 or 4\.//
	}

}
