// 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.

/*class: Super:
 maxInheritancePath=1,
 superclasses=[Object]
*/
abstract class Super {
  /*member: Super.extendedConcreteCovariantSetter=#cls:
   classBuilder=Super,
   isSourceDeclaration
  */
  void set extendedConcreteCovariantSetter(covariant int i) {}

  /*member: Super.extendedAbstractCovariantSetter=#int:
   classBuilder=Super,
   isSourceDeclaration
  */
  void set extendedAbstractCovariantSetter(covariant int i);

  /*member: Super.extendedConcreteCovariantImplementedSetter=#cls:
   classBuilder=Super,
   isSourceDeclaration
  */
  void set extendedConcreteCovariantImplementedSetter(covariant int i) {}

  /*member: Super.extendedAbstractCovariantImplementedSetter=#int:
   classBuilder=Super,
   isSourceDeclaration
  */
  void set extendedAbstractCovariantImplementedSetter(covariant int i);

  /*member: Super.extendedConcreteImplementedCovariantSetter=#cls:
   classBuilder=Super,
   isSourceDeclaration
  */
  void set extendedConcreteImplementedCovariantSetter(int i) {}

  /*member: Super.extendedAbstractImplementedCovariantSetter=#int:
   classBuilder=Super,
   isSourceDeclaration
  */
  void set extendedAbstractImplementedCovariantSetter(int i);
}

/*class: Interface1:
 maxInheritancePath=1,
 superclasses=[Object]
*/
class Interface1 {
  /*member: Interface1.extendedConcreteCovariantImplementedSetter=#cls:
   classBuilder=Interface1,
   isSourceDeclaration
  */
  void set extendedConcreteCovariantImplementedSetter(int i) {}

  /*member: Interface1.extendedAbstractCovariantImplementedSetter=#cls:
   classBuilder=Interface1,
   isSourceDeclaration
  */
  void set extendedAbstractCovariantImplementedSetter(int i) {}

  /*member: Interface1.extendedConcreteImplementedCovariantSetter=#cls:
   classBuilder=Interface1,
   isSourceDeclaration
  */
  void set extendedConcreteImplementedCovariantSetter(covariant int i) {}

  /*member: Interface1.extendedAbstractImplementedCovariantSetter=#cls:
   classBuilder=Interface1,
   isSourceDeclaration
  */
  void set extendedAbstractImplementedCovariantSetter(covariant int i) {}

  /*member: Interface1.implementsMultipleCovariantSetter1=#cls:
   classBuilder=Interface1,
   isSourceDeclaration
  */
  void set implementsMultipleCovariantSetter1(covariant int i) {}

  /*member: Interface1.implementsMultipleCovariantSetter2=#cls:
   classBuilder=Interface1,
   isSourceDeclaration
  */
  void set implementsMultipleCovariantSetter2(int i) {}
}

/*class: Interface2:
 maxInheritancePath=1,
 superclasses=[Object]
*/
class Interface2 {
  /*member: Interface2.implementsMultipleCovariantSetter1=#cls:
   classBuilder=Interface2,
   isSourceDeclaration
  */
  void set implementsMultipleCovariantSetter1(int i) {}

  /*member: Interface2.implementsMultipleCovariantSetter2=#cls:
   classBuilder=Interface2,
   isSourceDeclaration
  */
  void set implementsMultipleCovariantSetter2(covariant int i) {}
}

/*class: AbstractClass:
 interfaces=[
  Interface1,
  Interface2],
 maxInheritancePath=2,
 superclasses=[
  Object,
  Super]
*/
abstract class AbstractClass extends Super implements Interface1, Interface2 {
  /*member: AbstractClass.extendedConcreteCovariantSetter=#cls:
   classBuilder=Super,
   isSourceDeclaration
  */

  /*member: AbstractClass.extendedConcreteCovariantImplementedSetter=#cls:
   classBuilder=AbstractClass,
   isSynthesized,
   member=Super.extendedConcreteCovariantImplementedSetter=
  */
  /*member: AbstractClass.extendedConcreteCovariantImplementedSetter=#int:
   classBuilder=AbstractClass,
   declarations=[
    Interface1.extendedConcreteCovariantImplementedSetter=,
    Super.extendedConcreteCovariantImplementedSetter=],
   isSynthesized,
   member=Super.extendedConcreteCovariantImplementedSetter=
  */

  /*member: AbstractClass.extendedConcreteImplementedCovariantSetter=#cls:
   classBuilder=AbstractClass,
   concreteForwardingStub,
   covariance=Covariance(0:Covariant),
   isSynthesized,
   stubTarget=Super.extendedConcreteImplementedCovariantSetter=,
   type=int
  */
  /*member: AbstractClass.extendedConcreteImplementedCovariantSetter=#int:
   classBuilder=AbstractClass,
   concreteForwardingStub,
   covariance=Covariance(0:Covariant),
   declarations=[
    Interface1.extendedConcreteImplementedCovariantSetter=,
    Super.extendedConcreteImplementedCovariantSetter=],
   isSynthesized,
   stubTarget=Super.extendedConcreteImplementedCovariantSetter=,
   type=int
  */

