Lines Matching refs:getCaseSuccessor
120 TheOnlyDest = i.getCaseSuccessor();126 if (i.getCaseSuccessor() == DefaultDest) {158 if (i.getCaseSuccessor() != TheOnlyDest) TheOnlyDest = 0;205 FirstCase.getCaseSuccessor(),