// Copyright (c) 2021, 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.

/*cfe.library: nnbd=false*/

/*cfe:nnbd.library: nnbd=true*/

/*class: Interface:
 isAbstract,
 kernel-members=[
  Interface.,
  interfaceMethod],
 scope=[interfaceMethod]
*/
/*member: Interface.:initializers=[SuperInitializer]*/
abstract class Interface {
  void interfaceMethod();
}

/*class: Class:
 isAbstract,
 kernel-members=[
  Class.,
  classMethod],
 scope=[classMethod]
*/
/*member: Class.:initializers=[SuperInitializer]*/
abstract class Class implements Interface {
  external void classMethod();
}