Member predicate ExceptFlowNodeWithPointsTo::handledException

Gets the inferred type(s) that are handled by this node, splitting tuples if possible.

predicate handledException(Value val, ClassValue cls, ControlFlowNode origin)