181182183184185186187188189190191
} } @Override public void visitCaseIntermediate(CaseIntermediate line) { SwitchCaseBlock switchCaseBlock = new SwitchCaseBlock(line); current.addChild(switchCaseBlock); current = switchCaseBlock; //now, visit the successor, if any.