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