/*
 * 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();
}