// 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 The public namespace of library L is the mapping that maps the
/// simple name of each public top level member m of L to m. The scope of a
/// library L consists of the names introduced by all top level declarations
/// declared in L, and the names added by L's imports.
/// @description Checks that the scope of a library L consist of the names
/// introduced by all top level declaration in L, and the names added by L's
/// import.
/// @author vasya


import "public_namespace_t01_lib.dart";

main() {
  test();
}