Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
dataflow
/
manual
/
examples
/
CFGIfStatement.java
blob: f4ffd99be409e202bd0c0d707f7d623e96e98c75 [
file
] [
log
] [
blame
]
class
Test
{
void
testIf
(
boolean
b1
)
{
int
x
=
0
;
if
(
b1
)
{
x
=
1
;
}
else
{
x
=
2
;
}
}
}