Lines Matching refs:getCaseSuccessor
857 if (i.getCaseSuccessor() != BBTo)859 } else if (i.getCaseSuccessor() == BBTo)