/****************************************************************************** * 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 any_template { import from types all; altstep a1(test_int_port p) runs on c1_CT { var integer i; // might not a problem, as the port has only one incoming type [] p.receive(*) -> value i {} // might be semantically invalid (TTCN3 specification unclear) [] p1_PT.receive(?) -> value i {} } // no problem altstep a2(test_int_port p) runs on c1_CT { var integer i; [] p1_PT.receive(integer:?) -> value i {} [] p.receive((1, 2, 3)) {} } }