mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-01 19:02:04 +07:00
#IDEA-364331 Fixed GitOrigin-RevId: f3ac6ff3e423b23681f92b1ccc92727b0e06fad3
34 lines
612 B
Java
34 lines
612 B
Java
public class Parent {
|
|
protected Parent(int x) { }
|
|
}
|
|
|
|
final class Derived extends Parent {
|
|
Derived(int x) {
|
|
super(x);
|
|
}
|
|
|
|
@Override
|
|
public int hashCode() {
|
|
return super.hashCode();
|
|
}
|
|
|
|
@Override
|
|
public boolean equals(Object obj) {
|
|
return super.equals(obj);
|
|
}
|
|
|
|
@Override
|
|
protected Object clone() throws CloneNotSupportedException {
|
|
return super.clone();
|
|
}
|
|
|
|
@Override
|
|
public String toString() {
|
|
return super.toString();
|
|
}
|
|
|
|
@Override
|
|
protected void finalize() throws Throwable {
|
|
super.finalize();
|
|
}
|
|
} |