Ivan Gavrilovic
43 lines
745 B
Plaintext
Vendored
43 lines
745 B
Plaintext
Vendored
package error;
|
|
|
|
public final class NonExistentClass {
|
|
}
|
|
|
|
////////////////////
|
|
|
|
package test;
|
|
|
|
import java.lang.System;
|
|
|
|
@kotlin.Metadata()
|
|
@java.lang.annotation.Retention(value = java.lang.annotation.RetentionPolicy.RUNTIME)
|
|
public abstract @interface Anno {
|
|
}
|
|
|
|
////////////////////
|
|
|
|
package test;
|
|
|
|
import java.lang.System;
|
|
|
|
@kotlin.Metadata()
|
|
@Anno()
|
|
public final class User {
|
|
@org.jetbrains.annotations.NotNull()
|
|
private final java.lang.String name = "John";
|
|
|
|
public User() {
|
|
super();
|
|
}
|
|
|
|
public User(@org.jetbrains.annotations.NotNull()
|
|
java.lang.String name, int age) {
|
|
super();
|
|
}
|
|
|
|
@org.jetbrains.annotations.NotNull()
|
|
public final java.lang.String getName() {
|
|
return null;
|
|
}
|
|
}
|