1 /******************************************************************************
2 * Copyright (c) 2000-2016 Ericsson Telecom AB
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
9 * Adrien Kirjak – initial implementation
12 ** @purpose 1:21.1.1, violation of strong typing rules for PTC ports in map operations
13 ** @verdict pass reject
14 ***************************************************/
16 // The following requirements are tested:
17 // If the type of the component referenced in a connection operation is known (either
18 // when the component reference is a variable or value returned from a function or the
19 // type is defined in the runs on, mtc or system clause of the calling function), the
20 // referenced port declaration shall be present in this component type.
22 module NegSem_210101_connect_and_map_operations_013 {
26 //map param (integer p_par1); // map param not implemented
27 } with {extension "internal"}
29 type component GeneralComp {
33 type component GeneralCompEx extends GeneralComp {
37 testcase TC_NegSem_210101_connect_and_map_operations_013() runs on GeneralComp system GeneralComp {
38 var GeneralComp v_ptc := GeneralCompEx.create;
39 map(system:p, v_ptc:p2); // although the actual PTC instance contains the p2 port,
40 // it cannot be referenced as the variable v_ptc is of the GeneralComp type and
46 execute(TC_NegSem_210101_connect_and_map_operations_013());