/******************************************************************************
 * Copyright (c) 2000-2016 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
 *
 * Contributors:
 *   Adrien Kirjak – initial implementation
 *
 ** @version  0.0.1
 ** @purpose  1:8.2.5, Ensure that private definition (in this case a sample constant) is not visible using a normal import.
 ** @verdict  pass reject
 *****************************************************************/

module NegSem_080205_VisibilityOfDefinitions_001 {

	import from NegSem_080205_VisibilityOfDefinitions_001_import all;

	type component GeneralComp {}

	testcase TC_NegSem_080205_VisibilityOfDefinitions_001() runs on GeneralComp {
		if (c_myconst == 32532) { // c_myconst shall not be visible on import as the definition is private.
			setverdict(fail);
		} else {
			setverdict(pass);
		}
	}

	control{
		execute(TC_NegSem_080205_VisibilityOfDefinitions_001());
	}
}