// Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

/**
 * @assertion Let E be an export directive that refers to a URI via the string
 * s1. Evaluation of E proceeds as follows:
 * First,
 * • If the URI that is the value of s1 has not yet been accessed by an import
 *   or export directive in the current isolate then the contents of the URI
 *   are compiled to yield a library B.
 * • Otherwise, the contents of the URI denoted by s1 have been compiled into
 *   a library B within the current isolate.
 * Let NS0 be the exported namespace of B. Then, for each combinator clause
 * Ci, i in 1..n in E:
 * • If Ci is of the form show id1, ..., idk then let
 *   NSi = show([id1, ..., idk], NSi-1).
 * • If Ci is of the form hide id1, ..., idk then let
 *   NSi = hide([id1, ..., idk], NSi-1).
 *
 * For each entry mapping key k to declaration d in NSn an entry mapping k to
 * d is added to the exported namespace of L unless a top-level declaration
 * with the name k exists in L.
 *
 * @description Checks that the combined effect of show and hide combinators in
 * an export declaration is calculated as specified. Test imports 2 libraries
 * that declare the same names assigned to different values, but their exported
 * namespaces are filtered using show and hide combinators to avoide name
 * conflict.
 * @note Most of this is already covered by 1_Imports_A02* tests.
 * @author rodionov
 * @reviewer kaigorodov
 */
import "../../../Utils/expect.dart";

import "show_hide_t01_lib.dart";

main() {
  Expect.equals(1, foo()); // from lib2
  Expect.equals(2, bar); // from lib3
  Expect.equals(true, boo); // from lib2
  Expect.equals("static2", C.SF); // from lib3
}