Commit | Line | Data |
---|---|---|
4e4a3e2c AK |
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 | |
7 | * | |
8 | * Contributors: | |
9 | * Adrien Kirjak – initial implementation | |
10 | * | |
11 | ** @version 0.0.1 | |
12 | ** @purpose 1:8.2.5, Ensure that private definition (in this case a sample constant) is not visible using a normal import. | |
13 | ** @verdict pass reject | |
14 | *****************************************************************/ | |
15 | ||
16 | module NegSem_080205_VisibilityOfDefinitions_001 { | |
17 | ||
18 | import from NegSem_080205_VisibilityOfDefinitions_001_import all; | |
19 | ||
20 | type component GeneralComp {} | |
21 | ||
22 | testcase TC_NegSem_080205_VisibilityOfDefinitions_001() runs on GeneralComp { | |
23 | if (c_myconst == 32532) { // c_myconst shall not be visible on import as the definition is private. | |
24 | setverdict(fail); | |
25 | } else { | |
26 | setverdict(pass); | |
27 | } | |
28 | } | |
29 | ||
30 | control{ | |
31 | execute(TC_NegSem_080205_VisibilityOfDefinitions_001()); | |
32 | } | |
33 | } | |
34 |