Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
interning
/
Subclass.java
blob: 8fe2a85c4aa20754d13e0efc678471b701db67a8 [
file
] [
log
] [
blame
]
import
org
.
checkerframework
.
checker
.
interning
.
qual
.*;
import
org
.
checkerframework
.
dataflow
.
qual
.
Pure
;
public
abstract
class
Subclass
implements
Comparable
<
Subclass
>
// note non-generic
{
@Pure
public
int
compareTo
(
Subclass
other
)
{
return
0
;
}
}