Sign in
third-party-mirror
/
typetools
/
checker-framework
/
0992449ea2fcfa5691fb0b323a6c95ab2c98c1f4
/
.
/
checker
/
tests
/
nullness
/
java8
/
DefaultMethods.java
blob: 80f9addca588f69236cf59145c9c4d939b8038c1 [
file
] [
log
] [
blame
]
interface
DefaultMethods
{
default
void
method
(
String
param
)
{
// :: error: (assignment)
param
=
null
;
String
s
=
null
;
// :: error: (dereference.of.nullable)
s
.
toString
();
// Ensure dataflow is running
s
=
""
;
s
.
toString
();
}
}