An exceptional control flow successor.
Example:
int M(string s)
{
if (s == null)
throw new ArgumentNullException(nameof(s));
return s.Length;
}
The callable exit node of M
is an exceptional successor (of type
ArgumentNullException
) of the node throw new ArgumentNullException(nameof(s));
.
Import path
import csharp
Direct supertypes
Indirect supertypes
Predicates
getExceptionClass | Gets the type of exception. |
toString | Gets a textual representation of successor type. |