this.postCheck = postCheck;
}
@Override
protected List<JCStatement> transformInnermost(Tree.Condition condition) {
Cond transformedCond = statementGen().transformCondition(condition, null);
// The innermost condition's test should be transformed before
// variable substitution
JCExpression test = transformedCond.makeTest();
SyntheticName resultVarName = addVarSubs(transformedCond);
return transformCommon(transformedCond,
test,
insideCheck,
resultVarName);