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