mirror of
https://github.com/jlengrand/kotlin.git
synced 2026-03-10 08:31:29 +00:00
61 lines
1.8 KiB
Java
Vendored
61 lines
1.8 KiB
Java
Vendored
public final class User /* User*/ {
|
|
@org.jetbrains.annotations.NotNull()
|
|
private final java.lang.String name;
|
|
|
|
private final int age;
|
|
|
|
@org.jetbrains.annotations.NotNull()
|
|
public final User copy(@org.jetbrains.annotations.NotNull() java.lang.String, int);// copy(java.lang.String, int)
|
|
|
|
@org.jetbrains.annotations.NotNull()
|
|
public final java.lang.String component1();// component1()
|
|
|
|
@org.jetbrains.annotations.NotNull()
|
|
public final java.lang.String getName();// getName()
|
|
|
|
@org.jetbrains.annotations.NotNull()
|
|
public java.lang.String toString();// toString()
|
|
|
|
public User();// .ctor()
|
|
|
|
public User(@org.jetbrains.annotations.NotNull() java.lang.String, int);// .ctor(java.lang.String, int)
|
|
|
|
public boolean equals(@org.jetbrains.annotations.Nullable() java.lang.Object);// equals(java.lang.Object)
|
|
|
|
public final int component2();// component2()
|
|
|
|
public final int getAge();// getAge()
|
|
|
|
public int hashCode();// hashCode()
|
|
|
|
}
|
|
|
|
public final class Person /* Person*/ {
|
|
@org.jetbrains.annotations.NotNull()
|
|
private final java.lang.String name;
|
|
|
|
private int age;
|
|
|
|
@org.jetbrains.annotations.NotNull()
|
|
public final Person copy(@org.jetbrains.annotations.NotNull() java.lang.String);// copy(java.lang.String)
|
|
|
|
@org.jetbrains.annotations.NotNull()
|
|
public final java.lang.String component1();// component1()
|
|
|
|
@org.jetbrains.annotations.NotNull()
|
|
public final java.lang.String getName();// getName()
|
|
|
|
@org.jetbrains.annotations.NotNull()
|
|
public java.lang.String toString();// toString()
|
|
|
|
public Person(@org.jetbrains.annotations.NotNull() java.lang.String);// .ctor(java.lang.String)
|
|
|
|
public boolean equals(@org.jetbrains.annotations.Nullable() java.lang.Object);// equals(java.lang.Object)
|
|
|
|
public final int getAge();// getAge()
|
|
|
|
public final void setAge(int);// setAge(int)
|
|
|
|
public int hashCode();// hashCode()
|
|
|
|
} |