[AA LC] Add @java.lang.Override on override functions

This commit is contained in:
Dmitriy Novozhilov
2022-07-28 12:29:27 +03:00
parent d60f3980b1
commit ab2aa3117b
41 changed files with 426 additions and 49 deletions
@@ -0,0 +1,76 @@
public final class Wrapper /* p.Wrapper*/ {
public Wrapper();// .ctor()
public static final class Equals /* p.Wrapper.Equals*/ {
@org.jetbrains.annotations.NotNull()
private final p.G code;
@java.lang.Override()
public boolean equals(@org.jetbrains.annotations.Nullable() java.lang.Object);// equals(java.lang.Object)
@org.jetbrains.annotations.NotNull()
public final p.G component1();// component1()
@org.jetbrains.annotations.NotNull()
public final p.G getCode();// getCode()
@org.jetbrains.annotations.NotNull()
public final p.Wrapper.Equals copy(@org.jetbrains.annotations.NotNull() p.G);// copy(p.G)
@org.jetbrains.annotations.NotNull()
public java.lang.String toString();// toString()
public Equals(@org.jetbrains.annotations.NotNull() p.G);// .ctor(p.G)
public int hashCode();// hashCode()
}public static final class HashCode /* p.Wrapper.HashCode*/ {
@org.jetbrains.annotations.NotNull()
private final p.G code;
@java.lang.Override()
public int hashCode();// hashCode()
@org.jetbrains.annotations.NotNull()
public final p.G component1();// component1()
@org.jetbrains.annotations.NotNull()
public final p.G getCode();// getCode()
@org.jetbrains.annotations.NotNull()
public final p.Wrapper.HashCode copy(@org.jetbrains.annotations.NotNull() p.G);// copy(p.G)
@org.jetbrains.annotations.NotNull()
public java.lang.String toString();// toString()
public HashCode(@org.jetbrains.annotations.NotNull() p.G);// .ctor(p.G)
public boolean equals(@org.jetbrains.annotations.Nullable() java.lang.Object);// equals(java.lang.Object)
}public static final class ToString /* p.Wrapper.ToString*/ {
@org.jetbrains.annotations.NotNull()
private final p.G code;
@java.lang.Override()
@org.jetbrains.annotations.NotNull()
public java.lang.String toString();// toString()
@org.jetbrains.annotations.NotNull()
public final p.G component1();// component1()
@org.jetbrains.annotations.NotNull()
public final p.G getCode();// getCode()
@org.jetbrains.annotations.NotNull()
public final p.Wrapper.ToString copy(@org.jetbrains.annotations.NotNull() p.G);// copy(p.G)
public ToString(@org.jetbrains.annotations.NotNull() p.G);// .ctor(p.G)
public boolean equals(@org.jetbrains.annotations.Nullable() java.lang.Object);// equals(java.lang.Object)
public int hashCode();// hashCode()
}}
@@ -70,4 +70,4 @@ public static final class Equals /* p.Wrapper.Equals*/ {
public int hashCode();// hashCode()
}}
}}
@@ -0,0 +1,73 @@
public final class Wrapper /* p.Wrapper*/ {
public Wrapper();// .ctor()
public static final class Equals /* p.Wrapper.Equals*/ {
@org.jetbrains.annotations.NotNull()
private final p.G code;
@org.jetbrains.annotations.NotNull()
public final p.G component1();// component1()
@org.jetbrains.annotations.NotNull()
public final p.G getCode();// getCode()
@org.jetbrains.annotations.NotNull()
public final p.Wrapper.Equals copy(@org.jetbrains.annotations.NotNull() p.G);// copy(p.G)
@org.jetbrains.annotations.NotNull()
public java.lang.String toString();// toString()
public Equals(@org.jetbrains.annotations.NotNull() p.G);// .ctor(p.G)
public boolean equals(@org.jetbrains.annotations.Nullable() java.lang.Object);// equals(java.lang.Object)
public int hashCode();// hashCode()
}public static final class HashCode /* p.Wrapper.HashCode*/ {
@org.jetbrains.annotations.NotNull()
private final p.G code;
@org.jetbrains.annotations.NotNull()
public final p.G component1();// component1()
@org.jetbrains.annotations.NotNull()
public final p.G getCode();// getCode()
@org.jetbrains.annotations.NotNull()
public final p.Wrapper.HashCode copy(@org.jetbrains.annotations.NotNull() p.G);// copy(p.G)
@org.jetbrains.annotations.NotNull()
public java.lang.String toString();// toString()
public HashCode(@org.jetbrains.annotations.NotNull() p.G);// .ctor(p.G)
public boolean equals(@org.jetbrains.annotations.Nullable() java.lang.Object);// equals(java.lang.Object)
public int hashCode();// hashCode()
}public static final class ToString /* p.Wrapper.ToString*/ {
@org.jetbrains.annotations.NotNull()
private final p.G code;
@org.jetbrains.annotations.NotNull()
public final p.G component1();// component1()
@org.jetbrains.annotations.NotNull()
public final p.G getCode();// getCode()
@org.jetbrains.annotations.NotNull()
public final p.Wrapper.ToString copy(@org.jetbrains.annotations.NotNull() p.G);// copy(p.G)
@org.jetbrains.annotations.NotNull()
public java.lang.String toString();// toString()
public ToString(@org.jetbrains.annotations.NotNull() p.G);// .ctor(p.G)
public boolean equals(@org.jetbrains.annotations.Nullable() java.lang.Object);// equals(java.lang.Object)
public int hashCode();// hashCode()
}}
@@ -0,0 +1,17 @@
public final class B /* p.B*/ {
public B();// .ctor()
public static final class A /* p.B.A*/ implements p.I {
@org.jetbrains.annotations.NotNull()
private final p.I f;
@java.lang.Override()
public void f();// f()
@java.lang.Override()
public void g();// g()
public A(@org.jetbrains.annotations.NotNull() p.I);// .ctor(p.I)
}}
+1 -1
View File
@@ -12,4 +12,4 @@ public static final class A /* p.B.A*/ implements p.I {
public void g();// g()
}}
}}
@@ -0,0 +1,15 @@
public final class B /* p.B*/ {
public B();// .ctor()
public static final class A /* p.B.A*/ implements p.I {
@org.jetbrains.annotations.NotNull()
private final p.I f;
public A(@org.jetbrains.annotations.NotNull() p.I);// .ctor(p.I)
public void f();// f()
public void g();// g()
}}
@@ -0,0 +1,13 @@
public final class B /* p.B*/ implements p.I {
@org.jetbrains.annotations.NotNull()
private final p.I f;
@java.lang.Override()
public void f();// f()
@java.lang.Override()
public void g();// g()
public B(@org.jetbrains.annotations.NotNull() p.I);// .ctor(p.I)
}
+1 -1
View File
@@ -8,4 +8,4 @@ public final class B /* p.B*/ implements p.I {
public void g();// g()
}
}
@@ -0,0 +1,11 @@
public final class B /* p.B*/ implements p.I {
@org.jetbrains.annotations.NotNull()
private final p.I f;
public B(@org.jetbrains.annotations.NotNull() p.I);// .ctor(p.I)
public void f();// f()
public void g();// g()
}
@@ -0,0 +1,9 @@
public final class Inheritor /* p.Inheritor*/ implements p.I, p.I2 {
@java.lang.Override()
public void g();// g()
public Inheritor();// .ctor()
public final void f();// f()
}
@@ -5,4 +5,4 @@ public final class Inheritor /* p.Inheritor*/ implements p.I, p.I2 {
public void g();// g()
}
}
@@ -0,0 +1,20 @@
public final class A /* p.A*/ {
private final int y;
@java.lang.Override()
@org.jetbrains.annotations.NotNull()
public java.lang.String toString();// toString()
@java.lang.Override()
public boolean equals(@org.jetbrains.annotations.Nullable() java.lang.Object);// equals(java.lang.Object)
@java.lang.Override()
public int hashCode();// hashCode()
public A(int);// .ctor(int)
public final int component1();// component1()
public final int getY();// getY()
}
@@ -14,4 +14,4 @@ public final class A /* p.A*/ {
public int hashCode();// hashCode()
}
}
@@ -0,0 +1,17 @@
public final class A /* p.A*/ {
private final int y;
@org.jetbrains.annotations.NotNull()
public java.lang.String toString();// toString()
public A(int);// .ctor(int)
public boolean equals(@org.jetbrains.annotations.Nullable() java.lang.Object);// equals(java.lang.Object)
public final int component1();// component1()
public final int getY();// getY()
public int hashCode();// hashCode()
}
@@ -1,7 +1,9 @@
public final class TwoOverrides /* TwoOverrides*/ implements kotlin.collections.Iterable<java.lang.String> {
@java.lang.Override()
@org.jetbrains.annotations.Nullable()
public java.lang.Void iterator();// iterator()
@java.lang.Override()
@org.jetbrains.annotations.Nullable()
public java.lang.Void iterator();// iterator()
@@ -0,0 +1,8 @@
public final class Derived /* Derived*/ implements Base {
@java.lang.Override()
@org.jetbrains.annotations.NotNull()
public java.lang.String baz(@org.jetbrains.annotations.NotNull() java.lang.String);// baz(java.lang.String)
public Derived(@org.jetbrains.annotations.NotNull() Base);// .ctor(Base)
}
@@ -4,4 +4,4 @@ public final class Derived /* Derived*/ implements Base {
public Derived(@org.jetbrains.annotations.NotNull() Base);// .ctor(Base)
}
}
@@ -0,0 +1,7 @@
public final class Derived /* Derived*/ implements Base {
@org.jetbrains.annotations.NotNull()
public java.lang.String baz(@org.jetbrains.annotations.NotNull() java.lang.String);// baz(java.lang.String)
public Derived(@org.jetbrains.annotations.NotNull() Base);// .ctor(Base)
}
@@ -4,34 +4,43 @@ public final class Container /* p1.Container*/ {
public static final class MyNumber /* p1.Container.MyNumber*/ extends java.lang.Number {
public MyNumber();// .ctor()
@java.lang.Override()
public byte toByte();// toByte()
@java.lang.Override()
public char toChar();// toChar()
@java.lang.Override()
public double toDouble();// toDouble()
@java.lang.Override()
public float toFloat();// toFloat()
@java.lang.Override()
public int toInt();// toInt()
@java.lang.Override()
public long toLong();// toLong()
@java.lang.Override()
public short toShort();// toShort()
public MyNumber();// .ctor()
}public static final class MyString /* p1.Container.MyString*/ implements java.lang.CharSequence {
@java.lang.Override()
@org.jetbrains.annotations.NotNull()
public java.lang.CharSequence subSequence(int, int);// subSequence(int, int)
public MyString();// .ctor()
@java.lang.Override()
public char get(int);// get(int)
public MyString();// .ctor()
public error.NonExistentClass chars();// chars()
public error.NonExistentClass codePoints();// codePoints()
public int getLength();// getLength()
}}
}}
@@ -1,6 +1,7 @@
public final class TypeHierarchyMap /* p1.TypeHierarchyMap*/<TValue> implements kotlin.collections.Map<java.lang.Class<?>, TValue> {
public TypeHierarchyMap();// .ctor()
@java.lang.Override()
public boolean containsKey(@org.jetbrains.annotations.NotNull() java.lang.Class<?>);// containsKey(java.lang.Class<?>)
public TypeHierarchyMap();// .ctor()
}
@@ -9,6 +9,16 @@ public final class SmartSet /* SmartSet*/<T> extends kotlin.collections.Abstrac
private static final int ARRAY_THRESHOLD;
@java.lang.Override()
@org.jetbrains.annotations.NotNull()
public java.util.Iterator<T> iterator();// iterator()
@java.lang.Override()
public boolean add(T);// add(T)
@java.lang.Override()
public void clear();// clear()
@kotlin.jvm.JvmStatic()
@org.jetbrains.annotations.NotNull()
public static final <T> SmartSet<T> create();// <T> create()
@@ -17,17 +27,10 @@ public final class SmartSet /* SmartSet*/<T> extends kotlin.collections.Abstrac
@org.jetbrains.annotations.NotNull()
public static final <T> SmartSet<T> create(@org.jetbrains.annotations.NotNull() java.util.Collection<? extends T>);// <T> create(java.util.Collection<? extends T>)
@org.jetbrains.annotations.NotNull()
public java.util.Iterator<T> iterator();// iterator()
private SmartSet();// .ctor()
public boolean add(T);// add(T)
public int getSize();// getSize()
public void clear();// clear()
public void setSize(int);// setSize(int)
@@ -42,4 +45,4 @@ public static final class Companion /* SmartSet.Companion*/ {
private Companion();// .ctor()
}}
}}
@@ -1,8 +1,9 @@
public final class Inheritor /* p.Inheritor*/ implements p.I, p.I2 {
@java.lang.Override()
public void g();// g()
public Inheritor();// .ctor()
public final void f();// f()
public void g();// g()
}
}
@@ -1,10 +1,11 @@
public final class C /* C*/ implements Tr {
private final int v;
public C();// .ctor()
@java.lang.Override()
public int foo();// foo()
public C();// .ctor()
public int getV();// getV()
}
@@ -0,0 +1,7 @@
public final class C /* C*/ implements Base {
@java.lang.Override()
public void foo();// foo()
public C();// .ctor()
}
@@ -3,4 +3,4 @@ public final class C /* C*/ implements Base {
public void foo();// foo()
}
}
@@ -0,0 +1,6 @@
public final class C /* C*/ implements Base {
public C();// .ctor()
public void foo();// foo()
}
@@ -0,0 +1,7 @@
public final class C /* C*/ implements Base<kotlin.Unit> {
@java.lang.Override()
public void foo(@org.jetbrains.annotations.NotNull() kotlin.Unit);// foo(kotlin.Unit)
public C();// .ctor()
}
@@ -3,4 +3,4 @@ public final class C /* C*/ implements Base<kotlin.Unit> {
public void foo(@org.jetbrains.annotations.NotNull() kotlin.Unit);// foo(kotlin.Unit)
}
}
@@ -0,0 +1,36 @@
public final class Foo /* Foo*/ {
@org.jetbrains.annotations.Nullable()
public final java.lang.Object doSomething(@org.jetbrains.annotations.NotNull() Foo, @org.jetbrains.annotations.NotNull() kotlin.coroutines.Continuation<? super Bar>);// doSomething(Foo, kotlin.coroutines.Continuation<? super Bar>)
public Foo();// .ctor()
}
public final class Boo /* Boo*/ {
private final java.lang.Object doSomething(Foo, kotlin.coroutines.Continuation<? super Bar>);// doSomething(Foo, kotlin.coroutines.Continuation<? super Bar>)
public Boo();// .ctor()
}
public final class Bar /* Bar*/ {
public Bar();// .ctor()
public final <T> void async(@org.jetbrains.annotations.NotNull() kotlin.jvm.functions.Function1<? super kotlin.coroutines.Continuation<? super T>, ? extends java.lang.Object>);// <T> async(kotlin.jvm.functions.Function1<? super kotlin.coroutines.Continuation<? super T>, ? extends java.lang.Object>)
}
public abstract interface Base /* Base*/ {
@org.jetbrains.annotations.Nullable()
public abstract java.lang.Object foo(@org.jetbrains.annotations.NotNull() kotlin.coroutines.Continuation<? super kotlin.Unit>);// foo(kotlin.coroutines.Continuation<? super kotlin.Unit>)
}
public final class Derived /* Derived*/ implements Base {
@java.lang.Override()
@org.jetbrains.annotations.Nullable()
public java.lang.Object foo(@org.jetbrains.annotations.NotNull() kotlin.coroutines.Continuation<? super kotlin.Unit>);// foo(kotlin.coroutines.Continuation<? super kotlin.Unit>)
public Derived();// .ctor()
}
@@ -28,6 +28,7 @@ public abstract interface Base /* Base*/ {
public final class Derived /* Derived*/ implements Base {
@Ann(x = 1L, y = "134", z = java.lang.String.class, e = {int.class, double.class}, depr = kotlin.DeprecationLevel.WARNING, t = {SimpleAnn("243"), SimpleAnn("4324")})
@java.lang.Override()
public void foo(@Ann(x = 2L, y = "324", z = Ann.class, e = {byte.class, Base.class}, depr = kotlin.DeprecationLevel.WARNING, t = {SimpleAnn("687"), SimpleAnn("78")}) @org.jetbrains.annotations.NotNull() java.lang.String);// foo(java.lang.String)
public Derived(@org.jetbrains.annotations.NotNull() Base);// .ctor(Base)
@@ -16,23 +16,28 @@ public abstract interface Base /* Base*/ {
public final class BaseImpl /* BaseImpl*/ implements Base {
private final int x;
@java.lang.Override()
public void printMessage();// printMessage()
@java.lang.Override()
public void printMessageLine();// printMessageLine()
public BaseImpl(int);// .ctor(int)
public final int getX();// getX()
public void printMessage();// printMessage()
public void printMessageLine();// printMessageLine()
}
public final class Derived /* Derived*/ implements Base {
public Derived(@org.jetbrains.annotations.NotNull() Base);// .ctor(Base)
@java.lang.Override()
public int foo(java.lang.String, @org.jetbrains.annotations.Nullable() java.lang.Object);// foo(java.lang.String, java.lang.Object)
@java.lang.Override()
public void printMessage();// printMessage()
@java.lang.Override()
public void printMessageLine();// printMessageLine()
public Derived(@org.jetbrains.annotations.NotNull() Base);// .ctor(Base)
}
@@ -39,6 +39,7 @@ public enum ProtocolState /* ProtocolState*/ {
WAITING {
WAITING();// .ctor()
@java.lang.Override()
@org.jetbrains.annotations.NotNull()
public ProtocolState signal();// signal()
@@ -46,6 +47,7 @@ public enum ProtocolState /* ProtocolState*/ {
TALKING {
TALKING();// .ctor()
@java.lang.Override()
@org.jetbrains.annotations.NotNull()
public ProtocolState signal();// signal()
@@ -67,6 +69,7 @@ public enum ProtocolState /* ProtocolState*/ {
public static final class WAITING /* ProtocolState.WAITING*/ extends ProtocolState {
WAITING();// .ctor()
@java.lang.Override()
@org.jetbrains.annotations.NotNull()
public ProtocolState signal();// signal()
@@ -75,6 +78,7 @@ public static final class WAITING /* ProtocolState.WAITING*/ extends ProtocolSta
public static final class TALKING /* ProtocolState.TALKING*/ extends ProtocolState {
TALKING();// .ctor()
@java.lang.Override()
@org.jetbrains.annotations.NotNull()
public ProtocolState signal();// signal()
@@ -1,4 +1,5 @@
public final class MyList /* MyList*/ implements kotlin.collections.List<java.lang.String> {
@java.lang.Override()
@org.jetbrains.annotations.NotNull()
public java.lang.String get(int);// get(int)
@@ -17,11 +18,13 @@ public abstract class MySet /* MySet*/<T> implements ASet<T> {
}
public abstract class SmartSet /* SmartSet*/<T> extends kotlin.collections.AbstractMutableSet<T> {
@java.lang.Override()
@org.jetbrains.annotations.NotNull()
public java.util.Iterator<T> iterator();// iterator()
private SmartSet();// .ctor()
@java.lang.Override()
public boolean add(T);// add(T)
private SmartSet();// .ctor()
}
@@ -27,6 +27,7 @@ final class C /* C*/ {
}
final class null /* null*/ {
@java.lang.Override()
@org.jetbrains.annotations.NotNull()
public java.lang.String toString();// toString()
@@ -49,17 +50,19 @@ public final class ValidPublicSupertype /* ValidPublicSupertype*/ {
}
final class null /* null*/ implements java.lang.Runnable {
private ();// .ctor()
@java.lang.Override()
public void run();// run()
private ();// .ctor()
}
final class null /* null*/ implements java.lang.Runnable {
private ();// .ctor()
@java.lang.Override()
public void run();// run()
private ();// .ctor()
}
public abstract interface I /* I*/ {
@@ -80,15 +83,17 @@ public final class InvalidPublicSupertype /* InvalidPublicSupertype*/ {
}
final class null /* null*/ implements I, java.lang.Runnable {
private ();// .ctor()
@java.lang.Override()
public void run();// run()
private ();// .ctor()
}
final class null /* null*/ implements I, java.lang.Runnable {
private ();// .ctor()
@java.lang.Override()
public void run();// run()
private ();// .ctor()
}
@@ -37,12 +37,14 @@ public abstract class Base /* Base*/ {
public final class Derived /* Derived*/ extends Base implements IntfWithProp {
private final int x;
@java.lang.Override()
protected error.NonExistentClass v();// v()
public Derived(int);// .ctor(int)
@java.lang.Override()
public int abs();// abs()
public Derived(int);// .ctor(int)
public int getX$light_idea_test_case();// getX$light_idea_test_case()
}
@@ -54,6 +56,7 @@ public abstract class AnotherDerived /* AnotherDerived*/ extends Base {
private final int z;
@java.lang.Override()
protected final void v();// v()
protected int getZ();// getZ()
@@ -101,6 +101,9 @@ public final class Obj /* Obj*/ implements java.lang.Runnable {
@org.jetbrains.annotations.NotNull()
public static final Obj INSTANCE;
@java.lang.Override()
public void run();// run()
@kotlin.jvm.JvmStatic()
public static final int zoo();// zoo()
@@ -111,8 +114,6 @@ public final class Obj /* Obj*/ implements java.lang.Runnable {
public static final void setX(@org.jetbrains.annotations.NotNull() java.lang.String);// setX(java.lang.String)
public void run();// run()
}
public final class ConstContainer /* ConstContainer*/ {