Member predicate ExceptFlowNode::handledException
Gets the inferred type(s) that are handled by this node, splitting tuples if possible.
predicate handledException(Value val, ClassValue cls, ControlFlowNode origin)
Gets the inferred type(s) that are handled by this node, splitting tuples if possible.
predicate handledException(Value val, ClassValue cls, ControlFlowNode origin)