Sign in
third-party-mirror
/
typetools
/
checker-framework
/
0992449ea2fcfa5691fb0b323a6c95ab2c98c1f4
/
.
/
checker
/
jtreg
/
nullness
/
issue380
/
DB.java
blob: b9981120237e5c30ad43dd63779da6ea0e4cfabf [
file
] [
log
] [
blame
]
public
class
DB
extends
DA
{
void
foo
()
{}
}