Class ThrowCompletion
A completion that represents evaluation of a statement or an expression resulting in a thrown exception.
Import path
import semmle.code.csharp.controlflow.internal.Completion
Direct supertypes
Indirect supertypes
Predicates
getAMatchingSuccessorType | Gets a successor type that matches this completion. |
getExceptionClass | Gets the type of the exception being thrown. |
toString | Gets a textual representation of this completion. |
Inherited predicates
continuesLoop | Holds if this completion will continue a loop when it is the completion of a loop body. | from Completion |
getInnerCompletion | Gets the inner completion. This is either the inner completion, when the completion is nested, or the completion itself. | from Completion |
getOuterCompletion | Gets the outer completion. This is either the outer completion, when the completion is nested, or the completion itself. | from Completion |
isValidFor | Holds if this completion is valid for control flow element | from Completion |