  /*member: AbstractClass.extendedAbstractCovariantSetter=#int:
   classBuilder=Super,
   isSourceDeclaration
  */

  /*member: AbstractClass.extendedAbstractCovariantImplementedSetter=#int:
   classBuilder=AbstractClass,
   declarations=[
    Interface1.extendedAbstractCovariantImplementedSetter=,
    Super.extendedAbstractCovariantImplementedSetter=],
   isSynthesized,
   member=Super.extendedAbstractCovariantImplementedSetter=
  */

  /*member: AbstractClass.extendedAbstractImplementedCovariantSetter=#int:
   abstractForwardingStub,
   classBuilder=AbstractClass,
   covariance=Covariance(0:Covariant),
   declarations=[
    Interface1.extendedAbstractImplementedCovariantSetter=,
    Super.extendedAbstractImplementedCovariantSetter=],
   isSynthesized,
   type=int
  */

  /*member: AbstractClass.implementsMultipleCovariantSetter1=#int:
   classBuilder=AbstractClass,
   declarations=[
    Interface1.implementsMultipleCovariantSetter1=,
    Interface2.implementsMultipleCovariantSetter1=],
   isSynthesized,
   member=Interface1.implementsMultipleCovariantSetter1=
  */

  /*member: AbstractClass.implementsMultipleCovariantSetter2=#int:
   abstractForwardingStub,
   classBuilder=AbstractClass,
   covariance=Covariance(0:Covariant),
   declarations=[
    Interface1.implementsMultipleCovariantSetter2=,
    Interface2.implementsMultipleCovariantSetter2=],
   isSynthesized,
   type=int
  */
}

/*class: ConcreteSub:
 abstractMembers=[
  AbstractClass.extendedAbstractCovariantImplementedSetter=,
  AbstractClass.extendedAbstractImplementedCovariantSetter=,
  AbstractClass.implementsMultipleCovariantSetter1=,
  AbstractClass.implementsMultipleCovariantSetter2=,
  Super.extendedAbstractCovariantSetter=],
 interfaces=[
  Interface1,
  Interface2],
 maxInheritancePath=3,
 superclasses=[
  AbstractClass,
  Object,
  Super]
*/
class ConcreteSub extends AbstractClass {
  /*member: ConcreteSub.extendedConcreteCovariantSetter=#cls:
   classBuilder=Super,
   isSourceDeclaration
  */

  /*member: ConcreteSub.extendedConcreteCovariantImplementedSetter=#cls:
   classBuilder=ConcreteSub,
   inherited-implements=[AbstractClass.extendedConcreteCovariantImplementedSetter=],
   isSynthesized,
   member=Super.extendedConcreteCovariantImplementedSetter=
  */
  /*member: ConcreteSub.extendedConcreteCovariantImplementedSetter=#int:
   classBuilder=AbstractClass,
   declarations=[
    Interface1.extendedConcreteCovariantImplementedSetter=,
    Super.extendedConcreteCovariantImplementedSetter=],
   isSynthesized,
   member=Super.extendedConcreteCovariantImplementedSetter=
  */

  /*member: ConcreteSub.extendedConcreteImplementedCovariantSetter=#cls:
   classBuilder=ConcreteSub,
   inherited-implements=[AbstractClass.extendedConcreteImplementedCovariantSetter=],
   isSynthesized,
   member=AbstractClass.extendedConcreteImplementedCovariantSetter=
  */
  /*member: ConcreteSub.extendedConcreteImplementedCovariantSetter=#int:
   classBuilder=AbstractClass,
   declarations=[
    Interface1.extendedConcreteImplementedCovariantSetter=,
    Super.extendedConcreteImplementedCovariantSetter=],
   isSynthesized,
   member=AbstractClass.extendedConcreteImplementedCovariantSetter=
  */

  /*member: ConcreteSub.extendedAbstractCovariantSetter=#int:
   classBuilder=Super,
   isSourceDeclaration
  */

  /*member: ConcreteSub.extendedAbstractCovariantImplementedSetter=#int:
   classBuilder=AbstractClass,
   declarations=[
    Interface1.extendedAbstractCovariantImplementedSetter=,
    Super.extendedAbstractCovariantImplementedSetter=],
   isSynthesized,
   member=Super.extendedAbstractCovariantImplementedSetter=
  */

  /*member: ConcreteSub.extendedAbstractImplementedCovariantSetter=#int:
   classBuilder=AbstractClass,
   declarations=[
    Interface1.extendedAbstractImplementedCovariantSetter=,
    Super.extendedAbstractImplementedCovariantSetter=],
   isSynthesized,
   member=AbstractClass.extendedAbstractImplementedCovariantSetter=
  */

