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)