Class MatchingCompletion
A completion that represents matching, for example a case
statement in a
switch
statement.
Import path
import semmle.code.csharp.controlflow.internal.Completion
Direct supertypes
Indirect supertypes
Predicates
getAMatchingSuccessorType |
Gets a successor type that matches this completion. |
getDual |
Gets the dual completion. |
getValue |
Gets the Boolean value of this completion. |
isMatch |
Holds if there is a match. |
isNonMatch |
Holds if there is not a match. |
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 |