Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
nullness-extra
/
Bug109_B.java
blob: 9dfaf203eae3ad9517f7496ffca73397d107074c [
file
] [
log
] [
blame
]
public
class
Bug109_B
extends
Bug109_A
{
public
Bug109_B
()
{
// Accessing field one causes NPE
// at org.checkerframework.checker.nullness.MapGetHeuristics.handle
// (MapGetHeuristics.java:91)
int
myone
=
one
;
int
mytwo
=
two
;
}
}