  /*member: ConcreteSub.implementsMultipleCovariantSetter1=#int:
   classBuilder=AbstractClass,
   declarations=[
    Interface1.implementsMultipleCovariantSetter1=,
    Interface2.implementsMultipleCovariantSetter1=],
   isSynthesized,
   member=Interface1.implementsMultipleCovariantSetter1=
  */

  /*member: ConcreteSub.implementsMultipleCovariantSetter2=#int:
   classBuilder=AbstractClass,
   declarations=[
    Interface1.implementsMultipleCovariantSetter2=,
    Interface2.implementsMultipleCovariantSetter2=],
   isSynthesized,
   member=AbstractClass.implementsMultipleCovariantSetter2=
  */
}

/*class: ConcreteClass:
 abstractMembers=[
  Interface1.extendedAbstractCovariantImplementedSetter=,
  Interface1.extendedAbstractImplementedCovariantSetter=,
  Interface1.implementsMultipleCovariantSetter1=,
  Interface1.implementsMultipleCovariantSetter2=,
  Interface2.implementsMultipleCovariantSetter1=,
  Interface2.implementsMultipleCovariantSetter2=,
  Super.extendedAbstractCovariantImplementedSetter=,
  Super.extendedAbstractCovariantSetter=,
  Super.extendedAbstractImplementedCovariantSetter=],
 interfaces=[
  Interface1,
  Interface2],
 maxInheritancePath=2,
 superclasses=[
  Object,
  Super]
*/
class ConcreteClass extends Super implements Interface1, Interface2 {
  /*member: ConcreteClass.extendedConcreteCovariantSetter=#cls:
   classBuilder=Super,
   isSourceDeclaration
  */

  /*member: ConcreteClass.extendedConcreteCovariantImplementedSetter=#cls:
   classBuilder=ConcreteClass,
   inherited-implements=[ConcreteClass.extendedConcreteCovariantImplementedSetter=],
   isSynthesized,
   member=Super.extendedConcreteCovariantImplementedSetter=
  */
  /*member: ConcreteClass.extendedConcreteCovariantImplementedSetter=#int:
   classBuilder=ConcreteClass,
   declarations=[
    Interface1.extendedConcreteCovariantImplementedSetter=,
    Super.extendedConcreteCovariantImplementedSetter=],
   isSynthesized,
   member=Super.extendedConcreteCovariantImplementedSetter=
  */

  /*member: ConcreteClass.extendedConcreteImplementedCovariantSetter=#cls:
   classBuilder=ConcreteClass,
   concreteForwardingStub,
   covariance=Covariance(0:Covariant),
   inherited-implements=[ConcreteClass.extendedConcreteImplementedCovariantSetter=],
   isSynthesized,
   stubTarget=Super.extendedConcreteImplementedCovariantSetter=,
   type=int
  */
  /*member: ConcreteClass.extendedConcreteImplementedCovariantSetter=#int:
   classBuilder=ConcreteClass,
   concreteForwardingStub,
   covariance=Covariance(0:Covariant),
   declarations=[
    Interface1.extendedConcreteImplementedCovariantSetter=,
    Super.extendedConcreteImplementedCovariantSetter=],
   isSynthesized,
   stubTarget=Super.extendedConcreteImplementedCovariantSetter=,
   type=int
  */

  /*member: ConcreteClass.extendedAbstractCovariantSetter=#int:
   classBuilder=Super,
   isSourceDeclaration
  */

  /*member: ConcreteClass.extendedAbstractCovariantImplementedSetter=#int:
   classBuilder=ConcreteClass,
   declarations=[
    Interface1.extendedAbstractCovariantImplementedSetter=,
    Super.extendedAbstractCovariantImplementedSetter=],
   isSynthesized,
   member=Super.extendedAbstractCovariantImplementedSetter=
  */

  /*member: ConcreteClass.extendedAbstractImplementedCovariantSetter=#int:
   abstractForwardingStub,
   classBuilder=ConcreteClass,
   covariance=Covariance(0:Covariant),
   declarations=[
    Interface1.extendedAbstractImplementedCovariantSetter=,
    Super.extendedAbstractImplementedCovariantSetter=],
   isSynthesized,
   type=int
  */

  /*member: ConcreteClass.implementsMultipleCovariantSetter1=#int:
   classBuilder=ConcreteClass,
   declarations=[
    Interface1.implementsMultipleCovariantSetter1=,
    Interface2.implementsMultipleCovariantSetter1=],
   isSynthesized,
   member=Interface1.implementsMultipleCovariantSetter1=
  */

  /*member: ConcreteClass.implementsMultipleCovariantSetter2=#int:
   abstractForwardingStub,
   classBuilder=ConcreteClass,
   covariance=Covariance(0:Covariant),
   declarations=[
    Interface1.implementsMultipleCovariantSetter2=,
    Interface2.implementsMultipleCovariantSetter2=],
   isSynthesized,
   type=int
  */
}

main() {}