Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
dataflow
/
manual
/
examples
/
ConstSimple.java
blob: 150dfd202815cba1da8dd51f8af8078cc4f679c4 [
file
] [
log
] [
blame
]
class
Test
{
void
test
(
boolean
b
,
int
a
)
{
int
x
=
1
;
int
y
=
0
;
if
(
b
)
{
x
=
2
;
}
else
{
x
=
2
;
y
=
a
;
}
x
=
3
;
if
(
a
==
2
)
{
x
=
4
;
}
}
}