Member predicate RaisingNode::viableExceptionalExit
Whether this exceptional exit is viable. That is, is it
plausible that the scope s can be exited with exception raised
at this point.
predicate viableExceptionalExit(Scope s, ClassValue raised)Whether this exceptional exit is viable. That is, is it
plausible that the scope s can be exited with exception raised
at this point.
predicate viableExceptionalExit(Scope s, ClassValue raised)