// 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 Dart supports two levels of privacy: public and private. 
/// A declaration is private iff its name is private, otherwise it is public.
/// A name q is private iff any one of the identifiers that comprise q is 
/// private, otherwise it is public.
/// An identifier is private iff it begins with an underscore (the _ character) 
/// otherwise it is public.
/// A declaration m is accessible to library L if m is declared in L or if m is 
/// public.
/// @description Checks that public declarations declared in a library are 
/// accessible if the library is imported.
/// @author msyabro
/// @issue 42337


import "../lib.dart";

class C extends AccessibleClass {}

main() {
  AccessibleClass c = new AccessibleClass();
  AccessibleClass c2 = new C();
  accessibleFuncType f = () => 42;
  accessibleFunction();
  accessibleVariable = 1;
}