Member predicate RaisingNode::viableExceptionEdge
Whether it is considered plausible that ‘raised’ can be raised across the edge this-succ
predicate viableExceptionEdge(ControlFlowNode succ, ClassValue raised)Whether it is considered plausible that ‘raised’ can be raised across the edge this-succ
predicate viableExceptionEdge(ControlFlowNode succ, ClassValue raised)