Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
dataflow
/
manual
/
examples
/
CFGFieldAssignment.java
blob: 898e1882072d2de6a18d11067d0dbb5b7df182ff [
file
] [
log
] [
blame
]
class
Test
{
int
f
;
void
test
(
Test
x
)
{
x
.
f
=
1
;
}
}