Searched refs:guardsForCatchSuccessor (Results 1 – 1 of 1) sorted by relevance
683 public int guardsForCatchSuccessor(BasicBlock block) { in guardsForCatchSuccessor() method in BasicBlock740 return new String(new char[guardsForCatchSuccessor(block)]).replace("\0", "*"); in predecessorPostfix()