Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
dataflow
/
manual
/
examples
/
CFGAssert.java
blob: 1bc3eb591357959b53f3b48c981a93570eabc3a7 [
file
] [
log
] [
blame
]
class
Test
{
void
testAssert
(
Object
a
)
{
assert
a
!=
null
:
"Argument is null"
;
}
}