Member predicate Assertions::AssertionMethod::getACheck
Gets a call to the assertion method with checkedArg
as argument.
MethodAccess getACheck(Expr checkedArg)
Gets a call to the assertion method with checkedArg
as argument.
MethodAccess getACheck(Expr checkedArg)